On a question of Krajewski's

DOI10.1017/JSL.2018.72MaRDI QIDQ4628685zbMATH OpenOpenAlexFDO

Authors Albert Visser, Fedor N. Pakhomov

Publication date 15 March 2019

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3074067 (Why is no real title available?)
• A lattice of chapters of mathematics (interpretations between theorems [theories])
• Descriptive complexity: a logician's approach to computation.
• Finite Axiomatizability using additional predicates
• Infinitary logic and admissible sets
• On \(\mathsf{Q}\)
• Relative Truth Definability of Axiomatic Truth Theories
• The interpretation existence lemma
• Theories of linear order
• Undecidable theories
• What is sequentiality?

Cited in

(8)

• Varieties of truth definitions
• scientific article; zbMATH DE number 5788441 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 3961993 (Why is no real title available?)
• 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)