Consistency of a $\lambda$ -theory with $n$ -tuples and easy term

Archive for Mathematical Logic 34 (2):79-96 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/s001530050013

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Consistency of a $\lambda$ -theory with $n$ -tuples and easy term.Ying Jiang - 1995 - Archive for Mathematical Logic 34 (2):79-96.
On the definition of ordered n‐tuples.Olaf Neumann - 1984 - Mathematical Logic Quarterly 30 (13‐16):197-198.
Towards a homotopy domain theory.Daniel O. Martínez-Rivillas & Ruy J. G. B. de Queiroz - 2022 - Archive for Mathematical Logic 62 (3):559-579.
Value of a classical integer in lambda mu-calculus.K. Nour - 1997 - Archive for Mathematical Logic 36 (6):461-473.
$$I_0$$ and combinatorics at $$\lambda ^+$$.Nam Trang & Xianghui Shi - 2017 - Archive for Mathematical Logic 56 (1):131-154.
Topological model theory with an interior operator: Consistency properties and back — and forth arguments.J. A. Makowsky & M. Ziegler - 1981 - Archive for Mathematical Logic 21 (1):37-54.
On Kalmar's consistency proof and a generalization of the notion of ω-consistency.George S. Boolos - 1975 - Archive for Mathematical Logic 17 (1-2):3-7.
Strong normalization of a symmetric lambda calculus for second-order classical logic.Yoriyuki Yamagata - 2002 - Archive for Mathematical Logic 41 (1):91-99.
On the consistency of the generalized continuum hypothesis.Alexander Abian & James Bainbridge - 1972 - Archive for Mathematical Logic 15 (1-2):36-40.
The Ω-consistency of ramified analysis.Charles Parsons - 1962 - Archive for Mathematical Logic 6 (1-2):30-34.

Analytics

Added to PP
2016-02-04

Downloads
5 (#1,562,727)

6 months
2 (#1,448,741)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references