Degrees of interpretability
Vítězslav Švejdar (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Partial conservativity revisited”
Degrees of interpretability
Provability in the alternative set theory
Michal Resl, Antonín Sochor (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
On interpretability in theories containing arithmetic. II.
Petr Hájek (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Why semisets?
Petr Hájek (1973)
Commentationes Mathematicae Universitatis Carolinae
Similarity: