No label defined (Q3068266)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
13 January 2011
0 references
computability
0 references
computable model
0 references
hyperarithmetical model
0 references
recursive automorphism
0 references
admissible set
0 references
recursive model
0 references
constructive model
0 references
Scott rank
0 references
quantifier rank
0 references
automorphic tuples
0 references
