The ambiguous type theory is hereditarily undecidable

Mathematical Logic Quarterly 38 (1):299-300 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380126

Other Versions

reprint Kuzichev, Andrey A. (1992) "The ambiguous type theory is hereditarily undecidable". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38(1):299-300

Links

PhilArchive



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

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

Essential hereditary undecidability.Albert Visser - 2024 - Archive for Mathematical Logic 63 (5):529-562.
A Theory of Ambiguous Types and Its Axiomatizations.Andrey A. Kuzichev - 1989 - Mathematical Logic Quarterly 35 (6):495-514.
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus.A. Kurucz, I. Nemeti, I. Sain & A. Simon - 1993 - Logic Journal of the IGPL 1 (1):91-98.
The undecidability of grisin's set theory.Andrea Cantini - 2003 - Studia Logica 74 (3):345 - 368.
Comparing type theory and set theory.John Lake - 1975 - Mathematical Logic Quarterly 21 (1):355-356.
Mathematical induction in ramified type theory.James R. Royse - 1969 - Mathematical Logic Quarterly 15 (1‐3):7-10.
On the reduction of type theory.Marcel Crabbé - 1983 - Mathematical Logic Quarterly 29 (4):235-237.
A Paratheory of Type Theory.Gerold Stahl - 1963 - Mathematical Logic Quarterly 9 (11):169-171.

Analytics

Added to PP
2013-12-01

Downloads
21 (#994,267)

6 months
5 (#1,012,292)

Historical graph of downloads
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