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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-013-0081-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2001094080
@@ Property / OpenAlex ID: W2001094080 / rank @@
+Normal rank
@@ 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