scientific article; zbMATH DE number 3939366

MaRDI QIDQ3712341zbMATH OpenFDO

Authors Maurizio Negri

Publication date 1985

zbMATH Keywords

finite axiomatizabilitymodel of Peano Arithmeticrecursive saturation

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 3895067
• A Note on a Theorem of H. FRIEDMAN
• A Generalization of a Theorem of H. Friedman
• Regularity in models of arithmetic
• scientific article; zbMATH DE number 4053609

Cited in

(6)

• scientific article; zbMATH DE number 5295707 (Why is no real title available?)
• scientific article; zbMATH DE number 3974957 (Why is no real title available?)
• scientific article; zbMATH DE number 4053609 (Why is no real title available?)
• scientific article; zbMATH DE number 1415871 (Why is no real title available?)
• The theory of integrally closed domains is not finitely axiomatizable
• Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them

This page was built for publication:

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