The de Jongh property for basic arithmetic
From MaRDI portal
Recommendations
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)
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)