Universal theories categorical in power and -generated models

DOI10.1016/0168-0072(94)90018-3zbMATH Open0813.03019arXivmath/9401213OpenAlexW2015858005MaRDI QIDQ1337355FDOQ1337355

Authors: Steven R. Givant, S. Shelah 

Publication date: 3 November 1994

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

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.

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

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

zbMATH Keywords

universal theoriescategoricity in powerkappa-unique theories

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Cites Work

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

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)