( en | de | ru )

 

Disambiguation of "Forster, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
The Axioms of Set Theory

. (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Förster

Thomas Förster

Thomas Förster

Thomas Forster

Thomas Förster

 

Other publications of authors with the same name

ZF + 'Every set is the same size as a wellfounded set'.. J. Symb. Log., 68 (1): 1-4 (2003)A Consistent Higher-Order Theory Without a (Higher-Order) Model.. Math. Log. Q., 35 (5): 385-386 (1989)A Note on Freedom from Detachment in the Logic of Paradox., , and . Notre Dame J. Formal Log., 54 (1): 15-20 (2013)Decidable Fragments of the Simple Theory of Types with Infinity and NF., , and . Notre Dame J. Formal Log., 58 (3): 433-451 (2017)An Order-Theoretic Account of Some Set-Theoretic Paradoxes., and . Notre Dame J. Formal Log., 52 (1): 1-19 (2011)A Semantic Characterization of the Well-Typed Formulae of gamma-Calculus.. Theor. Comput. Sci., 110 (2): 405-418 (1993)An Efficient Migration to Model-driven Development (MDD)., , , and . ateM, volume 137 of Electronic Notes in Theoretical Computer Science, page 17-27. Elsevier, (2004)Letter: Why Set Theory Without Foundation?. J. Log. Comput., 4 (4): 333-335 (1994)Weak Systems of Set Theory Related to HOL.. TPHOLs, volume 859 of Lecture Notes in Computer Science, page 193-204. Springer, (1994)Normal subgroups of infinite symmetric groups, with an application to stratified set theory., and . J. Symb. Log., 74 (1): 17-26 (2009)