Flatness and Nonforking without the Continuum Hypothesis
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911133488644096 |
|---|---|
| author | Majozi, Philani Rodney |
| author_facet | Majozi, Philani Rodney |
| contents | We investigate the structure of FN bases (Frechet-Nikodym bases) without assuming the Continuum Hypothesis (CH), refining results of Siu-Ah Ng concerning definability via flatness and nonforking. In particular, we examine the dependence of Theorem 3.4 and Corollary 3.5 of Ng's 1991 paper on CH, which guarantees the existence of nonforking primary heirs under specific ultrafilter conditions. We demonstrate that these properties can often be recovered in ZFC by analyzing the behavior of countably incomplete, good, and regular ultrafilters. By isolating model-theoretic conditions sufficient to replace CH, we establish that ultrapowers of flat FN bases satisfying Property B remain definable and nonforking. Connections are drawn to canonical bases, coheirs, and stability-theoretic ranks in superstable theories. Examples and counterexamples clarify the precise role of ultrafilter properties and reveal that the combinatorial essence of Ng's theory can be preserved within a purely ZFC framework. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_01785 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Flatness and Nonforking without the Continuum Hypothesis Majozi, Philani Rodney Logic 03C45, 03C55, 03E35 We investigate the structure of FN bases (Frechet-Nikodym bases) without assuming the Continuum Hypothesis (CH), refining results of Siu-Ah Ng concerning definability via flatness and nonforking. In particular, we examine the dependence of Theorem 3.4 and Corollary 3.5 of Ng's 1991 paper on CH, which guarantees the existence of nonforking primary heirs under specific ultrafilter conditions. We demonstrate that these properties can often be recovered in ZFC by analyzing the behavior of countably incomplete, good, and regular ultrafilters. By isolating model-theoretic conditions sufficient to replace CH, we establish that ultrapowers of flat FN bases satisfying Property B remain definable and nonforking. Connections are drawn to canonical bases, coheirs, and stability-theoretic ranks in superstable theories. Examples and counterexamples clarify the precise role of ultrafilter properties and reveal that the combinatorial essence of Ng's theory can be preserved within a purely ZFC framework. |
| title | Flatness and Nonforking without the Continuum Hypothesis |
| topic | Logic 03C45, 03C55, 03E35 |
| url | https://arxiv.org/abs/2509.01785 |