Results 1  10
of
12
Simple cardinal characteristics of the continuum, in: Set theory of the reals
 Israel Math. Conf. Proc. 6, BarIlan Univ., Ramat
, 1993
"... Abstract. We classify many cardinal characteristics of the continuum according to the complexity, in the sense of descriptive set theory, of their definitions. The simplest characteristics (Σ0 2 and, under suitable restrictions, Π0 2) are shown to have pleasant properties, related to Baire category. ..."
Abstract

Cited by 14 (1 self)
 Add to MetaCart
Abstract. We classify many cardinal characteristics of the continuum according to the complexity, in the sense of descriptive set theory, of their definitions. The simplest characteristics (Σ0 2 and, under suitable restrictions, Π0 2) are shown to have pleasant properties, related to Baire category. We construct models of set theory where (unrestricted) Π0 2characteristics behave quite chaotically and no new characteristics appear at higher complexity levels. We also discuss some characteristics associated with partition theorems and we present, in an appendix, a simplified proof of Shelah’s theorem that the dominating number is less than or equal to the independence number. 1.
The Baire category theorem in weak subsystems of secondorder arithmetic
 THE JOURNAL OF SYMBOLIC LOGIC
, 1993
"... ..."
(Show Context)
RANDOM REALS, THE RAINBOW RAMSEY THEOREM, AND ARITHMETIC CONSERVATION
, 2012
"... We investigate the question “To what extent can random reals be used as a tool to establish number theoretic facts? ” Let 2RAN be the principle that for every real X there is a real R which is 2random relative to X. In Section 2, we observe that the arguments of Csima and Mileti [3] can be impleme ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We investigate the question “To what extent can random reals be used as a tool to establish number theoretic facts? ” Let 2RAN be the principle that for every real X there is a real R which is 2random relative to X. In Section 2, we observe that the arguments of Csima and Mileti [3] can be implemented in the base theory RCA0 and so RCA0 + 2RAN implies the Rainbow Ramsey Theorem. In Section 3, we show that the Rainbow Ramsey Theorem is not conservative over RCA0 for arithmetic sentences. Thus, from the CsimaMileti fact that the existence of random reals has infinitarycombinatorial consequences we can conclude that 2RAN has nontrivial arithmetic consequences. In Section 4, we show that 2RAN is conservative over RCA0 + BΣ2 for Π1 1sentences. Thus, the set of firstorder consequences of 2RAN is strictly stronger than P − + I Σ1 and no stronger than P − + BΣ2.
The automorphism group of an arithmetically saturated model of Peano arithmetic
 J. London Math. Soc
, 1995
"... One of the main goals in the study of the automorphism group Aut {Jt) of a countable, recursively saturated model Jt of Peano Arithmetic is to determine to what extent (the isomorphism type of) Jt is recoverable from (the isomorphism type of) Aut(^). A countable, recursively saturated model Jt of PA ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
(Show Context)
One of the main goals in the study of the automorphism group Aut {Jt) of a countable, recursively saturated model Jt of Peano Arithmetic is to determine to what extent (the isomorphism type of) Jt is recoverable from (the isomorphism type of) Aut(^). A countable, recursively saturated model Jt of PA is characterized up to isomorphism by two invariants: its firstorder theory Th(^) and its standard system SSy {Jt). At present, there seems to be no indication of how to recover any information about Th {Jt) from Aut {Jt) with the exception of whether or not Th {Jt) is True Arithmetic. We define the notion of arithmetically saturated in Definition 1.7; however, a model Jt of PA is arithmetically saturated if and only if it is recursively saturated and the standard cut is a strong cut. The following is our main theorem. THEOREM. Suppose that Jtx and Jt2 are countable, arithmetically saturated models of PA such that Aut(^) s Aut {Jt2). Then SSy {Jtx) = SSy {Jt2). In the Theorem, it suffices to assume that Jt2 is just recursively saturated. For, as shown by Lascar [8], if Jtx and Jt2 are countable, recursively saturated models of PA
On ordertypes of models of arithmetic and a connection with arithmetic saturation
 Lobachevskii Journal of Mathematics
, 2004
"... ..."
(Show Context)
Phase
"... transition thresholds for some natural subclasses of the computable functions ..."
Abstract
 Add to MetaCart
(Show Context)
transition thresholds for some natural subclasses of the computable functions