On mutual definability of operations on fields

DOI10.1134/S0037446619060119MaRDI QIDQ2186309zbMATH OpenOpenAlexFDO

Authors R. M. Korotkova, Oleg Kudinov, Andrei S. Morozov

Publication date 9 June 2020

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0037446619060119

zbMATH Keywords

definabilityexponentiationfield

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Definable Operations on Sets and Elimination of Imaginaries
• The definability of fields
• Definable equivalence relations on algebraically closed fields
• scientific article; zbMATH DE number 4029564
• Bounds and definablity over fields.
• On \(\emptyset\)-definable elements in a field
• On definable completeness for ordered fields
• Definability in reducts of algebraically closed fields
• Definable operators on stable set lattices
• scientific article; zbMATH DE number 67690

Cites work

• \(\Sigma\)-presentations of the ordering on the reals
• A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
• Definability and decision problems in arithmetic
• HF-computability
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 890268 (Why is no real title available?)
• scientific article; zbMATH DE number 5049507 (Why is no real title available?)
• Nonpresentability of some structures of analysis in hereditarily finite superstructures
• Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
• On \(\Sigma\)-rigid presentations of the real order
• Some presentations of the real number field
• The Undecidability of Algebraic Rings and Fields
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions

Cited in

(2)

• Defining multiplication in some additive expansions of polynomial rings
• scientific article; zbMATH DE number 1059204 (Why is no real title available?)

This page was built for publication: On mutual definability of operations on fields

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