Existentially closed fields with holomorphy rings (Q1354320): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s001530050058 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2029767764 / rank | |||
Normal rank | |||
Latest revision as of 18:59, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Existentially closed fields with holomorphy rings |
scientific article |
Statements
Existentially closed fields with holomorphy rings (English)
0 references
5 November 1997
0 references
The paper studies the existence of a model companion for a theory of fields with a predicate for a subring. Precisely it is shown that the theory of fields together with an integrally closed subring, the theory of formally real fields with a real holomorphy ring and the theory of formally \(p\)-adic fields with a \(p\)-adic holomorphy have no model companions in the language of fields augmented by a unary predicate for the corresponding ring. Key facts are that any existentially closed model of each of these theories is not a field and a kind of local-global transfer principle for existentially closed models of these theories.
0 references
existence of a model companion
0 references
theory of fields with a predicate for a subring
0 references
integrally closed subring
0 references
formally real fields
0 references
real holomorphy ring
0 references
formally \(p\)-adic fields
0 references
\(p\)-adic holomorphy
0 references
existentially closed model
0 references
local-global transfer principle
0 references
