A topos-theorist looks at dilators

DOI10.1016/0022-4049(89)90039-XzbMATH Open0675.18005OpenAlexW1999447354MaRDI QIDQ1121978FDOQ1121978

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

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

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)

Cites Work

• An extension of the Galois theory of Grothendieck
• Title not available (Why is that?)
• Title not available (Why is that?)
• Forcing and classifying topoi
• Title not available (Why is that?)
• Categories localement multipresentables
• Title not available (Why is that?)
• Π12-logic, Part 1: Dilators
• Atomic toposes
• Molecular toposes
• Full Continuous Embeddings of Toposes
• Boolean classifying topoi
• Title not available (Why is that?)

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)