Boolean classifying topoi

DOI10.1016/0022-4049(83)90069-5zbMath0504.03030OpenAlexW1969701120MaRDI QIDQ1835669

Andreas Blass, Andrej 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/25248

zbMATH Keywords

classifying toposcategorical theoryBoolean toposmodel-complete theorygeometric theories

Mathematics Subject Classification ID

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

Related Items (3)

A topos-theorist looks at dilators ⋮ Classifying toposes for first-order theories ⋮ Classifying topoi and finite forcing

Cites Work

• Unnamed Item
• Unnamed Item
• Classifying topoi and finite forcing
• Atomic toposes
• Model theory

This page was built for publication: Boolean classifying topoi