scientific article; zbMATH DE number 2047495

zbMATH Open1033.03029MaRDI QIDQ4451652FDOQ4451652

Vadim G. Puzarenko

Publication date: 29 February 2004

Title of this publication is not available (Why is that?)

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

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)

Cited In (11)

• On nonelementarily equivalent pairs of fields
• A semilattice of numberings. II
• Definability in Rationals with Real Order in the Background
• Existence of saturated structures
• 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)
• Countably categorical theories
• Descriptive properties on admissible sets
• Numberings on admissible structures over equivalence relations
• A Computable Structure with Non-Standard Computability
• Positive numberings in admissible sets
• Definability in hereditarily finite manifolds

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)