The de Jongh property for basic arithmetic

DOI10.1007/s00153-014-0394-7zbMath1435.03087OpenAlexW1972654862MaRDI QIDQ481876

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)

Related Items

Hard provability logics, EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES, Logics of intuitionistic Kripke-Platek set theory, The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intermediate logics and the de Jongh property
• Self-reference and modal logic
• A propositional logic with explicit fixed points
• Constructivism in mathematics. An introduction. Volume I
• Provability interpretations of modal logic
• Arithmetization of metamathematics in a general setting
• Basic Propositional Calculus I
• The interpretability logic of Peano arithmetic
• An Introduction to Basic Arithmetic
• Basic predicate calculus