The following pages link to (Q5582321):
Displaying 9 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)
- Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) (Q2339958) (← 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)
- Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\) (Q2700809) (← links)
- (Q5043273) (← links)
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts (Q6096734) (← links)