A Tree Argument in Infinitary Model Theory (Q4163198): Difference between revisions

@@ Property / cites work @@
+Q4194945
@@ Property / cites work: Q4194945 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications
+Normal rank
@@ Property / cites work @@
+The number of countable models
@@ Property / cites work: The number of countable models / rank @@
+Normal rank
@@ Property / cites work @@
+Models with compactness properties relative to an admissible language
+Normal rank
@@ Property / cites work @@
+Equivalences Generated by Families of Borel Sets
@@ Property / cites work: Equivalences Generated by Families of Borel Sets / rank @@
+Normal rank