Skip to main content
added 148 characters in body
Source Link
Mikhail Katz
  • 16.6k
  • 2
  • 54
  • 127

Let FUF postulate the existence of a Free UltraFilter on $\mathbb{N}$ and ACC the axiom of countable choice. Is Consider the superstructure on $\mathbb{R}$ and its inclusion in the bounded ultrapower. Is there a reliable source proving that the transfer principle for this extension is provable in ZF+FUF+ACC?

Let FUF postulate the existence of a Free UltraFilter on $\mathbb{N}$ and ACC the axiom of countable choice. Is the transfer principle provable in ZF+FUF+ACC?

Let FUF postulate the existence of a Free UltraFilter on $\mathbb{N}$ and ACC the axiom of countable choice. Consider the superstructure on $\mathbb{R}$ and its inclusion in the bounded ultrapower. Is there a reliable source proving that the transfer principle for this extension is provable in ZF+FUF+ACC?

edited tags
Link
Asaf Karagila
  • 39.7k
  • 8
  • 134
  • 282
edited title
Link
Mikhail Katz
  • 16.6k
  • 2
  • 54
  • 127

Transfer in ZF+FUF+ACCwith minimal choice

edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 285
Loading
edited tags
Link
Mikhail Katz
  • 16.6k
  • 2
  • 54
  • 127
Loading
Source Link
Mikhail Katz
  • 16.6k
  • 2
  • 54
  • 127
Loading