scientific article; zbMATH DE number 3300584
From MaRDI portal
Publication:5582321
zbMath0188.32202MaRDI QIDQ5582321
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts ⋮ Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\) ⋮ Unnamed Item ⋮ Game sentences and ultrapowers ⋮ Constructive completions of ordered sets, groups and fields ⋮ Arithmetic of Dedekind cuts of ordered abelian groups ⋮ Rings of continuous functions with values in a non-archimedean ordered field ⋮ Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) ⋮ Models of Peano arithmetic and a question of Sikorski on ordered fields
This page was built for publication:
