Computable Algebraic Structures and Nonstandard Arithmetic

DOI10.2307/1994769MaRDI QIDQ5566510zbMATH OpenOpenAlexFDO

Authors Eugene W. Madison

Publication date 1968

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

zbMATH Keywords

algebraic logic, model theory

Cites work

• Computable Algebra, General Theory and Theory of Computable Fields
• Computable Algebraic Structures and Nonstandard Arithmetic
• Effective procedures in field theory
• scientific article; zbMATH DE number 3148408 (Why is no real title available?)
• scientific article; zbMATH DE number 3198885 (Why is no real title available?)
• scientific article; zbMATH DE number 3050844 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Introduction to mathematical logic
• Introduction to model theory and to the metamathematics of algebra
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5566510)