Categoricity for abstract classes with amalgamation (Q1302296): Difference between revisions

For an abstract elementary class \(K\) the author investigates the collection of cardinals in which that class is categorical. He shows, in particular, that if the class has amalgamation then, for some suitable Hanf number \(\chi_0\), if \(\chi_0< \lambda_0\leq\lambda_1\) and if \(K\) is categorical in \(\lambda_1\) then \(K\) is categorical in \(\lambda_0\).

0 references

zbMATH Keywords

categoricity

0 references

classification theory

0 references

abstract elementary class

0 references

amalgamation

0 references

Hanf number

0 references

reviewed by

M. Y. Prest

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Model theory.

0 references

A non structure theorem for an infinitary theory which has the unsuperstability property

0 references

Q3852172

0 references

Q4344958

0 references

Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal

0 references

Finite diagrams stable in power

0 references

Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)

0 references

Classification theory and the number of non-isomorphic models

0 references

Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)

0 references

Q3781082

0 references

Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)

0 references

Q3778001

0 references

Special subsets of \(^{\text{cf}(\mu)}\mu\), Boolean algebras and Maharam measure algebras

0 references

Categoricity of an abstract elementary class in two successive cardinals

0 references

Toward categoricity for classes with no maximal models

0 references

Identifiers

zbMATH Open document ID

0945.03049

0 references

DOI

10.1016/S0168-0072(98)00016-5

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1302296

@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+A non structure theorem for an infinitary theory which has the unsuperstability property
+Normal rank
@@ Property / cites work @@
+Q3852172
@@ Property / cites work: Q3852172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344958
@@ Property / cites work: Q4344958 / rank @@
+Normal rank
@@ Property / cites work @@
+Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
+Normal rank
@@ Property / cites work @@
+Finite diagrams stable in power
@@ Property / cites work: Finite diagrams stable in power / rank @@
+Normal rank
@@ Property / cites work @@
+Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
+Normal rank
@@ Property / cites work @@
+Classification theory and the number of non-isomorphic models
+Normal rank
@@ Property / cites work @@
+Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
+Normal rank
@@ Property / cites work @@
+Q3781082
@@ Property / cites work: Q3781082 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
+Normal rank
@@ Property / cites work @@
+Q3778001
@@ Property / cites work: Q3778001 / rank @@
+Normal rank
@@ Property / cites work @@
+Special subsets of \(^{\text{cf}(\mu)}\mu\), Boolean algebras and Maharam measure algebras
+Normal rank
@@ Property / cites work @@
+Categoricity of an abstract elementary class in two successive cardinals
+Normal rank
@@ Property / cites work @@
+Toward categoricity for classes with no maximal models
+Normal rank