Direct proofs of Lindenbaum conditionals (Q2254568): Difference between revisions

@@ Property / cites work @@
+On Formally Measuring and Eliminating Extraneous Notions in Proofs
+Normal rank
@@ Property / cites work @@
+Q4078023
@@ Property / cites work: Q4078023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3953754
@@ Property / cites work: Q3953754 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4354789
@@ Property / cites work: Q4354789 / rank @@
+Normal rank
@@ Property / cites work @@
+Is there a ``Hilbert thesis''?
@@ Property / cites work: Is there a ``Hilbert thesis''? / rank @@
+Normal rank
@@ Property / cites work @@
+A proof-theoretic view of necessity
@@ Property / cites work: A proof-theoretic view of necessity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Some restricted Lindenbaum theorems equivalent to the axiom of choice
+Normal rank
@@ Property / cites work @@
+Q4530470
@@ Property / cites work: Q4530470 / rank @@
+Normal rank