The ambiguous type theory is hereditarily undecidable

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,369

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

The ambiguous type theory is hereditarily undecidable.Andrey A. Kuzichev - 1992 - Mathematical Logic Quarterly 38 (1):299-300.
The lindenbaum fixed point algebra is undecidable.V. Yu Shavrukov - 1991 - Studia Logica 50 (1):143-147.
Undecidable semiassociative relation algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.
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.
A decidable variety that is finitely undecidable.Joohee Jeong - 1999 - Journal of Symbolic Logic 64 (2):651-677.
Decision problems for classes of diagonalizable algebras.Aldo Ursini - 1985 - Studia Logica 44 (1):87 - 89.
Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
Typability and type checking in System F are equivalent and undecidable.J. B. Wells - 1999 - Annals of Pure and Applied Logic 98 (1-3):111-156.
On the Decidability of Axiomatized Mereotopological Theories.Hsing-Chien Tsai - 2015 - Notre Dame Journal of Formal Logic 56 (2):287-306.
Generic Complexity of Undecidable Problems.Alexei G. Myasnikov & Alexander N. Rybalov - 2008 - Journal of Symbolic Logic 73 (2):656 - 673.
On hereditarily countable sets.Thomas Jech - 1982 - Journal of Symbolic Logic 47 (1):43-47.
A Theory of Ambiguous Types and Its Axiomatizations.Andrey A. Kuzichev - 1989 - Mathematical Logic Quarterly 35 (6):495-514.
The Π₃-Theory of the [image] -Enumeration Degrees Is Undecidable.Thomas F. Kent - 2006 - Journal of Symbolic Logic 71 (4):1284 - 1302.
A Theory of Ambiguous Types and Its Axiomatizations.Andrey A. Kuzichev - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):495-514.
The Π₃-Theory of the $\Sigma _{2}^{0}$ -Enumeration Degrees Is Undecidable.Thomas F. Kent - 2006 - Journal of Symbolic Logic 71 (4):1284 - 1302.

Analytics

Added to PP
2016-02-04

Downloads
30 (#536,666)

6 months
4 (#798,558)

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