The degree of decidable categoricity of a model with infinite solutions for complete formulas (Q2055308)
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: The degree of decidable categoricity of a model with infinite solutions for complete formulas |
scientific article; zbMATH DE number 7436580
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The degree of decidable categoricity of a model with infinite solutions for complete formulas |
scientific article; zbMATH DE number 7436580 |
Statements
The degree of decidable categoricity of a model with infinite solutions for complete formulas (English)
0 references
1 December 2021
0 references
computable model
0 references
decidable model
0 references
computable categoricity
0 references
autostability relative to strong constructivizations
0 references
degree of decidable categoricity
0 references
decidable categoricity spectrum
0 references
PA-degree
0 references
0.89788854
0 references
0.8945371
0 references
0.8870735
0 references
0.88563865
0 references
0.8843561
0 references
0.8810438
0 references
0.87998545
0 references
0.8793287
0 references
0.8774552
0 references
