A topos-theorist looks at dilators

DOI10.1016/0022-4049(89)90039-XMaRDI QIDQ1121978zbMATH OpenOpenAlexFDO

Authors Peter Johnstone

Publication date 1989

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(89)90039-x

zbMATH Keywords

Grothendieck topologyatomic toposdilatorsclassifying topos for the theory of dense linear orders without end pointslinearly ordered objects in an atomic topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• scientific article; zbMATH DE number 3906494
• Introduction to \(\Pi^1_2\)-logic
• Induktive Definitionen und Dilatoren. (Inductive definitions and dilators)
• Finite presentability of strongly finite dilators
• A proof-theoretical analysis of ptykes

Cites work

• scientific article; zbMATH DE number 3886100 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3654118 (Why is no real title available?)
• scientific article; zbMATH DE number 3404447 (Why is no real title available?)
• An extension of the Galois theory of Grothendieck
• Atomic toposes
• Boolean classifying topoi
• Categories localement multipresentables
• Forcing and classifying topoi
• Full Continuous Embeddings of Toposes
• Molecular toposes
• Π12-logic, Part 1: Dilators

Cited in

(3)

• Finite presentability of strongly finite dilators
• An algebraic approach to stable domains
• Introduction to \(\Pi^1_2\)-logic

This page was built for publication: A topos-theorist looks at dilators

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