×
Edit Profile (opens in new tab)

Forster, T. E.

Co-Author Distance
Author ID: forster.t-e Recent zbMATH articles by "Forster, T. E."
Published as: Forster, T. E.
Documents Indexed: 12 Publications since 1983, including 3 Books
Co-Authors: 1 Co-Author with 2 Joint Publications
38 Co-Co-Authors

Co-Authors

9 single-authored
2 Truss, John Kenneth

Serials

4 The Journal of Symbolic Logic
2 Oxford Logic Guides
1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1 Archive for Mathematical Logic
1 Cahiers du Centre de Logique

Fields

12 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

10 Publications have been cited 43 times in 40 Documents Cited by ▼ Year ▼
Set theory with a universal set. Exploring an untyped universe. 2nd ed. Zbl 0831.03027
Forster, T. E.
19
1995
Set theory with a universal set. Exploring an untyped universe. Zbl 0755.03029
Forster, T. E.
9
1992
Ramsey’s theorem and König’s lemma. Zbl 1114.03038
Forster, T. E.; Truss, J. K.
5
2007
Permutation methods in NF and NFU. Zbl 1203.03077
Forster, T. E.; Holmes, M. R.
2
2009
Permutation models in the sense of Rieger-Bernays. Zbl 0634.03052
Forster, T. E.
2
1987
Term models for weak set theories with a universal set. Zbl 0643.03039
Forster, T. E.
2
1987
A tutorial on constructive NF. Zbl 1203.03076
Forster, T. E.
1
2009
Quine’s New Foundations (An introduction). Zbl 0557.03035
Forster, T. E.
1
1983
The status of the axiom of choice in set theory with a universal set. Zbl 0626.03043
Forster, T. E.
1
1985
Further consistency and independence results in NF obtained by the permutation method. Zbl 0521.03033
Forster, T. E.
1
1983
Permutation methods in NF and NFU. Zbl 1203.03077
Forster, T. E.; Holmes, M. R.
2
2009
A tutorial on constructive NF. Zbl 1203.03076
Forster, T. E.
1
2009
Ramsey’s theorem and König’s lemma. Zbl 1114.03038
Forster, T. E.; Truss, J. K.
5
2007
Set theory with a universal set. Exploring an untyped universe. 2nd ed. Zbl 0831.03027
Forster, T. E.
19
1995
Set theory with a universal set. Exploring an untyped universe. Zbl 0755.03029
Forster, T. E.
9
1992
Permutation models in the sense of Rieger-Bernays. Zbl 0634.03052
Forster, T. E.
2
1987
Term models for weak set theories with a universal set. Zbl 0643.03039
Forster, T. E.
2
1987
The status of the axiom of choice in set theory with a universal set. Zbl 0626.03043
Forster, T. E.
1
1985
Quine’s New Foundations (An introduction). Zbl 0557.03035
Forster, T. E.
1
1983
Further consistency and independence results in NF obtained by the permutation method. Zbl 0521.03033
Forster, T. E.
1
1983
all cited Publications top 5 cited Publications
all top 5

Cited by 35 Authors

4 Rouvelas, Panagiotis
3 Forster, Thomas
3 McKenzie, Zachiri
2 Crabbé, Marcel
2 Dzierzgowski, Daniel
2 Holmes, M. Randall
2 Kaye, Richard W.
1 Adlešić, Tin
1 Alberucci, Luca
1 Boute, Raymond T.
1 Čačić, Vedran
1 Cantini, Andrea
1 Fernández Bretón, David José
1 Forster, T. E.
1 Forti, Marco
1 Fritz, Peter
1 Gorbow, Paul K.
1 Hodes, Harold T.
1 Honsell, Furio
1 Incurvati, Luca
1 Kamiński, Andrzej
1 Lederman, Harvey
1 Liu, Tiankai
1 Parrochia, Daniel
1 Roberts, Alexander
1 Salipante, Vincenzo
1 Sanders, Sam
1 Scott, Dana Stewart
1 Sharlow, Mark F.
1 Sorek, Sławomir
1 Soysal, Zeynep
1 Tachtsis, Eleftherios
1 Tzouvaras, Athanassios
1 Weir, Alan
1 Whittle, Bruno
all top 5

Cited in 15 Serials

10 The Journal of Symbolic Logic
6 Mathematical Logic Quarterly (MLQ)
5 Notre Dame Journal of Formal Logic
4 Journal of Philosophical Logic
4 Annals of Pure and Applied Logic
1 Publications de l’Institut Mathématique. Nouvelle Série
1 Rendiconti del Seminario Matematico della Università di Padova
1 Synthese
1 Theoretical Computer Science
1 Archive for Mathematical Logic
1 Formal Methods in System Design
1 Journal of Mathematical Logic
1 Logica Universalis
1 The Review of Symbolic Logic
1 Computability
all top 5

Cited in 8 Fields

39 Mathematical logic and foundations (03-XX)
3 Computer science (68-XX)
1 Combinatorics (05-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Category theory; homological algebra (18-XX)
1 Sequences, series, summability (40-XX)
1 Functional analysis (46-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year