The following pages link to (Q5582321):
Displayed 5 items.
- Arithmetic of Dedekind cuts of ordered abelian groups (Q998307) (← links)
- Models of Peano arithmetic and a question of Sikorski on ordered fields (Q1065791) (← links)
- Game sentences and ultrapowers (Q1210353) (← links)
- Constructive completions of ordered sets, groups and fields (Q2488274) (← links)
- Rings of continuous functions with values in a non-archimedean ordered field (Q2553034) (← links)