ProV Logo
0

Models of PA: Standard Systems without M...
Shelah, Saharon...
Models of PA: Standard Systems without Minimal Ultrafilters by Shelah, Saharon ( Author )
N.A
31-07-2023
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).
-
Article
pdf
37.08 KB
English
-
MYR 0.01
-
http://arxiv.org/abs/0901.1499
Share this eBook