Generalized extensional realizability

Annals of Pure and Applied Logic 38 (1):106 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

  • This entry has no external links. Add one.
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

Realizability and recursive set theory.Charles McCarty - 1986 - Annals of Pure and Applied Logic 32:153-183.
From realizability to induction via dependent intersection.Aaron Stump - 2018 - Annals of Pure and Applied Logic 169 (7):637-655.
The extensional ordering of the sequential functionals.Dag Normann & V. Yu Sazonov - 2012 - Annals of Pure and Applied Logic 163 (5):575-603.
Realizability for Peano arithmetic with winning conditions in HON games.Valentin Blot - 2017 - Annals of Pure and Applied Logic 168 (2):254-277.
Generalizing realizability and Heyting models for constructive set theory.Albert Ziegler - 2012 - Annals of Pure and Applied Logic 163 (2):175-184.
Erratum to “Definitional equivalence and algebraizability of generalized logical systems” Annals of Pure and Applied Logic 98 (1999) 1–68. [REVIEW]Alexej P. Pynko - 2000 - Annals of Pure and Applied Logic 102 (3):283-284.
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.
Generalized independence.Fernando Hernández-Hernández & Carlos López-Callejas - 2024 - Annals of Pure and Applied Logic 175 (7):103440.
A characterization of generalized existential completions.Maria Emilia Maietti & Davide Trotta - 2023 - Annals of Pure and Applied Logic 174 (4):103234.
Generalized fusible numbers and their ordinals.Alexander I. Bufetov, Gabriel Nivasch & Fedor Pakhomov - 2024 - Annals of Pure and Applied Logic 175 (1):103355.

Analytics

Added to PP
2015-02-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references