This article is cited in 8 papers

The uniformization problem for $\Sigma$-predicates in a hereditarily finite list superstructure over the real exponential field

S. A. Aleksandrova

Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090, Russia

Abstract: We prove a uniformization theorem for $\Sigma$-predicates and show that there exists a universal function for $\Sigma$-definable functions in a hereditarily finite list superstructure over the real exponential field.

Keywords: $\Sigma$-definability, uniformization theorem, hereditarily finite list superstructure.

UDC: 510.5

Received: 13.12.2012
Revised: 09.09.2013

 English version: Algebra and Logic, 2014, 53:1, 1–8

Bibliographic databases:

• 
• 
•