Completeness and categoricity: Frege, gödel and model theory (Q4373014): 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.1080/01445349708837277
+Normal rank
@@ Property / OpenAlex ID @@
+W2000285239
@@ Property / OpenAlex ID: W2000285239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4208520
@@ Property / cites work: Q4208520 / rank @@
+Normal rank
@@ Property / cites work @@
+Cantor's power-set theorem versus frege's double-correlation thesis
+Normal rank
@@ Property / cites work @@
+Categoricity
@@ Property / cites work: Categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+The compactness of first-order logic:from gödel to lindström
+Normal rank
@@ Property / cites work @@
+Abstract set theory
@@ Property / cites work: Abstract set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Logic in the twenties: the nature of the quantifier
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+A critical appraisal of second-order logic
@@ Property / cites work: A critical appraisal of second-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
+Normal rank
@@ Property / cites work @@
+Q3960633
@@ Property / cites work: Q3960633 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to model theory and to the metamathematics of algebra
+Normal rank
@@ Property / cites work @@
+Who were the American postulate theorists?
@@ Property / cites work: Who were the American postulate theorists? / rank @@
+Normal rank
@@ Property / cites work @@
+Q2888505
@@ Property / cites work: Q2888505 / rank @@
+Normal rank