The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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

Why semisets?

Petr Hájek (1973)

Commentationes Mathematicae Universitatis Carolinae

Similarity: