Isomorphism of structures in S-toposes

DOI10.2307/2273748zbMath0465.03019OpenAlexW2043295055MaRDI QIDQ3916559

No author found.

Publication date: 1981

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

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

zbMATH Keywords

infinitary model theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other infinitary logic (03C75)

Related Items (1)

Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem

Cites Work

• An application of set theory to model theory
• Large infinitary languages. Model theory
• Unnamed Item
• Unnamed Item

This page was built for publication: Isomorphism of structures in S-toposes