scientific article; zbMATH DE number 3630752

MaRDI QIDQ4192059zbMATH OpenFDO

Authors Pierre Cartier

Publication date 1979

Full work available at URL http://www.numdam.org/item?id=SB_1977-1978__20__123_0, https://eudml.org/doc/109913

zbMATH Keywords

IndependenceMathematical LogicSheavesGeneralized ContinuUm HypothesisTopoiIntuitionistic LogicHeyting AlgebrasCategorical LogicHistorical Survey

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Logical aspects of lattices and related structures (03G10) Intuitionistic mathematics (03F55) Logical aspects of Boolean algebras (03G05) Heyting algebras (lattice-theoretic aspects) (06D20) Continuum hypothesis and Martin's axiom (03E50)

Cited in

(1)

• Category theory, logic and formal linguistics: some connections, old and new

This page was built for publication:

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