THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE

DOI10.1002/MALQ.19920380126zbMath0793.03049OpenAlexW2022841776MaRDI QIDQ4295242

A. A. Kuzichev

Publication date: 8 June 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19920380126

zbMATH Keywords

hereditarily undecidableambiguous type theoryrecursively undecidable theory

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25)

This page was built for publication: THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE