The uniformization property in hereditary finite superstructures (Q1288095)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1285623
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The uniformization property in hereditary finite superstructures |
scientific article; zbMATH DE number 1285623 |
Statements
The uniformization property in hereditary finite superstructures (English)
0 references
10 May 1999
0 references
A theory is called regular provided it is model-complete and decidable. The author proves that, for an arbitrary model \(M\) of a regular theory, a superstructure HF\((M)\), which is the admissible set of all hereditarily finite sets over \(M\), possesses the uniformization property if and only if \(M\) is a model with \(\Sigma\)-definable Skolem functions. As a corollary, he derives that this property is satisfied for hereditarily finite superstructures over the fields of reals and \(p\)-adic numbers.
0 references
admissible set
0 references
uniformization
0 references
Skolem function
0 references
regular theory
0 references
hereditarily finite sets
0 references
hereditarily finite superstructures over fields
0 references
0.88536465
0 references
0.87920773
0 references
0.8741205
0 references
0.86634034
0 references
0.8646821
0 references
0.85985094
0 references
0.8583657
0 references
0.8569757
0 references
