On transferring model theoretic theorems of L_, in the category of sets to a fixed Grothendieck topos

DOI10.1007/S11787-014-0105-5MaRDI QIDQ2254569zbMATH OpenOpenAlexFDO

Authors Nathanael Ackerman

Publication date 5 February 2015

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-014-0105-5

zbMATH Keywords

Barwise compactnesscompletenessGrothendieck toposinfinitary logicLöwenheim-Skolem

Mathematics Subject Classification ID

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

Recommendations

• The Skolem-Löwenheim theorem in toposes
• The Skolem-Löwenheim theorem in toposes. II
• AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
• A characterization theorem for geometric logic
• Infinitary generalizations of Deligne's completeness theorem

Cites work

• Completeness in generalized ultrametric spaces
• scientific article; zbMATH DE number 5960295 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Model theory for metric structures
• Relativized Grothendieck topoi
• Set Theory
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(7)

• The Skolem-Löwenheim theorem in toposes. II
• Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
• Encoding complete metric structures by classical structures
• A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra
• Infinitary generalizations of Deligne's completeness theorem
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
• Relativized Grothendieck topoi

This page was built for publication: On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254569)