An isomorphism between monoids of external embeddings: About definability in arithmetic

DOI10.2178/jsl/1190150100zbMath1027.03008MaRDI QIDQ3149985

Mihai Prunescu

Publication date: 4 December 2002

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.666.3471

zbMATH Keywords

definability; Hilbert's tenth problem; existential definability

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03B25: Decidability of theories and sets of sentences

03F30: First-order arithmetic and fragments

03H15: Nonstandard models of arithmetic

03C40: Interpolation, preservation, definability

11U09: Model theory (number-theoretic aspects)