The de Jongh property for basic arithmetic

DOI10.1007/S00153-014-0394-7MaRDI QIDQ481876zbMATH OpenOpenAlexFDO

Authors Mohammad Ardeshir, S. Mojtaba Mojtahedi

Publication date 15 December 2014

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-014-0394-7

zbMATH Keywords

basic arithmeticbasic predicate logicde Jongh property

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 5896226
• Intermediate logics and the de Jongh property
• An Introduction to Basic Arithmetic
• Provably total functions of Basic Arithmetic
• Provable fixed points in \(I \Delta{}_ 0+\Omega{}_ 1\)

Cites work

• scientific article; zbMATH DE number 3784875 (Why is no real title available?)
• scientific article; zbMATH DE number 42574 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• A propositional logic with explicit fixed points
• An Introduction to Basic Arithmetic
• Arithmetization of metamathematics in a general setting
• Basic Propositional Calculus I
• Basic predicate calculus
• Constructivism in mathematics. An introduction. Volume I
• Intermediate logics and the de Jongh property
• Provability interpretations of modal logic
• Self-reference and modal logic
• The interpretability logic of Peano arithmetic

Cited in

(6)

• Notes on my scientific life
• The \(\Sigma_1\)-provability logic of HA revisited
• Logics of intuitionistic Kripke-Platek set theory
• Hard provability logics
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
• EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES

This page was built for publication: The de Jongh property for basic arithmetic

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