Models of PA: Standard Systems without Minimal Ultrafilters
Abstract
We prove that bold N, the standard model of arithmetic, has an uncountable elementary extension N such that there is no ultrafilter on the Boolean Algebra of subsets of bold N represented in N which is minimal (i.e. as in Rudin-Keisler order for partitions represented in N).
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2009
- DOI:
- 10.48550/arXiv.0901.1499
- arXiv:
- arXiv:0901.1499
- Bibcode:
- 2009arXiv0901.1499S
- Keywords:
-
- Mathematics - Logic;
- Primary: 03C62;
- Secondary: 03C50;
- 03C55;
- 03E40