On models in the alternative set theory
Michal Resl (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “A representation of models of Peano arithmetic”
On models in the alternative set theory
End-extensions of countable structures and the induction schema
Josef Mlček (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Completion closed algebras and models of Peano arithmetic
Petr Hájek (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Formalized models of ontological systems
Milan Růžička (1982)
Kybernetika
Similarity: