Translation of nonstandard definitions to standard ones
Karel Čuda (1984)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “A nonstandard set theory”
Translation of nonstandard definitions to standard ones
Why semisets?
Petr Hájek (1973)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
On interpretability in theories containing arithmetic. II.
Petr Hájek (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
A method for constructing some endomorphic universes
Alena Vencovská (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity: