A normal form theorem for first order formulas and its application to Gaifman's splitting theorem

DOI10.2307/2274276MaRDI QIDQ3705447zbMATH OpenOpenAlexFDO

Authors Nobuyoshi Motohashi

Publication date 1984

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

Peano arithmetic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Nonstandard models of arithmetic (03H15)

Recommendations

• Preservation theorem and relativization theorem for cofinal extensions
• Remarks on Herbrand normal forms and Herbrand realizations
• Gaifman normal forms for counting extensions of first-order logic
• A Generalization of a Theorem of H. Friedman
• Transfinite induction within Peano arithmetic

Cites work

• DIOPHANTINE REPRESENTATION OF ENUMERABLE PREDICATES
• Proof theory

Cited in

(6)

• A normal form supplement to the Oettli-Prager theorem
• Conservative extensions of models of set theory and generalizations
• Preservation theorem and relativization theorem for cofinal extensions
• Splitting algorithm for nilpotent normal forms
• An Effective Conservation Result for Nonstandard Arithmetic
• An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree

This page was built for publication: A normal form theorem for first order formulas and its application to Gaifman's splitting theorem

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