Computable Algebraic Structures and Nonstandard Arithmetic

DOI10.2307/1994769zbMath0176.27504OpenAlexW4231291071MaRDI QIDQ5566510

Eugene W. Madison

Publication date: 1968

Full work available at URL: https://doi.org/10.2307/1994769

zbMATH Keywords

algebraic logic, model theory

Related Items (2)

Computable Algebraic Structures and Nonstandard Arithmetic ⋮ Computable Fields and Arithmetically Definable Ordered Fields

Cites Work

• Introduction to model theory and to the metamathematics of algebra
• Effective procedures in field theory
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
• Computable Algebra, General Theory and Theory of Computable Fields
• Computable Algebraic Structures and Nonstandard Arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computable Algebraic Structures and Nonstandard Arithmetic