Possible Size of an Ultrapower of ! 1
Renling Jin, Saharon Shelah
Abstract
Renling Jin, Saharon Shelah
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.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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)