No label defined (Q4517355)
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 1534570
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1534570 |
Statements
21 November 2000
0 references
admissible set
0 references
resolvent admissible set
0 references
constructive model
0 references
recursive model
0 references
0.7517176270484924
0 references
0.7468650937080383
0 references
A model \(M\) is called internally enumerable if there exists a \(\Sigma\)-function \(\nu\:\omega\to M\) over HF(\(M\)) which is onto. The author proves that a hereditarily finite admissible set HF(\(M\)) is resolvent if and only if the universe of \(M\) is resolvent in HF(\(M\)). As a corollary, he proves that if \(M\) is internally enumerable then HF(\(M\)) is resolvent and, in particular, so are the hereditarily finite superstructures over standard models of arithmetics and finitely generated algebras. The author also proves that there exists a non-internally enumerable model \(M\) for which HF(\(M\)) is resolvent.
0 references
