Boolean topoi and the theory of sets

DOI10.1016/0022-4049(72)90006-0zbMath0245.18001OpenAlexW2059529852MaRDI QIDQ2555143

Yanyan Li

Publication date: 1972

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

Full work available at URL: https://doi.org/10.1016/0022-4049(72)90006-0

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Axiom of choice and related propositions (03E25) Categories of sets, characterizations (18B05)

Related Items (19)

A sheaf model for intuitionistic quantum mechanics ⋮ Logic in Category Theory ⋮ Unnamed Item ⋮ Relating first-order set theories, toposes and categories of classes ⋮ From types to sets ⋮ WHAT IS A RESTRICTIVE THEORY? ⋮ Sheaf models for set theory ⋮ Nonstandard proof methods in toposes ⋮ Fuzzy sets: A topos-logical point of view ⋮ Comparing material and structural set theories ⋮ A globalization of the Hahn-Banach theorem ⋮ Largest initial segments pointwise fixed by automorphisms of models of set theory ⋮ Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen ⋮ The strength of Mac Lane set theory ⋮ Categories of Boolean topoi ⋮ Category theory and the foundations of mathematics: philosophical excavations. ⋮ Categorical set theory: A characterization of the category of sets ⋮ Topos theory and Souslin's hypothesis ⋮ Unnamed Item

Cites Work

• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre

This page was built for publication: Boolean topoi and the theory of sets