Parameter-free uniformisation

被引:4
|
作者
Friedman, Sy-David [1 ]
机构
[1] Univ Vienna, Kurt Godel Res Ctr, A-1010 Vienna, Austria
关键词
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
相关论文
共 50 条
  • [1] Making SGD Parameter-Free
    Carmon, Yair
    Hinder, Oliver
    CONFERENCE ON LEARNING THEORY, VOL 178, 2022, 178
  • [2] Approaching a parameter-free metadynamics
    Dickson, Bradley M.
    PHYSICAL REVIEW E, 2011, 84 (03):
  • [3] PARAMETER-FREE UNIVERSAL INDUCTION
    KAYE, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 443 - 456
  • [4] PARAMETER-FREE CLUSTERING MODEL
    GITMAN, I
    PATTERN RECOGNITION, 1972, 4 (03) : 307 - &
  • [5] Parameter-free exchange functional
    Tsuneda, T
    Hirao, K
    PHYSICAL REVIEW B, 2000, 62 (23) : 15527 - 15531
  • [6] Parameter-free polymorphic types
    Aehlig, Klaus
    ANNALS OF PURE AND APPLIED LOGIC, 2008, 156 (01) : 3 - 12
  • [7] Parameter-free Mirror Descent
    Jacobsen, Andrew
    Cutkosky, Ashok
    CONFERENCE ON LEARNING THEORY, VOL 178, 2022, 178
  • [8] Parameter-free rendering of single-molecule localization microscopy data for parameter-free resolution estimation
    Descloux, Adrien C.
    Grussmayer, Kristin S.
    Radenovic, Aleksandra
    COMMUNICATIONS BIOLOGY, 2021, 4 (01)
  • [9] Parameter-free rendering of single-molecule localization microscopy data for parameter-free resolution estimation
    Adrien C. Descloux
    Kristin S. Grußmayer
    Aleksandra Radenovic
    Communications Biology, 4
  • [10] Parameter-free Hierarchical Image Segmentation
    Abdullah, S. M.
    Tischer, Peter
    Wijewickrema, Sudanthi
    Paplinski, Andrew
    2017 IEEE VISUAL COMMUNICATIONS AND IMAGE PROCESSING (VCIP), 2017,