Saturated models of intuitionistic theories

DOI10.1016/j.apal.2004.03.001zbMath1082.03061OpenAlexW1996830918MaRDI QIDQ1887664

Carsten Butz

Publication date: 22 November 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.03.001

zbMATH Keywords

Kripke modelssaturated modelscategorical logicGrothendieck toposintuitionistic theoriesHeyting categoriesHeyting-valued modelscoherent filter logicfilter constructionfilter topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55)

Related Items (3)

Ultrafilters, finite coproducts and locally connected classifying toposes ⋮ Ultrasheaves and double negation ⋮ Generalising canonical extension to the categorical setting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ultrasheaves and double negation
• Amalgamation and interpolation in the category of Heyting algebras
• An application of open maps to categorical logic
• The free completely distributive lattice over a poset
• A smooth version of the Zariski topos
• Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
• Logic year 1979--80, The University of Connecticut, USA
• Sheaves in geometry and logic: a first introduction to topos theory
• Change of base for toposes with generators
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Completeness results for intuitionistic and modal logic in a categorical setting
• Classifying toposes for first-order theories
• Transfer principles in nonstandard intuitionistic arithmetic
• Ultrapowers as sheaves on a category of ultrafilters
• A model for intuitionistic non-standard arithmetic
• *-autonomous categories, revisited
• Constructive complete distributivity. I
• Sheaves of structures and generalized ultraproducts
• Two closed categories of filters
• Developments in Constructive Nonstandard Analysis
• Minimal models of Heyting arithmetic

This page was built for publication: Saturated models of intuitionistic theories