The de Jongh property for basic arithmetic

DOI10.1007/S00153-014-0394-7zbMATH Open1435.03087OpenAlexW1972654862MaRDI QIDQ481876FDOQ481876

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

Recommendations

• scientific article
• 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\)

zbMATH Keywords

basic arithmeticbasic predicate logicde Jongh property

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

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

Cited In (6)

• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
• Logics of intuitionistic Kripke-Platek set theory
• Notes on my scientific life
• The \(\Sigma_1\)-provability logic of HA revisited
• Hard provability logics
• 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)