EUDML | Metamathematics of the alternative set theory. I.

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Metamathematics of the alternative set theory. I.”

On a weak Kelley-Morse theory of classes

Wiktor V. Marek, Antonín Sochor (1978)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Why semisets?

Petr Hájek (1973)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Comparison of the axioms of local and universal choice

Urlich Felgner (1971)

Fundamenta Mathematicae

Similarity:

A reduction of the axioms for the theory of prepositional types

P. Andrews (1963)

Fundamenta Mathematicae

Similarity:

Metamathematics of the alternative set theory. III.

Antonín Sochor (1983)

Commentationes Mathematicae Universitatis Carolinae

Similarity: