Definable incompleteness and Friedberg splittings (Q3149989)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Definable incompleteness and Friedberg splittings |
scientific article; zbMATH DE number 1808611
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Definable incompleteness and Friedberg splittings |
scientific article; zbMATH DE number 1808611 |
Statements
Definable incompleteness and Friedberg splittings (English)
0 references
29 May 2003
0 references
computably enumerable sets
0 references
orbits
0 references
automorphisms
0 references
splittings
0 references
Post problem
0 references
0 references
0 references
0.7967209219932556
0 references
0.7967209219932556
0 references
0.7633041739463806
0 references
0.7624025940895081
0 references
0.7613958716392517
0 references