scientific article; zbMATH DE number 3630752

zbMATH Open0406.03074MaRDI QIDQ4192059

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

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

Related Items (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)