Realisability for infinitary intuitionistic set theory

, &
Annals of Pure and Applied Logic 174 (6):103259 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103259

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,601

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

Intuitionistic nonstandard bounded modified realisability and functional interpretation.Bruno Dinis & Jaime Gaspar - 2018 - Annals of Pure and Applied Logic 169 (5):392-412.
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions.Matteo Tesi & Sara Negri - 2023 - Annals of Pure and Applied Logic 174 (8):103285.
A complete axiomatization of infinitary first-order intuitionistic logic over L κ +, κ.Christian Espíndola - 2025 - Annals of Pure and Applied Logic 176 (1):103506.
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.
Models of intuitionistic set theory in subtoposes of nested realizability toposes.Samuele Maschio & Thomas Streicher - 2015 - Annals of Pure and Applied Logic 166 (6):729-739.
Logics of intuitionistic Kripke-Platek set theory.Rosalie Iemhoff & Robert Passmann - 2021 - Annals of Pure and Applied Logic 172 (10):103014.
Iterated elementary embeddings and the model theory of infinitary logic.John T. Baldwin & Paul B. Larson - 2016 - Annals of Pure and Applied Logic 167 (3):309-334.
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.
Large sets in intuitionistic set theory.Harvey Friedman & Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (1):1-24.
The intuitionistic alternative set theory.K. Lano - 1993 - Annals of Pure and Applied Logic 59 (2):141-156.

Analytics

Added to PP
2023-03-09

Downloads
29 (#831,181)

6 months
5 (#777,097)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

On the interpretation of intuitionistic number theory.Stephen Cole Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.
Rules and Arithmetics.Albert Visser - 1999 - Notre Dame Journal of Formal Logic 40 (1):116-140.

View all 13 references / Add more references