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

@@ 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