Degrees of interpretability
Vítězslav Švejdar (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: