Constructivizable and non-constructivizable formal arithmetic structures

DOI10.1070/RM1985V040N06ABEH003720MaRDI QIDQ4722049zbMATH OpenFDO

Authors A. A. Tverskoj

Publication date 1986

Published in Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/RM1985V040N06ABEH003720

zbMATH Keywords

arithmetical structuresconstructivizable models

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 3941526
• NONCONSTRUCTIVIZABLE FORMAL ARITHMETIC STRUCTURES
• scientific article; zbMATH DE number 4053609
• Constructibility in higher order arithmetics
• scientific article; zbMATH DE number 2047487
• scientific article; zbMATH DE number 738893
• Structure and definability in general bounded arithmetic theories
• Arithmetical definability over finite structures
• scientific article; zbMATH DE number 3304058
• scientific article; zbMATH DE number 5267925

Cited in

(5)

• Constructive arithmetics in Ore localizations enjoying enough commutativity
• Constructive arithmetics in Ore localizations of domains
• On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations
• scientific article; zbMATH DE number 4053609 (Why is no real title available?)
• Adding standardness to nonstandard arithmetic

This page was built for publication: Constructivizable and non-constructivizable formal arithmetic structures

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