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

DOI10.2307/2274276zbMath0582.03041OpenAlexW2006573540MaRDI QIDQ3705447

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)

Related Items (1)

Preservation theorem and relativization theorem for cofinal extensions

Cites Work

• DIOPHANTINE REPRESENTATION OF ENUMERABLE PREDICATES
• Proof theory

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