A General Spatial Structure On Classes
A one axiom set theory based on higher order predicate calculus.
A sentence that is difficult to interpret
Application de la généralisation du principe de correspondance à la théorie de l'élimination
Axiomatische Mengenlehre ohne Elemente von Mengen.
Beweistheorie von KPN.
Classes of Dedekind finite cardinals
Constructibility in Ackermann's set theory [Book]
Dependences between definitions of finiteness
Dependences between definitions of finiteness. II
Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen.
Eine Note zum System PC.
Erweiterte Fassung eines von Clebsch aufgestellten Uebertragungsprincips und deren Anwendung
Expansions of models of ZFC.
Finite functions and the necessary use of large cardinals.
Finite sets and Gödel's incompleteness theorems [Book]
Finiteness and choice
We deal with weak choice principles of the form: Every "finite" family of non-empty sets has a choice function, where "finite" stands for one of several different definitions of finiteness that are not equivalent unless we assume the axiom of choice (AC). Several relations of implication and independence are established. In the process, we answer a few open questions about the relations between different definitions of finiteness.
Intensionality, reflection, and large cardinals.
Internally standard set theories
Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen.