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

DOI10.2178/JSL/1190150100MaRDI QIDQ3149985zbMATH OpenOpenAlexFDO

Authors 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

definabilityexistential definabilityHilbert's tenth problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40) Model-theoretic algebra (03C60) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Model theory (number-theoretic aspects) (11U09)

Recommendations

• From monoids to hyperstructures: in search of an absolute arithmetic
• Arithmetical theory of monoid homomorphisms
• Isomorphisms and definable relations on rings and lattices
• A characterization of arithmetical invariants by the monoid of relations.
• The finiteness problem for monoids of morphisms.
• ON MONOIDS OF ISOTONE MAPPINGS
• On the arithmetic of monoids of ideals
• scientific article; zbMATH DE number 3925126
• A Švarc-Milnor lemma for monoids acting by isometric embeddings.
• Arities and aritizabilities of group, monoid and groupoid theories

Cites work

• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• The decision problem for exponential diophantine equations

Cited in

(1)

• Definable sets up to definable bijections in Presburger groups

This page was built for publication: An isomorphism between monoids of external embeddings: About definability in arithmetic

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