Construction of the class FN
Jiří Sgall (1986)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Complexity of the axioms of the alternative set theory”
Construction of the class FN
Alternative set theory with elementary classes
Nando Prati (1994)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
In this paper we sketch the development and give a model of the formal version of a generalization of the Alternative Set Theory.
Metamathematics of the alternative set theory. I.
Antonín Sochor (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The interdependence of certain consequences of the axiom of choice
A. Lévy (1964)
Fundamenta Mathematicae
Similarity:
A reduction of the axioms for the theory of prepositional types
P. Andrews (1963)
Fundamenta Mathematicae
Similarity: