scientific article; zbMATH DE number 2047495
From MaRDI portal
Publication:4451652
zbMATH Open1033.03029MaRDI QIDQ4451652FDOQ4451652
Authors: 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
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 (16)
- On nonelementarily equivalent pairs of fields
- A semilattice of numberings. II
- On some representations of the real number field
- A computable structure with non-standard computability
- 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)
- Some presentations of the real number field
- Countably categorical theories
- Computable model theory over the reals
- Descriptive properties on admissible sets
- Numberings on admissible structures over equivalence relations
- \(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\)
- Positive numberings in admissible sets
- Definability in hereditarily finite manifolds
- On \(\emptyset\)-definable elements in a field
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)
