On mutual definability of operations on fields

DOI10.1134/S0037446619060119zbMATH Open1468.03044OpenAlexW3007839288MaRDI QIDQ2186309FDOQ2186309

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

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

zbMATH Keywords

definabilityfieldexponentiation

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• Defining multiplication in some additive expansions of polynomial rings

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)