\(\Pi_1^0\)-positive inductive definability on abstract structures (Q3365539)
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 5000316
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | \(\Pi_1^0\)-positive inductive definability on abstract structures |
scientific article; zbMATH DE number 5000316 |
Statements
23 January 2006
0 references
inductive definability
0 references
nondeterministic computability
0 references
points of \(\forall\)-definedness
0 references
prime computability
0 references
0.7966228127479553
0 references
0.7872873544692993
0 references
0.7787984013557434
0 references
0.7561979293823242
0 references
0.7391445636749268
0 references
