Displaying similar documents to “On interpretability in theories containing arithmetic. II.”

Why semisets?

Petr Hájek (1973)

Commentationes Mathematicae Universitatis Carolinae

Similarity: