No label defined (Q4249025)
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: scientific article; zbMATH DE number 1302495 |
scientific article; zbMATH DE number 1302495
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1302495 |
Statements
16 June 1999
0 references
fixed point
0 references
tree-closure
0 references
generalized Aczel games
0 references
game-theoretic generalization of inductive definability
0 references
well-orderings
0 references
infinitary logic
0 references
winning strategy
0 references
labelled trees
0 references
game-theoretic induction
0 references
0 references
0 references
0.75991935
0 references
0.7593788
0 references
0 references
0 references
0.7465315
0 references
