Realizability models refuting Ishihara's boundedness principle

DOI10.1016/J.APAL.2012.04.004zbMath1251.03088OpenAlexW2046266057MaRDI 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 continuityrealizabilityaxiom of choiceintuitionistic set theoryconstructive analysisboundedness principleindependence proofshigher-order arithmetic

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (2)

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

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

This page was built for publication: Realizability models refuting Ishihara's boundedness principle