Categoricity in $\aleph_1$ of sentences in $L_{\omega_1\omega}(Q)$ (Q1224580): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Αll $ℵ_1$-dense sets of reals can be isomorphic
+Normal rank
@@ Property / cites work @@
+Q3237252
@@ Property / cites work: Q3237252 / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Logic with the quantifier “there exist uncountably many”
+Normal rank
@@ Property / cites work @@
+A minimal prime model with an infinite set of indiscernibles
+Normal rank
@@ Property / cites work @@
+Categoricity in Power
@@ Property / cites work: Categoricity in Power / rank @@
+Normal rank
@@ Property / cites work @@
+The number of countable models
@@ Property / cites work: The number of countable models / rank @@
+Normal rank
@@ Property / cites work @@
+Finite diagrams stable in power
@@ Property / cites work: Finite diagrams stable in power / rank @@
+Normal rank
@@ Property / cites work @@
+The number of non-isomorphic models of an unstable first-order theory
+Normal rank
@@ Property / cites work @@
+Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
+Normal rank
@@ Property / cites work @@
+Q4078013
@@ Property / cites work: Q4078013 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Quantifiers and Compact Logic
@@ Property / cites work: Generalized Quantifiers and Compact Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626665
@@ Property / cites work: Q5626665 / rank @@
+Normal rank

Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\) (Q1224580): Difference between revisions

Latest revision as of 17:24, 12 June 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)