Parameter-free uniformisation

被引：4

作者：

Friedman, Sy-David ^{[1
]}

机构：

[1] Univ Vienna, Kurt Godel Res Ctr, A-1010 Vienna, Austria

来源：

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY | 2008年 / 136卷 / 09期

关键词：

descriptive set theory; large cardinals; innermodels;

D O I：

10.1090/S0002-9939-08-09275-7

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

This article was motivated by two questions, one in the theory of infinite-time Turing machines and the other a fine-structural question posed by Wayne Richter. The answers to both turn on a question of parameter-free uniformisation, which I prove for all locally countable, limit initial segments of L.

引用

页码：3327 / 3330

页数：4