Uniformization in superstructures over some extensions of \(\mathbb{R}\)

DOI10.1007/s10469-015-9347-4zbMath1371.03045OpenAlexW2341089172MaRDI QIDQ904315

S. A. Aleksandrova

Publication date: 13 January 2016

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-015-9347-4

zbMATH Keywords

uniformization theoremhereditarily finite list superstructure over real exponential field

Mathematics Subject Classification ID

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

Cites Work

• The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Complexity of cylindrical decompositions of sub-Pfaffian
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Uniformization in superstructures over some extensions of \(\mathbb{R}\)