2015arXiv (Cornell University)Open access

Complete $\mathcal{L}_{\omega_1,\omega}$-Sentences with Maximal Models in Multiple Cardinalities

John T. Baldwin, Ioannis Souldatos

Open full text 2 citations

Abstract

In [BKS15] examples of incomplete sentences are given with maximal models in more than one cardinality. The question was raised whether one can find similar examples of complete sentences. In this paper we give examples of complete $L_{\omega_1,\omega}$-sentences with maximal models in more than one cardinality. From (homogeneous) characterizability of $\kappa$ we construct sentences with maximal models in $\kappa$ and in one of $\kappa^+, \kappa^\omega, 2^\kappa$ and more. Indeed, consistently we find sentences with maximal models in uncountably many distinct cardinalities.

Open-access reader

About this research paper

What this paper is about

In [BKS15] examples of incomplete sentences are given with maximal models in more than one cardinality. The question was raised whether one can find similar examples of complete sentences. In this paper we give examples of complete $L_{\omega_1,\omega}$-sentences with maximal models in more than one cardinality. From (homogeneous) characterizability of $\kappa$ we construct sentences with maximal models in $\kappa$ and in one of $\kappa^+, \kappa^\omega, 2^\kappa$ and more. Indeed, consistently we find sentences with maximal models in uncountably many distinct cardinalities.

Why it matters

OpenAlex reports 2 citations for this work. Citation counts describe recorded attention and do not establish research quality.

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

In [BKS15] examples of incomplete sentences are given with maximal models in more than one cardinality. The question was raised whether one can find similar examples of complete sentences. In this paper we give examples of complete $L_{\omega_1,\omega}$-sentences with maximal models in more than one cardinality. From (homogeneous) characterizability of $\kappa$ we construct sentences with maximal models in $\kappa$ and in one of $\kappa^+, \kappa^\omega, 2^\kappa$ and more. Indeed, consistently we find sentences with maximal models in uncountably many distinct cardinalities.

Key concepts: Omega, Cardinality (data modeling), Combinatorics, Kappa, Mathematics, Homogeneous, Discrete mathematics, Physics

Related papers

Back to paper searchBrowse research topicsOriginal source
Complete $\mathcal{L}_{\omega_1,\omega}$-Sentences with Maximal Models in Multiple Cardinalities — Research Paper | ScholarLens