Nonconstructivizability of certain ordered fields of real numbers

DOI10.1007/BF00969332zbMath0647.03038MaRDI QIDQ1104316

N. G. Khisamiev

Publication date: 1987

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

ordered field of real numbersconstructivizable fieldfield of primitive recursive reals

Mathematics Subject Classification ID

Connections between field theory and logic (12L99) Theory of numerations, effectively presented structures (03D45) Ordered fields (12J15)

Related Items (1)

Primitive recursive ordered fields and some applications

Cites Work

• Unnamed Item
• Computable Fields and Arithmetically Definable Ordered Fields
• Nicht konstruktiv beweisbare Sätze der Analysis

This page was built for publication: Nonconstructivizability of certain ordered fields of real numbers