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

universal theoriescategoricity in powerkappa-unique 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.

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

• scientific article; zbMATH DE number 3496142 (Why is no real title available?)
• 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\)
• 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)

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

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)