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

DOI10.2178/JSL/1190150100zbMATH Open1027.03008OpenAlexW2028626203MaRDI QIDQ3149985FDOQ3149985

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

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

zbMATH Keywords

definabilityHilbert's tenth problemexistential definability

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The decision problem for exponential diophantine equations
• Title not available (Why is that?)

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)