Degrees of interpretability
Vítězslav Švejdar (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)”
Degrees of interpretability
Twin prime problem in an arithmetic without induction
Josef Mlček (1976)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Why semisets?
Petr Hájek (1973)
Commentationes Mathematicae Universitatis Carolinae
Similarity: