The de Jongh property for basic arithmetic
type: Item
instance of: scholarly article
title: The de Jongh property for basic arithmetic
zbMATH Open document ID: 1435.03087
author: Mohammad Ardeshir
author: S. Mojtaba Mojtahedi
published in: Archive for Mathematical Logic
publication date: 2014-12-15T00:00:00Z
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 6380537
zbMATH Keywords: basic predicate logic
zbMATH Keywords: basic arithmetic
zbMATH Keywords: de Jongh property
MaRDI profile type: Publication
full work available at URL: s00153-014-0394-7
OpenAlex ID: W1972654862
cites work: An Introduction to Basic Arithmetic
cites work: Basic Propositional Calculus I
cites work: The interpretability logic of Peano arithmetic
cites work: Intermediate logics and the de Jongh property
cites work: Arithmetization of metamathematics in a general setting
cites work: Q3962995
cites work: Q4001935
cites work: Q3992465
cites work: Basic predicate calculus
cites work: Self-reference and modal logic
cites work: Provability interpretations of modal logic
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Q4215610
cites work: A propositional logic with explicit fixed points
DOI: 10.1007/S00153-014-0394-7
description: scientific article; zbMATH DE number 6380537