Realizability models refuting Ishihara's boundedness principle

DOI10.1016/J.APAL.2012.04.004zbMATH Open1251.03088OpenAlexW2046266057MaRDI QIDQ714714FDOQ714714

Authors: 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

Recommendations

• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• Ishihara's proof technique in constructive analysis
• On choice principles and fan theorems
• Intuitionistic notions of boundedness in ℕ
• A continuity principle, a version of Baire's theorem and a boundedness principle

zbMATH Keywords

realizabilityaxiom of choiceintuitionistic set theoryconstructive analysisboundedness principleindependence proofshigher-order arithmeticsequential continuity

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• On Brouwer's continuity principle
• Intuitionistic notions of boundedness in ℕ
• A Classical Realizability Model for a Semantical Value Restriction
• Bishop-Style Constructive Reverse Mathematics
• Realizability Models Separating Various Fan Theorems
• Principles weaker than BD-N
• Variations on a theme by Ishihara

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

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