On interpretability in theories containing arithmetic. II.
Petr Hájek (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “A logical analysis of the truth-reaction paradox”
On interpretability in theories containing arithmetic. II.
Compactness and homogeneity of saturated structures. II.
Josef Mlček (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
A constructive proof of the Tychonoff's theorem for locales
Igor Kříž (1985)
Commentationes Mathematicae Universitatis Carolinae
Similarity: