A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π 1 -equivalent to KP

&
Annals of Pure and Applied Logic 166 (2):121-186 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2014.10.001

Links

PhilArchive



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

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 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 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 II: Interpretability lower bound of Feferman's explicit mathematics T 0.Kentaro Sato - 2015 - Annals of Pure and Applied Logic 166 (7-8):800-835.
Set existence property for intuitionistic theories with dependent choice.Harvey M. Friedman & Andrej Ščedrov - 1983 - Annals of Pure and Applied Logic 25 (2):129-140.
Choice and independence of premise rules in intuitionistic set theory.Emanuele Frittaion, Takako Nemoto & Michael Rathjen - 2023 - Annals of Pure and Applied Logic 174 (9):103314.
A model for intuitionistic non-standard arithmetic.Ieke Moerdijk - 1995 - Annals of Pure and Applied Logic 73 (1):37-51.
Notes on some second-order systems of iterated inductive definitions and Π 1 1 -comprehensions and relevant subsystems of set theory. [REVIEW]Kentaro Fujimoto - 2015 - Annals of Pure and Applied Logic 166 (4):409-463.
Linear independence without choice.Douglas Bridges, Fred Richman & Peter Schuster - 1999 - Annals of Pure and Applied Logic 101 (1):95-102.
Inaccessibility in constructive set theory and type theory.Michael Rathjen, Edward R. Griffor & Erik Palmgren - 1998 - Annals of Pure and Applied Logic 94 (1-3):181-200.
Large sets in intuitionistic set theory.Harvey Friedman & Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (1):1-24.

Analytics

Added to PP
2015-08-28

Downloads
43 (#360,144)

6 months
7 (#592,600)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 6 citations / Add more citations

References found in this work

Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Logic and structure.D. van Dalen - 1980 - New York: Springer Verlag.

View all 40 references / Add more references