scientific article; zbMATH DE number 2047495

MaRDI QIDQ4451652zbMATHFDO

Authors Vadim G. Puzarenko

Publication date 29 February 2004

zbMATH Keywords

admissible setfield of real numbersSigma-definabilitydefinable modelgeneralized numeration

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• Definability in hereditarily finite manifolds
• La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field)
• Computable model theory over the reals
• scientific article; zbMATH DE number 1396728
• Expansions of the real field by open sets: definability versus interpretability

Cited in

(16)

• On nonelementarily equivalent pairs of fields
• Descriptive properties on admissible sets
• Definability in hereditarily finite manifolds
• \(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\)
• Existence of saturated structures
• Definability in Rationals with Real Order in the Background
• Some presentations of the real number field
• On \(\emptyset\)-definable elements in a field
• Positive numberings in admissible sets
• Countably categorical theories
• A semilattice of numberings. II
• On some representations of the real number field
• La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field)
• A computable structure with non-standard computability
• Computable model theory over the reals
• Numberings on admissible structures over equivalence relations

This page was built for publication:

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