Thomas Forster

Available identifiers

zbMath Open forster.thomasMaRDI QIDQ628797

List of research outcomes

Publication	Date of Publication	Type
Category Theory with Stratified Set Theory	2019-11-12	Paper
Decidable fragments of the simple theory of types with infinity and NF	2017-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q5283778	2017-07-25	Paper
Mathematical Objects arising from Equivalence Relations and their Implementation in Quine's NF	2017-03-03	Paper
A note on freedom from detachment in the logic of paradox	2013-01-30	Paper
Alternative Set Theories	2012-10-12	Paper
Yablo's paradox and the omitting types theorem for propositional languages	2012-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q3099307	2011-12-01	Paper
An order-theoretic account of some set-theoretic paradoxes	2011-03-07	Paper
THE ITERATIVE CONCEPTION OF SET	2010-08-13	Paper
Normal subgroups of infinite symmetric groups, with an application to stratified set theory	2009-03-25	Paper
Sharvy's Lucy and Benjamin puzzle	2009-03-17	Paper
Erdős-Rado without choice	2007-10-17	Paper
Relaxing stratification	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q3590906	2007-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q3413073	2007-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q5490628	2006-10-04	Paper
Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF	2006-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q5711927	2005-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5695187	2005-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q4656801	2005-03-14	Paper
Finite-to-one maps	2005-02-09	Paper
Better-quasi-orderings and coinduction	2004-10-27	Paper
ZF + “Every set is the same size as a wellfounded set”	2004-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4452865	2004-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4428874	2003-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4781607	2003-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4709702	2003-06-23	Paper
Quine's NF--60 Years On	1998-05-29	Paper
Letter	1994-09-13	Paper
A semantic characterization of the well-typed formulae of \(\lambda\)- calculus	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4022770	1993-01-17	Paper
End-extensions preserving power set	1992-06-26	Paper
Permutations and stratified formulae a preservation theorem	1990-01-01	Paper
A Consistent Higher-Order Theory Without a (Higher-Order) Model	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3320365	1982-01-01	Paper

Research outcomes over time

This page was built for person: Thomas Forster