The fine structure of real mice

1998 ◽  
Vol 63 (3) ◽  
pp. 937-994 ◽  
Author(s):  
Daniel W. Cunningham

AbstractBefore one can construct scales of minimal complexity in the Real Core Model, K(ℝ), one needs to develop the fine-structure theory of K (ℝ). In this paper, the fine structure theory of mice, first introduced by Dodd and Jensen, is generalized to that of real mice. A relative criterion for mouse iterability is presented together with two theorems concerning the definability of this criterion. The proof of the first theorem requires only fine structure; whereas, the second theorem applies to real mice satisfying AD and follows from a general definability result obtained by abstracting work of John Steel on L(ℝ). In conclusion, we discuss several consequences of the work presented in this paper relevant to two issues: the complexity of scales in K(ℝ)and the strength of the theory ZF + AD + ┐DCℝ.

1999 ◽  
Vol 64 (4) ◽  
pp. 1601-1627 ◽  
Author(s):  
Kai Hauser

AbstractFor a canonical model of set theory whose projective theory of the real numbers is stable under set forcing extensions, a set of reals of minimal complexity is constructed which fails to be universally Baire. The construction uses a general method for generating non-universally Baire sets via the Levy collapse of a cardinal, as well as core model techniques. Along the way it is shown (extending previous results of Steel) how sufficiently iterable fine structure models recognize themselves as global core models.


2002 ◽  
Vol 67 (3) ◽  
pp. 1197-1226 ◽  
Author(s):  
J. R. Steel

In this paper, we shall prove two theorems involving the construction of core models with infinitely many Woodin cardinals. We assume familiarity with [12], which develops core model theory the one Woodin level, and with [10] and [6], which extend the fine structure theory of [5] to mice having many Woodin cardinals. The most important new problem of a general nature which we must face here concerns the iterability of Kc with respect to uncountable iteration trees.Our first result is the following theorem, a slightly stronger version of which was proved independently and earlier by Woodin. The theorem settles positively a conjecture of Feng, Magidor, and Woodin [2].Theorem. Let Ω be measurable. Then the following are equivalent:(a) for all posets,(b) for every poset,(c) for every poset ℙ ∈ VΩ, Vℙ ⊨ there is no uncountable sequence of distinct reals in L(ℝ)(d) there is an Ω-iterable premouse of height Ω which satisfies “there are infinitely many Woodin cardinals”.It is an immediate corollary that if every set of reals in L(ℝ) is weakly homogeneous, then ADL(ℝ) holds. We shall also indicate some extensions of the theorem to pointclasses beyond L(ℝ), and mice with more than ω Woodin cardinals.


2017 ◽  
pp. 225-302
Author(s):  
Keith J. Devlin

One of the earliest successes of classical quantum dynamics in a field where ordinary methods had proved inadequate was the solution, by Schwarzschild and Epstein, of the problem of the hydrogen atom in an electric field. It was shown by them that under the influence of the electric field each of the energy levels in which the unperturbed atom can exist on Bohr’s original theory breaks up into a number of equidistant levels whose separation is proportional to the strength of the field. Consequently, each of the Balmer lines splits into a number of components with separations which are integral multiples of the smallest separation. The substitution of the dynamics of special relativity for classical dynamics in the problem of the unperturbed hydrogen atom led Sommerfeld to his well-known theory of the fine-structure of the levels; thus, in the absence of external fields, the state n = 1 ( n = 2 in the old notation) is found to consist of two levels very close together, and n = 2 of three, so that the line H α of the Balmer series, which arises from a transition between these states, has six fine-structure components, of which three, however, are found to have zero intensity. The theory of the Stark effect given by Schwarzschild and Epstein is adequate provided that the electric separation is so much larger than the fine-structure separation of the unperturbed levels that the latter may be regarded as single; but in weak fields, when this is no longer so, a supplementary investigation becomes necessary. This was carried out by Kramers, who showed, on the basis of Sommerfeld’s original fine-structure theory, that the first effect of a weak electric field is to split each fine-structure level into several, the separation being in all cases proportional to the square of the field so long as this is small. When the field is so large that the fine-structure is negligible in comparison with the electric separation, the latter becomes proportional to the first power of the field, in agreement with Schwarzschild and Epstein. The behaviour of a line arising from a transition between two quantum states will be similar; each of the fine-structure components will first be split into several, with a separation proportional to the square of the field; as the field increases the separations increase, and the components begin to perturb each other in a way which leads ultimately to the ordinary Stark effect.


2007 ◽  
Vol 22 (2) ◽  
pp. 122-125 ◽  
Author(s):  
T. N. Blanton ◽  
D. R. Whitcomb ◽  
S. T. Misture

Silver K edge extended X-ray absorption fine structure (EXAFS) spectroscopy of films containing silver behenate (AgBeh) in the unprocessed, fully processed, and step-processed states has been performed. The results of the EXAFS analysis indicate that the intensity for the real-space peak for the Ag-O distance (∼2.3 Å) decreases while the real-space peak for the Ag-Ag distance (∼2.9 Å) grows with increasing thermal processing of the film. The changes observed in the real-space EXAFS signal indicate the growth of metallic silver at the expense of AgBeh. The X-ray absorption near-edge spectroscopy (XANES) portion of the signal shows that the absorption edge position varies stepwise, with unprocessed films and pure AgBeh having an edge location at 25 506 eV, films processed from steps 1 through 10 have an absorption edge at 25 508 eV, and the fully processed film has an edge location at 25 512 eV.


2021 ◽  
Vol Volume 17, Issue 3 ◽  
Author(s):  
Rod Downey ◽  
Alexander Melnikov ◽  
Keng Meng Ng

We introduce a framework for online structure theory. Our approach generalises notions arising independently in several areas of computability theory and complexity theory. We suggest a unifying approach using operators where we allow the input to be a countable object of an arbitrary complexity. We give a new framework which (i) ties online algorithms with computable analysis, (ii) shows how to use modifications of notions from computable analysis, such as Weihrauch reducibility, to analyse finite but uniform combinatorics, (iii) show how to finitize reverse mathematics to suggest a fine structure of finite analogs of infinite combinatorial problems, and (iv) see how similar ideas can be amalgamated from areas such as EX-learning, computable analysis, distributed computing and the like. One of the key ideas is that online algorithms can be viewed as a sub-area of computable analysis. Conversely, we also get an enrichment of computable analysis from classical online algorithms.


1995 ◽  
Vol 72 (3) ◽  
pp. 213-289 ◽  
Author(s):  
Daniel W. Cunningham
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document