On a question of Krajewski's

DOI10.1017/JSL.2018.72zbMATH Open1441.03010arXiv1712.01713OpenAlexW2962740782MaRDI QIDQ4628685FDOQ4628685

Authors: Albert Visser, Fedor N. Pakhomov 

Publication date: 15 March 2019

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: In this paper we provide a (negative) solution to a problem posed by Stanis{l}aw Krajewski. Consider a recursively enumerable theory U and a finite expansion of the signature of U that contains at least one predicate symbol of arity $ge$ 2. We show that, for any finite extension $alpha$ of U in the expanded language that is conservative over U, there is a conservative extension $$ of U in the expanded language, such that $$ and $$. The result is preserved when we consider either extensions or model-conservative extensions of U in stead of conservative extensions. Moreover, the result is preserved when we replace $vdash$ as ordering on the finitely axiomatized extensions in the expanded language by a special kind of interpretability, to wit interpretability that identically translates the symbols of the U-language. We show that the result fails when we consider an expansion with only unary predicate symbols for conservative extensions of U ordered by interpretability that preserves the symbols of U.

Full work available at URL: https://arxiv.org/abs/1712.01713

Recommendations

• On conservative extensions in logics with infinitary predicates
• scientific article; zbMATH DE number 4772
• Conservative extensions of models with weakly o-minimal theories
• Conservative extensions of abstract structures
• scientific article; zbMATH DE number 3987256

zbMATH Keywords

interpretabilitypredicate logiclinear orderingsrecursively enumerable theories

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Other degrees and reducibilities in computability and recursion theory (03D30) Relative consistency and interpretations (03F25)

Cites Work

• Undecidable theories
• Finite Axiomatizability using additional predicates
• Title not available (Why is that?)
• Title not available (Why is that?)
• Infinitary logic and admissible sets
• Title not available (Why is that?)
• Relative Truth Definability of Axiomatic Truth Theories
• Theories of linear order
• A lattice of chapters of mathematics (interpretations between theorems [theories])
• Descriptive complexity: a logician's approach to computation.
• On \(\mathsf{Q}\)
• What is sequentiality?
• The interpretation existence lemma

Cited In (8)

• Varieties of truth definitions
• Title not available (Why is that?)
• The small-is-very-small principle
• On Paszkiewicz's example
• On a question in the Kourovka notebook.
• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
• Title not available (Why is that?)
• Note on the question of Sikora

This page was built for publication: On a question of Krajewski's

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4628685)