|
Parameter-free uniformisation
Author(s):
Sy-David
Friedman
Journal:
Proc. Amer. Math. Soc.
136
(2008),
3327-3330.
MSC (2000):
Primary 03E35, 03E45, 03E55
Posted:
April 29, 2008
MathSciNet review:
2407099
Retrieve article in:
PDF
Abstract |
References |
Similar articles |
Additional information
Abstract:
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  .
References:
-
- 1.
- Friedman, S. Fine structure and class forcing, de Gruyter, 2000. MR 1780138 (2001g:03001)
- 2.
- Friedman, S. and Welch, P.D., Two observations regarding infinite-time Turing machines, preprint.
- 3.
- Jensen, R. The fine structure of the constructible hierarchy, Annals of Mathematical Logic 4, pp. 229-308, 1972. MR 0309729 (46:8834)
- 4.
- Welch, P.D. Eventually infinite time Turing machine degrees: infinite time decidable reals, Journal of Symbolic Logic 65, no. 3, pp. 1193-1203, 2000. MR 1791371 (2002b:03093)
Similar Articles:
Retrieve articles in Proceedings of the American Mathematical
Society
with
MSC (2000):
03E35, 03E45, 03E55
Retrieve articles in all Journals with
MSC (2000):
03E35, 03E45, 03E55
Additional Information:
Sy-David
Friedman
Affiliation:
Kurt Gödel Research Center, Universität Wien, Währingerstrasse 25, A-1010 Wien, Austria
Email:
sdf@logic.univie.ac.at
DOI:
10.1090/S0002-9939-08-09275-7
PII:
S 0002-9939(08)09275-7
Keywords:
Descriptive set theory,
large cardinals,
innermodels.
Received by editor(s):
February 28, 2007,
Received by editor(s) in revised form:
July 17, 2007
Posted:
April 29, 2008
Additional Notes:
The author was supported by Grants P 16790-NO4 and P 19375-N18 of the Austrian Science Fund (FWF)
Communicated by:
Julia Knight
Copyright of article:
Copyright
2008,
American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.
|
