Petr Vopěnka (*16. 5. 1935)
Metamathematics of the alternative set theory. II.
Constructibility and shiftings of view
Addition of initial segments. II.
Addition of initial segments. I.
Metamathematics of the alternative set theory. I.
Metamathematics of the alternative set theory. III.
Notes on revealed classes
Real classes in the ultrapower of hereditarily finite sets
Book reviews. Petr Vopěnka, Petr Hájek: The theory of semisets
Complexity of the axioms of the alternative set theory
If is a complete theory stronger than such that axiom of extensionality for classes + + is consistent for 1 (each alone), where are normal formulae then we show + + scheme of choice is consistent. As a consequence we get: there is no proper -formula in + scheme of choice. Moreover the complexity of the axioms of is studied, e.gẇe show axiom of extensionality is -formula, but not -formula and furthermore prolongation axiom, axioms of choice and cardinalities are -formulae,...
Der -Prozess
Poznámky o linearitě zobrazení do
Klasická logika v kontextu svých zobecnění a boj docenta Fialy proti větrným mlýnům
Revealments
Indiscernibles in the alternative set theory
Shiftings of the horizon
The axiom of reflection
Provability in the alternative set theory
Ultrafilters of sets
Page 1 Next