A note on cofinal extensions and segments
Josef Mlček (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Twin prime problem in an arithmetic without induction”
A note on cofinal extensions and segments
The lattice of bi-numerations of arithmetic. I.
Marie Hájková (1971)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)
Jiří Ivánek (1977)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The lattice of bi-numerations of arithmetic. II.
Marie Hájková (1971)
Commentationes Mathematicae Universitatis Carolinae
Similarity: