Boolean classifying topoi

Andreas Blass, Andre Scedrov

Type: Article

Publication Date: 1983-04-01

Citations: 7

DOI: https://doi.org/10.1016/0022-4049(83)90069-5

Similar Works

Action	Title	Year	Authors
+	Classifying toposes for non-geometric theories	2023	Mark Kamsma
+	Formal Model Theory & Higher Topology	2020	Ivan Di Liberti
+	Formal Model Theory & Higher Topology	2020	Ivan Di Liberti
+ PDF Chat	Formal model theory and higher topology	2024	Ivan Di Liberti
+ PDF Chat	Sketches and Classifying Logoi	2024	Ivan Di Liberti Gabriele Lobbia
+ PDF Chat	Classifying Toposes for First Order Theories	1997	Carsten Butz Peter Johnstone
+	Forcing Topologies and Classifying Topoi	1976	Myles Tierney
+	Functional Thesauri, Classifying Topoi, Unification, and Flatness	2020	Andreas Blass
+	Classifying Topoi and Preservation of Higher Order Logic by Geometric Morphisms	2013	Shawn J. Henry
+	Decidable objects and molecular toposes	2022	Matı́as Menni
+	Topometric characterization of type spaces in continuous logic	2021	James Hanson
+	Classifying Topoi and Preservation of Higher Order Logic by Geometric Morphisms.	2013	Shawn J. Henry
+	Elementary topoi	2020	Jordan Mitchell Barrett
+	Atomic toposes and countable categoricity	2008	Olivia Caramello
+	Atomic toposes and countable categoricity	2008	Olivia Caramello
+	Generalized geometric theories and set-generated classes	2014	Peter Aczel Hajime Ishihara Takako Nemoto YASUSHI SANGU
+	Elementary topoi.	2020	Jordan Mitchell Barrett
+ PDF Chat	Classifying topoi and finite forcing	1983	Andreas Blass Andre Scedrov
+	Lógica de topos e aplicações	2019	Arthur Francisco Schwerz Cahali
+	A characterization theorem for geometric logic	2009	Olivia Caramello

Action	Title	Year	Authors
+	Beyond sets with atoms: definability in first order logic.	2020	Michał R. Przybyłek
+ PDF Chat	Classifying topoi and finite forcing	1983	Andreas Blass Andre Scedrov
+	Classifying toposes for first-order theories	1998	Carsten Butz Peter Johnstone
+	A topos-theorist looks at dilators	1989	Peter Johnstone
+ PDF Chat	Classifying Toposes for First Order Theories	1997	Carsten Butz Peter Johnstone
+ PDF Chat	A Nominal Approach to Probabilistic Separation Logic	2024	John M. Li Jon Aytac Philip Johnson-Freyd Amal Ahmed Steven Holtzen

Action	Title	Year	Authors
+ PDF Chat	Classifying topoi and finite forcing	1983	Andreas Blass Andre Scedrov
+ PDF Chat	Théorie des Topos et Cohomologie Etale des Schémas	1972	Alexandre Grothendieck J. L. Verdier