Games played on an illfounded membership relation

被引:0
|
作者
Forster, T
机构
关键词
D O I
暂无
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
The epsilon-game as an attempt to salvage something from failure of foundation. Solitaire version gives rise to concept of wellfounded set and rank, binaire version gives us pseudofoundation and pseudorank. These both give rise to games defining a binary relation of relative rank (resp. pseudorank). Greatest and least fixed points. Natural constructions of models of epsilon-determinacy. A paradox of inductively defined sets.
引用
收藏
页码:107 / 119
页数:13
相关论文
共 50 条