The de Jongh property for basic arithmetic (Q481876): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-014-0394-7
@@ Property / DOI: 10.1007/s00153-014-0394-7 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F30
@@ Property / Mathematics Subject Classification ID: 03F30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6380537
@@ Property / zbMATH DE Number: 6380537 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+basic predicate logic
@@ Property / zbMATH Keywords: basic predicate logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+basic arithmetic
@@ Property / zbMATH Keywords: basic arithmetic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+de Jongh property
@@ Property / zbMATH Keywords: de Jongh property / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-014-0394-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1972654862
@@ Property / OpenAlex ID: W1972654862 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Basic Arithmetic
@@ Property / cites work: An Introduction to Basic Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Basic Propositional Calculus I
@@ Property / cites work: Basic Propositional Calculus I / rank @@
+Normal rank
@@ Property / cites work @@
+The interpretability logic of Peano arithmetic
@@ Property / cites work: The interpretability logic of Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate logics and the de Jongh property
@@ Property / cites work: Intermediate logics and the de Jongh property / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Q3962995
@@ Property / cites work: Q3962995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic predicate calculus
@@ Property / cites work: Basic predicate calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q4215610
@@ Property / cites work: Q4215610 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-014-0394-7
@@ Property / DOI: 10.1007/S00153-014-0394-7 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:481876