Lorenzen and Constructive Mathematics (Q5024724): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-65824-3_4
+Normal rank
@@ Property / OpenAlex ID @@
+W3193369829
@@ Property / OpenAlex ID: W3193369829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344167
@@ Property / cites work: Q5344167 / rank @@
+Normal rank
@@ Property / cites work @@
+Lorenzen's Proof of Consistency for Elementary Number Theory
+Normal rank
@@ Property / cites work @@
+GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION
+Normal rank
@@ Property / cites work @@
+Q3024822
@@ Property / cites work: Q3024822 / rank @@
+Normal rank
@@ Property / cites work @@
+The foundations of mathematics. A study in the philosophy of science
+Normal rank
@@ Property / cites work @@
+Q4040375
@@ Property / cites work: Q4040375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944905
@@ Property / cites work: Q4944905 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple Conclusion Rules in Logics with the Disjunction Property
+Normal rank
@@ Property / cites work @@
+A semantics of evidence for classical arithmetic
@@ Property / cites work: A semantics of evidence for classical arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+A note on measures with values in a partially ordered vector space
+Normal rank
@@ Property / cites work @@
+Lattice-ordered groups generated by an ordered group and regular systems of ideals
+Normal rank
@@ Property / cites work @@
+Valuations and Dedekind's Prague theorem
@@ Property / cites work: Valuations and Dedekind's Prague theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4649556
@@ Property / cites work: Q4649556 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774923
@@ Property / cites work: Q3774923 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraische und logistische Untersuchungen über freie Verbände
+Normal rank
@@ Property / cites work @@
+Über endliche Mengen
@@ Property / cites work: Über endliche Mengen / rank @@
+Normal rank
@@ Property / cites work @@
+Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical reflection and formalism
@@ Property / cites work: Logical reflection and formalism / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive definition of certain analytic sets of numbers
+Normal rank
@@ Property / cites work @@
+Q5181669
@@ Property / cites work: Q5181669 / rank @@
+Normal rank
@@ Property / cites work @@
+The Riemann hypothesis in characteristic \(p\) in historical perspective
+Normal rank
@@ Property / cites work @@
+Q5582292
@@ Property / cites work: Q5582292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3269140
@@ Property / cites work: Q3269140 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
+Normal rank