Edit Profile (opens in new tab) Forster, Thomas Compute Distance To: Compute Author ID: forster.thomas Published as: Forster, Thomas Documents Indexed: 35 Publications since 1982, including 2 Books 1 Contribution as Editor Co-Authors: 11 Co-Authors with 9 Joint Publications 188 Co-Co-Authors all top 5 Co-Authors 27 single-authored 2 Libert, Thierry 1 Beall, Jc 1 Bowler, Nathan 1 Crabbé, Marcel 1 Dawar, Anuj 1 Esser, Olivier 1 Goré, Rajeev Prabhakar 1 Holmes, M. Randall 1 Kaye, Richard W. 1 McKenzie, Zachiri 1 Seligman, Jeremy M. all top 5 Serials 7 Logique et Analyse. Nouvelle Série 6 The Journal of Symbolic Logic 3 Notre Dame Journal of Formal Logic 2 Theoretical Computer Science 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 American Mathematical Monthly 1 Studia Logica 1 Bulletin de la Société Matheḿatique de Belgique. Série B 1 Journal of Logic and Computation 1 Bulletin of the Belgian Mathematical Society - Simon Stevin 1 Philosophia Mathematica. Series III 1 London Mathematical Society Student Texts 1 Cahiers du Centre de Logique 1 Advances in Logic 1 The Review of Symbolic Logic all top 5 Fields 35 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) 3 Computer science (68-XX) 2 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 18 Publications have been cited 43 times in 38 Documents Cited by ▼ Year ▼ A note on freedom from detachment in the logic of paradox. Zbl 1272.03115Beall, Jc; Forster, Thomas; Seligman, Jeremy 8 2013 The iterative conception of set. Zbl 1204.03008Forster, Thomas 6 2008 End-extensions preserving power set. Zbl 0737.03026Forster, Thomas; Kaye, Richard 5 1991 Finite-to-one maps. Zbl 1057.03035Forster, Thomas 4 2003 Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine’s NF. Zbl 1100.03045Forster, Thomas 3 2006 The significance of Yablo’s paradox without self-reference. Zbl 1076.03005Forster, Thomas 3 2004 Logic, induction and sets. Zbl 1026.03002Forster, Thomas 2 2003 Permutations and stratified formulae - a preservation theorem. Zbl 0717.03019Forster, Thomas 2 1990 Quine’s NF – 60 years on. Zbl 0889.03043Forster, Thomas 1 1997 Yablo’s paradox as a theorem of modal logic. Zbl 1396.03031Forster, Thomas; Goré, Rajeev 1 2016 Decidable fragments of the simple theory of types with infinity and NF. Zbl 1417.03271Dawar, Anuj; Forster, Thomas; McKenzie, Zachiri 1 2017 Better-quasi-orderings and coinduction. Zbl 1081.06002Forster, Thomas 1 2003 AC fails in the natural analogues of \(V\) and \(L\) that model the stratified fragment of ZF. Zbl 1061.03053Forster, Thomas 1 2004 Implementing mathematical objects in set theory. Zbl 1126.03049Forster, Thomas 1 2007 Church’s set theory with a universal set. Zbl 1031.03066Forster, Thomas 1 2001 Axiomatising set theory with a universal set. Zbl 0536.03037Forster, Thomas 1 1982 Reasoning about theoretical entities. Zbl 1047.03001Forster, Thomas 1 2003 The modal aether. Zbl 1089.03008Forster, Thomas 1 2005 Decidable fragments of the simple theory of types with infinity and NF. Zbl 1417.03271Dawar, Anuj; Forster, Thomas; McKenzie, Zachiri 1 2017 Yablo’s paradox as a theorem of modal logic. Zbl 1396.03031Forster, Thomas; Goré, Rajeev 1 2016 A note on freedom from detachment in the logic of paradox. Zbl 1272.03115Beall, Jc; Forster, Thomas; Seligman, Jeremy 8 2013 The iterative conception of set. Zbl 1204.03008Forster, Thomas 6 2008 Implementing mathematical objects in set theory. Zbl 1126.03049Forster, Thomas 1 2007 Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine’s NF. Zbl 1100.03045Forster, Thomas 3 2006 The modal aether. Zbl 1089.03008Forster, Thomas 1 2005 The significance of Yablo’s paradox without self-reference. Zbl 1076.03005Forster, Thomas 3 2004 AC fails in the natural analogues of \(V\) and \(L\) that model the stratified fragment of ZF. Zbl 1061.03053Forster, Thomas 1 2004 Finite-to-one maps. Zbl 1057.03035Forster, Thomas 4 2003 Logic, induction and sets. Zbl 1026.03002Forster, Thomas 2 2003 Better-quasi-orderings and coinduction. Zbl 1081.06002Forster, Thomas 1 2003 Reasoning about theoretical entities. Zbl 1047.03001Forster, Thomas 1 2003 Church’s set theory with a universal set. Zbl 1031.03066Forster, Thomas 1 2001 Quine’s NF – 60 years on. Zbl 0889.03043Forster, Thomas 1 1997 End-extensions preserving power set. Zbl 0737.03026Forster, Thomas; Kaye, Richard 5 1991 Permutations and stratified formulae - a preservation theorem. Zbl 0717.03019Forster, Thomas 2 1990 Axiomatising set theory with a universal set. Zbl 0536.03037Forster, Thomas 1 1982 all cited Publications top 5 cited Publications all top 5 Cited by 43 Authors 3 McKenzie, Zachiri 3 Shen, Guozhen 2 Enayat, Ali 2 Forster, Thomas 2 Hazen, Allen P. 2 Holmes, M. Randall 2 Pelletier, Francis Jeffry 2 Yuan, Jiachen 1 Albuquerque, Hugo 1 Barrio, Eduardo Alejandro 1 Başkent, Can 1 Beall, Jc 1 Bowler, Nathan 1 Button, Tim 1 Carrara, Massimiliano 1 Clarke-Doane, Justin 1 Decock, Lieven 1 Forster, T. E. 1 Girard, Patrick R. 1 Hewitt, Simon Thomas 1 Horsten, Leon 1 Kahle, Reinhard 1 Karimi, Ahmad 1 Kaufmann, Matt 1 Krombholz, Martin 1 Linnebo, Øystein 1 Litak, Tadeusz 1 Mathias, Adrian R. D. 1 Meadows, Toby 1 Murzi, Julien 1 Omori, Hitoshi 1 Picollo, Lavinia María 1 Přenosil, Adam 1 Rathjen, Michael 1 Rivello, Edoardo 1 Rivieccio, Umberto 1 Rouvelas, Panagiotis 1 Sonpanow, Nattapon 1 Tanaka, Koji 1 Truss, John Kenneth 1 Uzquiano, Gabriel 1 Vejjajiva, Pimpen 1 Weber, Zach all top 5 Cited in 15 Serials 7 The Journal of Symbolic Logic 6 Studia Logica 4 Notre Dame Journal of Formal Logic 4 Synthese 3 Annals of Pure and Applied Logic 2 Journal of Philosophical Logic 2 The Review of Symbolic Logic 1 Bulletin of the Australian Mathematical Society 1 History and Philosophy of Logic 1 Archive for Mathematical Logic 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 Topoi 1 Logic and Logical Philosophy 1 Nôus all top 5 Cited in 6 Fields 38 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) Citations by Year