No label defined (Q4882531)
From MaRDI portal
scientific article; zbMATH DE number 890268
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 890268 |
Statements
18 June 1996
0 references
generalized computability
0 references
hereditary finite superstructure over a structure
0 references
\(\Sigma\)-definability
0 references
Gödel incompleteness theorem
0 references
computability on admissible sets
0 references
\(\Sigma\)-reflection
0 references
\(\Sigma\)-collection
0 references
\(\Delta\)-separation
0 references
KPU-model
0 references
recursively saturated systems
0 references
constructive algebraic systems
0 references
models definable in admissible sets
0 references
dynamic logic
0 references
computable numberings
0 references
f-spaces
0 references
