Zobrazeno 1 - 10
of 63
pro vyhledávání: '"Aleph number"'
Autor:
Markus Pantsar
Publikováno v:
Synthese. 192:2489-2511
In this paper I develop a philosophical account of actual mathematical infinity that does not demand ontologically or epistemologically problematic assumptions. The account is based on a simple metaphor in which we think of indefinitely continuing pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c3d1e5ac10ee44124bfefee51652a352
https://doi.org/10.1007/s11229-015-0775-4
https://doi.org/10.1007/s11229-015-0775-4
Autor:
R. N. Sen
Publikováno v:
Causality, Measurement Theory and the Differentiable Structure of Space-Time. :237-249
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bed5b5e291489f4eb1658872f0910332
https://doi.org/10.1017/cbo9780511674761.019
https://doi.org/10.1017/cbo9780511674761.019
Autor:
Joel David Hamkins, Russell Miller
Publikováno v:
Annals of Pure and Applied Logic. 160(3):302-309
We provide a positive solution for Post’s Problem for ordinal register machines, and also prove that these machines and ordinal Turing machines compute precisely the same partial functions on ordinals. To do so, we construct ordinal register machin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1056b0743fb530619ccd62f043d8d852
Autor:
Saharon Shelah
Publikováno v:
J. Symbolic Logic 74, iss. 2 (2009), 361-401
We prove Los conjecture = Morley theorem in ZF. with the same characterization, i.e., of first order countable theories categorical in ℵα for some (eqiuvalently for every ordinal) α > 0. Another central result here in this context is: the number
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7819b1380f7e2f74379e7452dc55a8f5
https://doi.org/10.2178/jsl/1243948319
https://doi.org/10.2178/jsl/1243948319
Autor:
Albin L. Jones
Publikováno v:
J. Symbolic Logic 73, iss. 3 (2008), 953-956
We provide a short proof that if κ is a regular cardinal with κ < c, thenfor any ordinal α < min{, κ}. In particular,for any ordinal α < . This generalizes an unpublished result of E. Szemerédi that Martin's axiom implies thatfor any cardinal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8cc1888644ebc94a2963e98e7f67a81e
https://doi.org/10.2178/jsl/1230396758
https://doi.org/10.2178/jsl/1230396758
Autor:
Saharon Shelah
Publikováno v:
Fundamenta Mathematicae. 198:95-111
We prove that, e.g., if mu >cf(mu)= aleph_0 and mu>2^{aleph_0} and every stationary family of countable subsets of mu^+ reflect in some subset of mu^+ of cardinality aleph_1, then the SCH for mu^+ (moreover, for mu^+, any scale for mu^+ has a bad sta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a546e7bc176929fcc32740c42686bc2
https://doi.org/10.4064/fm198-2-1
https://doi.org/10.4064/fm198-2-1
Autor:
Herbert Breger
Publikováno v:
Kontinuum, Analysis, Informales – Beiträge zur Mathematik und Philosophie von Leibniz ISBN: 9783662503980
Allow me to make a personal preliminary remark on how this article arose. Some time ago I got caught up in a dispute with a colleague, of whom I think very highly, that was conducted via e-mail and lasted two to three months. I believed that I was on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8673c46d2b1f883332a701ac9b2ee687
https://doi.org/10.1007/978-3-662-50399-7_16
https://doi.org/10.1007/978-3-662-50399-7_16
Autor:
Gunnar Wilken
Publikováno v:
Archive for Mathematical Logic. 45:807-829
The Bachmann-Howard structure, that is the segment of ordinal numbers below the proof theoretic ordinal of Kripke-Platek set theory with infinity, is fully characterized in terms of CARLSON’s approach to ordinal notation systems based on the notion
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21789d9843d239d393cd866d97ba26d3
https://doi.org/10.1007/s00153-006-0010-6
https://doi.org/10.1007/s00153-006-0010-6
Autor:
Kenneth Kunen
Publikováno v:
Fundamenta Mathematicae. 185:261-266
We consider the cardinal sequences of compact scattered spaces in models where CH is false. We describe a number of models where the continuum is aleph_2 in which no such space can have aleph_2 countable levels.
6 pages
6 pages
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::196764b38519f3f0c564904fd09d5957
https://doi.org/10.4064/fm185-3-4
https://doi.org/10.4064/fm185-3-4
Autor:
Michael Rathjen
Publikováno v:
Archive for Mathematical Logic. 44:263-362
This paper is the second in a series of three culminating in an ordinal analysis of Π12-comprehension. Its objective is to present an ordinal analysis for the subsystem of second order arithmetic with Δ12-comprehension, bar induction and Π12-compr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f65a41422c60408935beed3cfdbe9801
https://doi.org/10.1007/s00153-004-0232-4
https://doi.org/10.1007/s00153-004-0232-4