New answers tagged surreal-numbers
10
votes
Do the surreal numbers enjoy the transfer principle in ZFC?
A partial answer to the focused question: it's not provable in ZFC that there is an OD class $\mathbb{Z}^*$ such that $(\mathbb{R}, +, \cdot, \mathbb{Z}) \equiv (\mathrm{No}, +, \cdot, \mathbb{Z}^*).$ ...
16
votes
Do the surreal numbers enjoy the transfer principle in ZFC?
In $\mathsf{ZFC}$ if any two proper class models of the theory of an infinite set are isomorphic, then global choice holds. This is because $V$ and $\mathrm{Ord}$ are both models of this theory and an ...
9
votes
Are periodic functions such as sine and cosine defined on surreal numbers?
Since the surreal numbers form a saturated real-closed field, it follows that they serve as a (proper class) version of the hyperreal numbers, including the transfer principle. This means that ...
0
votes
In hyperreal field, can ln(ε) and ln(ω) be expressed as infinite sums?
I will propose an answer my question. Please let me know if I have spoken accurately.
Within the hyperreal field (that is, the most traditional hyperreal field as described by some of the original ...
8
votes
In hyperreal field, can ln(ε) and ln(ω) be expressed as infinite sums?
To help avoid any misunderstanding that may arise for readers of this question, let me say that when understood in the usual sense, there are no nontrivial convergent sequences or series at all in the ...
3
votes
In hyperreal field, can ln(ε) and ln(ω) be expressed as infinite sums?
For positive $\epsilon$, the expression $\ln \epsilon$ will be equal to its power series at $x=1$ (in the $\delta, N$ sense).
To help avoid any misunderstanding that may arise for readers of this ...
Top 50 recent answers are included
Related Tags
surreal-numbers × 99set-theory × 30
surreal-analysis × 19
lo.logic × 17
combinatorial-game-theory × 14
model-theory × 9
nonstandard-analysis × 9
ra.rings-and-algebras × 8
ordinal-numbers × 8
fields × 7
nt.number-theory × 5
ac.commutative-algebra × 5
ordered-fields × 5
reference-request × 4
hardy-fields × 4
gr.group-theory × 3
integration × 3
axiom-of-choice × 3
power-series × 3
ct.category-theory × 2
ca.classical-analysis-and-odes × 2
prime-numbers × 2
large-cardinals × 2
big-picture × 2
game-theory × 2