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

Categorical LogicGeneralized ContinuUm HypothesisHeyting AlgebrasHistorical SurveyIndependenceIntuitionistic LogicMathematical LogicSheavesTopoi

Mathematics Subject Classification ID

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

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)