Limit computable integer parts

DOI10.1007/s00153-011-0241-zzbMath1247.03060OpenAlexW1970893988MaRDI QIDQ647341

Paola D'Aquino, Karen Lange, Julia F. Knight

Publication date: 23 November 2011

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-011-0241-z

zbMATH Keywords

real closed fieldcomputable structureinteger part\(Z\)-ring

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Related Items (1)

Erratum to: ``Limit computable integer parts

Cites Work

• Unnamed Item
• Unnamed Item
• Computable structures and the hyperarithmetical hierarchy
• Ordered exponential fields
• A recursive nonstandard model of normal open induction
• Every real closed field has an integer part
• Some weak fragments of HA and certain closure properties
• Real closed fields and models of Peano arithmetic

This page was built for publication: Limit computable integer parts