Sentences of type theory: the only sentences preserved under isomorphisms

DOI10.2307/2275062zbMath0752.03003OpenAlexW2069184777MaRDI QIDQ3985091

M. Victoria Marshall, Rolando B. Chuaqui

Publication date: 27 June 1992

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275062

zbMATH Keywords

type theoryisomorphism of structuressentences preserved under isomorphismsset of type \(t\)type of \(k\) sort

Mathematics Subject Classification ID

Related Items (3)

Definability and invariance ⋮ The strength of Mac Lane set theory ⋮ Isomorphism is equality

This page was built for publication: Sentences of type theory: the only sentences preserved under isomorphisms