Classifying topoi and finite forcing

DOI10.1016/0022-4049(83)90085-3MaRDI QIDQ1052317zbMATH OpenOpenAlexFDO

Authors Andreas Blass, Andre Scedrov

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

generic modelmodel theorypresheavesRobinson's finite forcingtopos-theoretic termsuniversal Horn theory

Mathematics Subject Classification ID

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

Cites work

• Boolean classifying topoi
• Change of base for toposes with generators
• Completeness results for intuitionistic and modal logic in a categorical setting
• Completing theories by forcing
• Forcing, arithmetic, division rings
• scientific article; zbMATH DE number 3467077 (Why is no real title available?)
• scientific article; zbMATH DE number 3554471 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3394391 (Why is no real title available?)
• La logique des topos
• Model theory
• Omitting quantifier-free types in generic structures

Cited in

(26)

• De Morgan classifying toposes
• De Morgan's law and the theory of fields
• Functions on universal algebras
• Boolean classifying topoi
• Seven trees in one
• General affine adjunctions, Nullstellensätze, and dualities
• Some aspects of topological Galois theory
• Topological Galois theory
• Flat vs. filtered colimits in the enriched context
• Annual Meeting of the Association for Symbolic Logic, Berkeley, 1990
• Existential fixed-point logic, universal quantifiers, and topoi
• A Brief Introduction to Algebraic Set Theory
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• Functional Thesauri, Classifying Topoi, Unification, and Flatness
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
• Flatness, weakly lex colimits, and free exact completions
• Atomic toposes and countable categoricity
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively

This page was built for publication: Classifying topoi and finite forcing

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