Proofs of the Compactness Theorem (Q3590048): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1080/01445340903495340
+Normal rank
@@ Property / OpenAlex ID @@
+W1988201588
@@ Property / OpenAlex ID: W1988201588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570212
@@ Property / cites work: Q5570212 / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof of the compactness theorem for propositional logic
+Normal rank
@@ Property / cites work @@
+Generalizing Konig's infinity lemma
@@ Property / cites work: Generalizing Konig's infinity lemma / rank @@
+Normal rank
@@ Property / cites work @@
+The compactness of first-order logic:from gödel to lindström
+Normal rank
@@ Property / cites work @@
+Why Do Mathematicians Re-prove Theorems?
@@ Property / cites work: Why Do Mathematicians Re-prove Theorems? / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+Q4210469
@@ Property / cites work: Q4210469 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic with the quantifier “there exist uncountably many”
+Normal rank
@@ Property / cites work @@
+Surrealist landscape with figures (a survey of recent results in set theory)
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic Treatment of Rank in Infinite Sets
@@ Property / cites work: Axiomatic Treatment of Rank in Infinite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Explanation, Independence and Realism in Mathematics
+Normal rank
@@ Property / cites work @@
+Q3996430
@@ Property / cites work: Q3996430 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Explanation and the Theory of Why-Questions
+Normal rank