On the axiom of extensionality – Part I

DOI10.2307/2268484zbMath0073.00801OpenAlexW4242356449WikidataQ114589222 ScholiaQ114589222MaRDI QIDQ3236674

R. O. Gandy

Publication date: 1956

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268484

zbMATH Keywords

PhilosophyFoundationsMathematical Logic

Related Items (8)

Light monotone Dialectica methods for proof mining ⋮ On a Theory Objects Based on a Single Axiom Scheme ⋮ Unnamed Item ⋮ EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS ⋮ A generalization of the Takeuti–Gandy interpretation ⋮ Substitution structures ⋮ A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic ⋮ Extensional models for polymorphism

Cites Work

• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• A formal theorem in Church's theory of types

This page was built for publication: On the axiom of extensionality – Part I