1998Unpublished venueRequires access

Possible Size of an Ultrapower of ! 1

Renling Jin, Saharon Shelah

Open publisher page 0 citations

Abstract

Let ! be the flrst inflnite ordinal (or the set of all natural numbers) with the usual order <. In x1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of !, whose cardinality is (1) a singular strong limit cardinal, (2) a strongly inaccessible cardinal. This answers two questions in [1], modulo the assumption of supercompactness. In x2 we construct several ‚-Archimedean ultrapowers of ! under some large cardinal assumptions. For example, we show that, assuming the consistency of a measurable cardinal, there may exist a ‚-Archimedean ultrapower of ! for some uncountable cardinal ‚. This answers a question in [8], modulo the assumption of measurability.

About this research paper

What this paper is about

Let ! be the flrst inflnite ordinal (or the set of all natural numbers) with the usual order <. In x1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of !, whose cardinality is (1) a singular strong limit cardinal, (2) a strongly inaccessible cardinal. This answers two questions in [1], modulo the assumption of supercompactness. In x2 we construct several ‚-Archimedean ultrapowers of ! under some large cardinal assumptions. For example, we show that, assuming the consistency of a measurable cardinal, there may exist a ‚-Archimedean ultrapower of ! for some uncountable cardinal ‚. This answers a question in [8], modulo the assumption of measurability.

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

Let ! be the flrst inflnite ordinal (or the set of all natural numbers) with the usual order <. In x1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of !, whose cardinality is (1) a singular strong limit cardinal, (2) a strongly inaccessible cardinal. This answers two questions in [1], modulo the assumption of supercompactness. In x2 we construct several ‚-Archimedean ultrapowers of ! under some large cardinal assumptions. For example, we show that, assuming the consistency of a measurable cardinal, there may exist a ‚-Archimedean ultrapower of ! for some uncountable cardinal ‚. This answers a question in [8], modulo the assumption of measurability.

Key concepts: Ultraproduct, Cardinal number (linguistics), Cardinality (data modeling), Uncountable set, Mathematics, Regular cardinal, Modulo, Consistency (knowledge bases)

Related papers

Back to paper searchBrowse research topicsOriginal source
Possible Size of an Ultrapower of ! 1 — Research Paper | ScholarLens