Universality and strong extensionality

Archive for Mathematical Logic 21 (1):179-193 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02011643

Other Versions

No versions found

Links

PhilArchive



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

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

Weak foundation and axioms of universality.Michael Rimscha - 1981 - Archive for Mathematical Logic 21 (1):195-205.
Strong counterexamples to Borel hyperdeterminacy.C. Ward Henson - 1992 - Archive for Mathematical Logic 31 (3):215-220.
Strong completeness of lattice-valued logic.Mitio Takano - 2002 - Archive for Mathematical Logic 41 (5):497-505.
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals.Ulrich Kohlenbach - 1996 - Archive for Mathematical Logic 36 (1):31-71.
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19‐21):289-310.
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.
Strong normalization of a symmetric lambda calculus for second-order classical logic.Yoriyuki Yamagata - 2002 - Archive for Mathematical Logic 41 (1):91-99.
Extensionality in Zermelo‐Fraenkel Set Theory.R. Hinnion - 1986 - Mathematical Logic Quarterly 32 (1‐5):51-60.
Extensionality in Zermelo‐Fraenkel Set Theory.R. Hinnion - 1986 - Mathematical Logic Quarterly 32 (1-5):51-60.
Polytime, combinatory logic and positive safe induction.Cantini Andrea - 2002 - Archive for Mathematical Logic 41 (2):169-189.

Analytics

Added to PP
2020-12-03

Downloads
4 (#1,811,444)

6 months
1 (#1,900,278)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Antifoundation and Transitive Closure in the System of Zermelo.Olivier Esser & Roland Hinnion - 1999 - Notre Dame Journal of Formal Logic 40 (2):197-205.

Add more citations

References found in this work

No references found.

Add more references