Set theory with a universal set: exploring an untyped universe TE Forster Oxford University Press, 1995 | 254 | 1995 |
Logic, induction and sets T Forster Cambridge University Press, 2003 | 53 | 2003 |
The iterative conception of set T Forster The Review of Symbolic Logic 1 (1), 97-110, 2008 | 32 | 2008 |
A note on freedom from detachment in the logic of paradox J Beall, T Forster, J Seligman | 30 | 2013 |
Quine’s new foundations T Forster | 23 | 2006 |
Alternative set theories MR Holmes, T Forster, T Libert Handbook of the History of Logic 6, 559-632, 2012 | 17 | 2012 |
End-extensions preserving power set T Forster, R Kaye The Journal of symbolic logic 56 (1), 323-328, 1991 | 17 | 1991 |
Church’s Set Theory with a Universal Set: For Alonzo Church on the occasion of his ninetieth birthday T Forster Logic, Meaning and Computation: Essays in Memory of Alonzo Church, 109-138, 2001 | 13 | 2001 |
Ramsey’s theorem and König’s Lemma. TE Forster, JK Truss Archive for Mathematical Logic 46 (1), 2007 | 11 | 2007 |
Reasoning about theoretical entities T Forster World Scientific, 2003 | 11 | 2003 |
Term models for weak set theories with a universal set TE Forster The Journal of symbolic logic 52 (2), 374-387, 1987 | 11 | 1987 |
The modal aether T Forster Intensionality ed. R. Kahle. Lecture Notes in Logic 22, 1-19, 2005 | 10 | 2005 |
Quine's NF—60 years on T Forster The American mathematical monthly 104 (9), 838-845, 1997 | 10 | 1997 |
The significance of Yablo’s paradox without self-reference T Forster Unpublished) Dept of Pure Mathematics and Statistics Cambridge January, 1996 | 10 | 1996 |
Finite-to-one maps T Forster The Journal of Symbolic Logic 68 (4), 1251-1253, 2003 | 9 | 2003 |
Axiomatising set theory with a universal set T Forster La Theorie des ensembles de Quine” Cahiers du Centre de Logique 4, 61-76, 1983 | 9 | 1983 |
Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF T Forster The Journal of Symbolic Logic 71 (1), 227-240, 2006 | 8 | 2006 |
Set theory with a universal set. Oxford Logic Guides TE Forster Oxford University Press, 1995 | 8 | 1995 |
Better-quasi-orderings and coinduction T Forster Theoretical computer science 309 (1), 111-124, 2003 | 7 | 2003 |
Why Set theory without Foundation? T Forster J. Log. Comput. 4 (4), 333-335, 1994 | 7 | 1994 |