Follow
Thomas Forster
Thomas Forster
Verified email at dpmms.cam.ac.uk
Title
Cited by
Cited by
Year
Set theory with a universal set: exploring an untyped universe
TE Forster
Oxford University Press, 1995
2541995
Logic, induction and sets
T Forster
Cambridge University Press, 2003
532003
The iterative conception of set
T Forster
The Review of Symbolic Logic 1 (1), 97-110, 2008
322008
A note on freedom from detachment in the logic of paradox
J Beall, T Forster, J Seligman
302013
Quine’s new foundations
T Forster
222006
Alternative set theories
MR Holmes, T Forster, T Libert
Handbook of the History of Logic 6, 559-632, 2012
172012
End-extensions preserving power set
T Forster, R Kaye
The Journal of symbolic logic 56 (1), 323-328, 1991
171991
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
132001
Ramsey’s theorem and König’s Lemma.
TE Forster, JK Truss
Archive for Mathematical Logic 46 (1), 2007
112007
Reasoning about theoretical entities
T Forster
World Scientific, 2003
112003
Term models for weak set theories with a universal set
TE Forster
The Journal of symbolic logic 52 (2), 374-387, 1987
111987
The modal aether
T Forster
Intensionality ed. R. Kahle. Lecture Notes in Logic 22, 1-19, 2005
102005
Quine's NF—60 years on
T Forster
The American mathematical monthly 104 (9), 838-845, 1997
101997
The significance of Yablo’s paradox without self-reference
T Forster
Unpublished) Dept of Pure Mathematics and Statistics Cambridge January, 1996
101996
Finite-to-one maps
T Forster
The Journal of Symbolic Logic 68 (4), 1251-1253, 2003
92003
Axiomatising set theory with a universal set
T Forster
La Theorie des ensembles de Quine” Cahiers du Centre de Logique 4, 61-76, 1983
91983
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
82006
Set theory with a universal set. Oxford Logic Guides
TE Forster
Oxford University Press, 1995
81995
Better-quasi-orderings and coinduction
T Forster
Theoretical computer science 309 (1), 111-124, 2003
72003
Why Set theory without Foundation?
T Forster
J. Log. Comput. 4 (4), 333-335, 1994
71994
The system can't perform the operation now. Try again later.
Articles 1–20