Realizability models refuting Ishihara's boundedness principle

DOI10.1016/j.apal.2012.04.004zbMath1251.03088MaRDI QIDQ714714

Peter Lietz, Thomas Streicher

Publication date: 11 October 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.04.004

zbMATH Keywords

sequential continuity; realizability; axiom of choice; intuitionistic set theory; constructive analysis; boundedness principle; independence proofs; higher-order arithmetic

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

03G30: Categorical logic, topoi

18B25: Topoi

Related Items

Bishop-Style Constructive Reverse Mathematics, On Brouwer's continuity principle

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realizability. An introduction to its categorical side
• \(\mathbb{T}^\omega\) as a universal domain
• Constructivism in mathematics. An introduction. Volume I
• Categorical logic and type theory
• Strong continuity implies uniform sequential continuity
• Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability
• Continuity properties in constructive mathematics
• The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations