1994•arXiv (Cornell University)Open access

Universal theories categorical in power and kappa-generated models

Steven R. Givant, Saharon Shelah

Open full text 0 citations

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.

Open-access reader

About this research paper

What this paper is about

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.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available 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.

Key concepts: Categorical variable, Kappa, Power (physics), Mathematics, Statistics, Physics, Thermodynamics, Geometry

Related papers

Back to paper searchBrowse research topicsOriginal source
Universal theories categorical in power and kappa-generated models — Research Paper | ScholarLens