scientific article; zbMATH DE number 3630752

zbMATH Open0406.03074MaRDI QIDQ4192059FDOQ4192059

Authors: Pierre Cartier 

Publication date: 1979

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

Title of this publication is not available (Why is that?)

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)