Separately Nash and arc‐Nash functions over real closed fields

2020 ◽  
Author(s):  
Wojciech Kucharz ◽  
Krzysztof Kurdyka ◽  
Ali El‐Siblani
Keyword(s):  
Real Closed Fields ◽  
Closed Fields

Metrizability of Spaces of ℝ-places of Function Fields of Transcendence Degree 1 Over Real Closed Fields

2011 ◽  
Vol 39 (9) ◽  
pp. 3166-3177 ◽  
Author(s):  
Franz-Viktor Kuhlmann ◽  
Michał Machura ◽  
Katarzyna Osiak
Keyword(s):  
Function Fields ◽  
Transcendence Degree ◽  
Real Closed Fields ◽  
Closed Fields

On Groups and Rings Definable In O-Minimal Expansions of Real Closed Fields

1996 ◽  
Vol 28 (1) ◽  
pp. 7-14 ◽  
Author(s):  
Margarita Otero ◽  
Ya'acov Peterzil ◽  
Anand Pillay
Keyword(s):  
Real Closed Fields ◽  
Closed Fields

scholarly journals A question of van den Dries and a theorem of Lipshitz and Robinson; Not everything is standard

2007 ◽  
Vol 72 (1) ◽  
pp. 119-122 ◽  
Author(s):  
Ehud Hrushovski ◽  
Ya'acov Peterzil
Keyword(s):  
Real Numbers ◽  
The Real ◽  
First Order ◽  
Real Closed Fields ◽  
Minimal Structure ◽  
Closed Fields ◽  
New Construction ◽  
The Relationship

AbstractWe use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers.

Omitting types in -minimal theories

1986 ◽  
Vol 51 (1) ◽  
pp. 63-74 ◽  
Author(s):  
David Marker
Keyword(s):  
Finite Union ◽  
Structure Theory ◽  
Real Closed Fields ◽  
Minimal Theory ◽  
Order Language ◽  
Closed Fields ◽  
Hanf Number ◽  
Definable Sets ◽  
Omitting Types ◽  
Binary Relation Symbol

Let L be a first order language containing a binary relation symbol <.Definition. Suppose ℳ is an L-structure and < is a total ordering of the domain of ℳ. ℳ is ordered minimal (-minimal) if and only if any parametrically definable X ⊆ ℳ can be represented as a finite union of points and intervals with endpoints in ℳ.In any ordered structure every finite union of points and intervals is definable. Thus the -minimal structures are the ones with no unnecessary definable sets. If T is a complete L-theory we say that T is strongly (-minimal if and only if every model of T is -minimal.The theory of real closed fields is the canonical example of a strongly -minimal theory. Strongly -minimal theories were introduced (in a less general guise which we discuss in §6) by van den Dries in [1]. Extending van den Dries' work, Pillay and Steinhorn (see [3], [4] and [2]) developed an extensive structure theory for definable sets in strongly -minimal theories, generalizing the results for real closed fields. They also established several striking analogies between strongly -minimal theories and ω-stable theories (most notably the existence and uniqueness of prime models). In this paper we will examine the construction of models of strongly -minimal theories emphasizing the problems involved in realizing and omitting types. Among other things we will prove that the Hanf number for omitting types for a strongly -minimal theory T is at most (2∣T∣)+, and characterize the strongly -minimal theories with models order isomorphic to (R, <).

scholarly journals Imaginaries in bounded pseudo real closed fields

2017 ◽  
Vol 168 (10) ◽  
pp. 1866-1877
Author(s):  
Samaria Montenegro
Keyword(s):  
Real Closed Fields ◽  
Closed Fields

scholarly journals Involutions on finite-dimensional algebras over real closed fields

2004 ◽  
Vol 77 (1) ◽  
pp. 123-128 ◽  
Author(s):  
W. D. Munn
Keyword(s):  
Characteristic Zero ◽  
Real Closed Field ◽  
Closed Field ◽  
Finite Dimensional Algebra ◽  
Dimensional Algebra ◽  
Algebraically Closed Field ◽  
Real Closed Fields ◽  
Finite Dimensional ◽  
Closed Fields ◽  
Finite Dimensional Algebras

AbstractIt is shown that the following conditions on a finite-dimensional algebra A over a real closed field or an algebraically closed field of characteristic zero are equivalent: (i) A admits a special involution, in the sense of Easdown and Munn, (ii) A admits a proper involution, (iii) A is semisimple.

Sign in / Sign up

Export Citation Format

Share Document