An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas (Q2709313)
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: An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas |
scientific article |
Statements
24 July 2001
0 references
autostability
0 references
computable Scott family
0 references
1-decidable model
0 references
unar
0 references
An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas (English)
0 references
