Universal theories categorical in power and -generated models

DOI10.1016/0168-0072(94)90018-3MaRDI QIDQ1337355zbMATH OpenOpenAlexFDO

Authors Steven R. Givant, S. Shelah

Publication date 3 November 1994

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9401213

zbMATH Keywords

categoricity in powerkappa-unique theoriesuniversal theories

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Abstract: We investigate a notion called uniqueness in power kappa that is akin to categoricity in power kappa, but is based on the cardinality of the generating sets of models instead of on the cardinality of their universes. The notion is quite useful for formulating categoricity-like questions regarding powers below the cardinality of a theory. We prove, for (uncountable) universal theories T, that if T is kappa-unique for one uncountable kappa, then it is kappa-unique for every uncountable kappa ; in particular, it is categorical in powers greater than the cardinality of T.

Review text

One of the difficulties with the notion of categoricity in power is that it is defined in terms of the cardinality of the universes of models instead of the cardinality of the generating sets. Let us call a model strictly \(\kappa\)-generated if \(\kappa\) is the minimum of the cardinalities of generating sets of the model. A theory is called \(\kappa\)-unique if it has, up to isomorphism, exactly one strictly \(\kappa\)-generated model. The paper proves that for uncountable universal theories \(T\), if \(T\) is \(\kappa\)-unique for one uncountable \(\kappa\), then it is \(\kappa\)-unique for every uncountable \(\kappa\); in particular, it is categorical in powers greater than the cardinality of \(T\).

Recommendations

• Universal unoid theories unique in power
• The universality spectrum of stable unsuperstable theories
• Uncountable categoricity for gross models
• Uncountable theories that are categorical in a higher power
• Uncountable dense categoricity in cats

Cites work

• Categorial quasivarieties
• Classification theory and the number of non-isomorphic models
• Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
• scientific article; zbMATH DE number 3496142 (Why is no real title available?)
• Model theory
• On the number of strongly \(\aleph _{\epsilon}\)-saturated models of power \(\lambda\)
• On universal Horn classes categorical in some infinite power
• Uncountable theories that are categorical in a higher power
• Universal horn classes categorical or free in power

Cited in

(4)

• Universal unoid theories unique in power
• Theories categorical in power \(n+2\)
• Countably Categorical Structures with n-Degenerate Algebraic Closure
• Uncountable categoricity for gross models

This page was built for publication: Universal theories categorical in power and \(\kappa\)-generated models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337355)