Partially generic formulas in arithmetic

DOI10.1305/NDJFL/1093637867zbMath0649.03044OpenAlexW2028151062MaRDI QIDQ1105594

No author found.

Publication date: 1988

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093637867

zbMATH Keywords

interpretabilityPeano Arithmeticpartially conservative sentences

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Related Items (1)

On partial disjunction properties of theories containing Peano arithmetic

This page was built for publication: Partially generic formulas in arithmetic