Classifying topoi and finite forcing

DOI10.1016/0022-4049(83)90085-3zbMath0516.03042OpenAlexW2045764924MaRDI QIDQ1052317

Andrej Scedrov, Andreas Blass

Publication date: 1983

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

Full work available at URL: http://hdl.handle.net/2027.42/25225

zbMATH Keywords

model theorypresheavesgeneric modelRobinson's finite forcingtopos-theoretic termsuniversal Horn theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Model-theoretic forcing (03C25)

Related Items

Functions on universal algebras ⋮ Functional Thesauri, Classifying Topoi, Unification, and Flatness ⋮ Topological Galois theory ⋮ Seven trees in one ⋮ Flat vs. filtered colimits in the enriched context ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Some aspects of topological Galois theory ⋮ General affine adjunctions, Nullstellensätze, and dualities ⋮ Flatness, weakly lex colimits, and free exact completions ⋮ The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. ⋮ Atomic toposes and countable categoricity ⋮ Existential Fixed-Point Logic, Universal Quantifiers, and Topoi ⋮ Annual Meeting of the Association for Symbolic Logic, Berkeley, 1990 ⋮ A Brief Introduction to Algebraic Set Theory ⋮ De Morgan classifying toposes ⋮ De Morgan's law and the theory of fields ⋮ Boolean classifying topoi

Cites Work

• Forcing, arithmetic, division rings
• Change of base for toposes with generators
• Completeness results for intuitionistic and modal logic in a categorical setting
• Model theory
• Boolean classifying topoi
• La logique des topos
• Omitting quantifier-free types in generic structures
• Completing theories by forcing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item