A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T 0

Annals of Pure and Applied Logic 166 (7-8):800-835 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2015.04.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI.Kentaro Sato - 2024 - Annals of Pure and Applied Logic 175 (7):103422.
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ 1 1 collection. [REVIEW]Kentaro Sato - 2023 - Annals of Pure and Applied Logic 174 (3):103207.
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π 1 -equivalent to KP.Kentaro Sato & Rico Zumbrunnen - 2015 - Annals of Pure and Applied Logic 166 (2):121-186.
Extending the system T0 of explicit mathematics: the limit and Mahlo axioms.Gerhard Jäger & Thomas Studer - 2002 - Annals of Pure and Applied Logic 114 (1-3):79-101.
Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe.Sergei Tupailo - 2003 - Annals of Pure and Applied Logic 120 (1-3):165-196.
Understanding uniformity in Feferman's explicit mathematics.Thomas Glaß - 1995 - Annals of Pure and Applied Logic 75 (1-2):89-106.
Universes in explicit mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.
Decidable Kripke models of intuitionistic theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.
A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.
Review of: Jäger, G.; Kahle, R.; Studer, T.: Universes in explicit mathematics. [REVIEW]Ulrich Wilhelm Kohlenbach - 2002 - Annals of Pure and Applied Logic 109 (3):141-162.

Analytics

Added to PP
2015-08-28

Downloads
31 (#532,577)

6 months
10 (#308,797)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Characterizations of ordinal analysis.James Walsh - 2023 - Annals of Pure and Applied Logic 174 (4):103230.

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.

View all 37 references / Add more references