Essential hereditary undecidability
type: Item
instance of: scholarly article
title: Essential hereditary undecidability
author: Albert Visser
published in: Archive for Mathematical Logic
publication date: 2024-07-02T00:00:00Z
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F40
zbMATH DE Number: 7874614
zbMATH Keywords: interpretability
zbMATH Keywords: essential hereditary undecidability
zbMATH Keywords: formal theories
MaRDI profile type: Publication
cites work: Undecidable theories
cites work: Q5551141
cites work: There are no minimal essentially undecidable theories
cites work: On \(\mathsf{Q}\)
cites work: Variants of Robinson's essentially undecidable theoryR
cites work: Q5567863
cites work: Vaught's theorem on axiomatizability by a scheme
cites work: Q4362314
cites work: Undecidability of some simple formalized theories
cites work: Effectively extensible theories
cites work: Q5551157
cites work: Deduction-preserving "Recursive Isomorphisms" between theories
cites work: Decidability and essential undecidability
cites work: Degrees of formal systems
cites work: Friedman-reflexivity
cites work: The logic of linear tolerance
cites work: A generalized notion of weak interpretability and the corresponding modal logic
cites work: Q4215636
cites work: Can We Make the Second Incompleteness Theorem Coordinate Free?
cites work: Elementary properties of Abelian groups
cites work: Q3464615
cites work: Q5573961
cites work: Turing Computability
cites work: GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
cites work: SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
DOI: 10.1007/S00153-024-00911-Y
description: scientific article; zbMATH DE number 7874614