Showing 151–185 of 185 results for author: Schindler, R

LSST: from Science Drivers to Reference Design and Anticipated Data Products

Authors: Željko Ivezić, Steven M. Kahn, J. Anthony Tyson, Bob Abel, Emily Acosta, Robyn Allsman, David Alonso, Yusra AlSayyad, Scott F. Anderson, John Andrew, James Roger P. Angel, George Z. Angeli, Reza Ansari, Pierre Antilogus, Constanza Araujo, Robert Armstrong, Kirk T. Arndt, Pierre Astier, Éric Aubourg, Nicole Auza, Tim S. Axelrod, Deborah J. Bard, Jeff D. Barr, Aurelian Barrau, James G. Bartlett , et al. (288 additional authors not shown)

Abstract: (Abridged) We describe here the most ambitious survey currently planned in the optical, the Large Synoptic Survey Telescope (LSST). A vast array of science will be enabled by a single wide-deep-fast sky survey, and LSST will have unique survey capability in the faint time domain. The LSST design is driven by four main science themes: probing dark energy and dark matter, taking an inventory of the… ▽ More (Abridged) We describe here the most ambitious survey currently planned in the optical, the Large Synoptic Survey Telescope (LSST). A vast array of science will be enabled by a single wide-deep-fast sky survey, and LSST will have unique survey capability in the faint time domain. The LSST design is driven by four main science themes: probing dark energy and dark matter, taking an inventory of the Solar System, exploring the transient optical sky, and mapping the Milky Way. LSST will be a wide-field ground-based system sited at Cerro Pachón in northern Chile. The telescope will have an 8.4 m (6.5 m effective) primary mirror, a 9.6 deg$^2$ field of view, and a 3.2 Gigapixel camera. The standard observing sequence will consist of pairs of 15-second exposures in a given field, with two such visits in each pointing in a given night. With these repeats, the LSST system is capable of imaging about 10,000 square degrees of sky in a single filter in three nights. The typical 5$σ$ point-source depth in a single visit in $r$ will be $\sim 24.5$ (AB). The project is in the construction phase and will begin regular survey operations by 2022. The survey area will be contained within 30,000 deg$^2$ with $δ<+34.5^\circ$, and will be imaged multiple times in six bands, $ugrizy$, covering the wavelength range 320--1050 nm. About 90\% of the observing time will be devoted to a deep-wide-fast survey mode which will uniformly observe a 18,000 deg$^2$ region about 800 times (summed over all six bands) during the anticipated 10 years of operations, and yield a coadded map to $r\sim27.5$. The remaining 10\% of the observing time will be allocated to projects such as a Very Deep and Fast time domain survey. The goal is to make LSST data products, including a relational database of about 32 trillion observations of 40 billion objects, available to the public and scientists around the world. △ Less

Submitted 23 May, 2018; v1 submitted 15 May, 2008; originally announced May 2008.

Comments: 57 pages, 32 color figures, version with high-resolution figures available from https://www.lsst.org/overview

Two-nucleon problem in semi-relativistic baryon chiral perturbation theory

Authors: D. Djukanovic, J. Gegelia, S. Scherer, M. R. Schindler

Abstract: We consider a symmetry-preserving approach to the nucleon-nucleon scattering problem in the framework of the higher-derivative formulation of baryon chiral perturbation theory. Within this framework the leading-order amplitude is calculated by solving renormalizable equations and corrections are taken into account perturbatively. We consider a symmetry-preserving approach to the nucleon-nucleon scattering problem in the framework of the higher-derivative formulation of baryon chiral perturbation theory. Within this framework the leading-order amplitude is calculated by solving renormalizable equations and corrections are taken into account perturbatively. △ Less

Submitted 17 December, 2007; originally announced December 2007.

Comments: 3 pages, talk given at 20th European Conference on Few-Body Problems in Physics (EFB 20), Pisa, Italy, 10-14 Sep 2007

Journal ref: Few Body Syst.44:117-119,2008

Infrared renormalization of two-loop integrals and the chiral expansion of the nucleon mass

Authors: M. R. Schindler, D. Djukanovic, J. Gegelia, S. Scherer

Abstract: We describe details of the renormalization of two-loop integrals relevant to the calculation of the nucleon mass in the framework of manifestly Lorentz-invariant chiral perturbation theory using infrared renormalization. It is shown that the renormalization can be performed while preserving all relevant symmetries, in particular chiral symmetry, and that renormalized diagrams respect the standard… ▽ More We describe details of the renormalization of two-loop integrals relevant to the calculation of the nucleon mass in the framework of manifestly Lorentz-invariant chiral perturbation theory using infrared renormalization. It is shown that the renormalization can be performed while preserving all relevant symmetries, in particular chiral symmetry, and that renormalized diagrams respect the standard power counting rules. As an application we calculate the chiral expansion of the nucleon mass to order O(q^6). △ Less

Submitted 25 February, 2021; v1 submitted 30 July, 2007; originally announced July 2007.

Comments: corrected typos in Eqs. (D6) and (D7), results and conclusions unchanged

Report number: MKPH-T-07-10

Journal ref: Nucl.Phys.A803:68-114,2008

Chiral expansion of the nucleon mass to order q^6

Authors: M. R. Schindler, D. Djukanovic, J. Gegelia, S. Scherer

Abstract: We present the results of a complete two-loop calculation at order q^6 of the nucleon mass in manifestly Lorentz-invariant chiral perturbation theory. The renormalization is performed using the reformulated infrared renormalization, which allows for the treatment of two-loop integrals while preserving all relevant symmetries, in particular chiral symmetry. We present the results of a complete two-loop calculation at order q^6 of the nucleon mass in manifestly Lorentz-invariant chiral perturbation theory. The renormalization is performed using the reformulated infrared renormalization, which allows for the treatment of two-loop integrals while preserving all relevant symmetries, in particular chiral symmetry. △ Less

Submitted 13 December, 2006; originally announced December 2006.

Comments: 6 pages, 2 figures, REVTeX4

Report number: MKPH-T-06-19

Journal ref: Phys.Lett.B649:390-393,2007

Axial, induced pseudoscalar, and pion-nucleon form factors in manifestly Lorentz-invariant chiral perturbation theory

Authors: M. R. Schindler, T. Fuchs, J. Gegelia, S. Scherer

Abstract: We calculate the nucleon form factors G_A and G_P of the isovector axial-vector current and the pion-nucleon form factor G_piN in manifestly Lorentz-invariant baryon chiral perturbation theory up to and including order O(p^4). In addition to the standard treatment including the nucleon and pions, we also consider the axial-vector meson a_1 as an explicit degree of freedom. This is achieved by us… ▽ More We calculate the nucleon form factors G_A and G_P of the isovector axial-vector current and the pion-nucleon form factor G_piN in manifestly Lorentz-invariant baryon chiral perturbation theory up to and including order O(p^4). In addition to the standard treatment including the nucleon and pions, we also consider the axial-vector meson a_1 as an explicit degree of freedom. This is achieved by using the reformulated infrared renormalization scheme. We find that the inclusion of the axial-vector meson effectively results in one additional low-energy coupling constant that we determine by a fit to the data for G_A. The inclusion of the axial-vector meson results in an improved description of the experimental data for G_A, while the contribution to G_P is small. △ Less

Submitted 22 November, 2006; originally announced November 2006.

Comments: 21 pages, 9 figures, REVTeX4

Report number: MKPH-T-06-18

Journal ref: Phys.Rev.C75:025202,2007

NN scattering in higher derivative formulation of baryon chiral perturbation theory

Authors: D. Djukanovic, J. Gegelia, S. Scherer, M. R. Schindler

Abstract: We consider a new approach to the nucleon-nucleon scattering problem in the framework of the higher-derivative formulation of baryon chiral perturbation theory. Starting with a Lorentz-invariant form of the effective Lagrangian we work out a new symmetry-preserving framework where the leading-order amplitude is calculated by solving renormalizable equations and corrections are taken into account… ▽ More We consider a new approach to the nucleon-nucleon scattering problem in the framework of the higher-derivative formulation of baryon chiral perturbation theory. Starting with a Lorentz-invariant form of the effective Lagrangian we work out a new symmetry-preserving framework where the leading-order amplitude is calculated by solving renormalizable equations and corrections are taken into account perturbatively. Analogously to the KSW approach, the (leading) renormalization scale dependence to any finite order is absorbed in the redefinition of a finite number of parameters of the effective potential at given order. On the other hand, analogously to Weinberg's power counting, the one-pion-exchange potential is of leading order and is treated non-perturbatively. △ Less

Submitted 27 February, 2008; v1 submitted 19 September, 2006; originally announced September 2006.

Comments: 15 pages, 4 figures, REVTeX 4, journal version. Title changed, numerical results added

Report number: MKPH-T-06-16

Journal ref: FewBodySyst.41:141-155,2007

Nucleon Form Factors of the Isovector Axial-Vector Current: Situation of Experiments and Theory

Authors: M. R. Schindler, S. Scherer

Abstract: The theoretical and experimental status of the isovector axial-vector current form factors G_A(q^2) and G_P(q^2) of the nucleon is reviewed. We also describe a new calculation of these form factors in manifestly Lorentz-invariant chiral perturbation theory (ChPT) with the inclusion of axial-vector mesons as explicit degrees of freedom. The theoretical and experimental status of the isovector axial-vector current form factors G_A(q^2) and G_P(q^2) of the nucleon is reviewed. We also describe a new calculation of these form factors in manifestly Lorentz-invariant chiral perturbation theory (ChPT) with the inclusion of axial-vector mesons as explicit degrees of freedom. △ Less

Submitted 30 August, 2006; originally announced August 2006.

Comments: 5 pages, 3 figures. Talk given by M. R. Schindler at the International Workshop "From Parity Violation to Hadronic Structure and more...", Milos, Greece, May 16-20, 2006

Report number: MKPH-T-06-15

Journal ref: Eur.Phys.J.A32:429-433,2007

Electromagnetic form factors of the nucleon in chiral perturbation theory including vector mesons

Authors: Matthias R. Schindler, Jambul Gegelia, Stefan Scherer

Abstract: We calculate the electromagnetic form factors of the nucleon up to fourth order in manifestly Lorentz-invariant chiral perturbation theory with vector mesons as explicit degrees of freedom. A systematic power counting for the renormalized diagrams is implemented using both the extended on-mass-shell renormalization scheme and the reformulated version of infrared regularization. We analyze the el… ▽ More We calculate the electromagnetic form factors of the nucleon up to fourth order in manifestly Lorentz-invariant chiral perturbation theory with vector mesons as explicit degrees of freedom. A systematic power counting for the renormalized diagrams is implemented using both the extended on-mass-shell renormalization scheme and the reformulated version of infrared regularization. We analyze the electric and magnetic Sachs form factors, $G_E$ and $G_M$, and compare our results with the existing data. The inclusion of vector mesons results in a considerably improved description of the form factors. We observe that the most dominant contributions come from tree-level diagrams, while loop corrections with internal vector meson lines are small. △ Less

Submitted 1 September, 2005; originally announced September 2005.

Comments: 9 pages, 3 figures, accepted for publication in EPJA

Report number: MKPH-T-04-20

Journal ref: Eur.Phys.J. A26 (2005) 1-5

A Chiral Perturbation Theory Primer

Authors: Stefan Scherer, Matthias R. Schindler

Abstract: These lecture notes include the following topics. Chapter 1 deals with QCD and its global symmetries in the chiral limit, explicit symmetry breaking in terms of the quark masses, and the concept of Green functions and Ward identities reflecting the underlying chiral symmetry. In Chapter 2 the idea of a spontaneous breakdown of a global symmetry is discussed and its consequences in terms of the G… ▽ More These lecture notes include the following topics. Chapter 1 deals with QCD and its global symmetries in the chiral limit, explicit symmetry breaking in terms of the quark masses, and the concept of Green functions and Ward identities reflecting the underlying chiral symmetry. In Chapter 2 the idea of a spontaneous breakdown of a global symmetry is discussed and its consequences in terms of the Goldstone theorem are demonstrated. Chapter 3 deals with mesonic chiral perturbation theory and the principles entering the construction of the chiral Lagrangian are outlined. In Chapter 4 the methods are extended to include the interaction between Goldstone bosons and baryons in the single-baryon sector. △ Less

Submitted 31 May, 2005; originally announced May 2005.

Comments: 150 pages, 16 figures, 50 exercises, lectures given at the ECT* Doctoral Training Programme 2005 (Marie Curie Training Site) "Hadronic Physics"

Report number: MKPH-T-05-08

Quantum electrodynamics for vector mesons

Authors: D. Djukanovic, M. R. Schindler, J. Gegelia, S. Scherer

Abstract: Quantum electrodynamics for $ρ$ mesons is considered. It is shown that, at tree level, the value of the gyromagnetic ratio of the $ρ^+$ is fixed to 2 in a self-consistent effective quantum field theory. Further, the mixing parameter of the photon and the neutral vector meson is equal to the ratio of electromagnetic and strong couplings, leading to the mass difference… ▽ More Quantum electrodynamics for $ρ$ mesons is considered. It is shown that, at tree level, the value of the gyromagnetic ratio of the $ρ^+$ is fixed to 2 in a self-consistent effective quantum field theory. Further, the mixing parameter of the photon and the neutral vector meson is equal to the ratio of electromagnetic and strong couplings, leading to the mass difference $M_{ρ^0}-M_{ρ^\pm}\sim 1 {\rm MeV}$ at tree order. △ Less

Submitted 20 May, 2005; originally announced May 2005.

Comments: 4 pages, 2 figures, REVTeX 4, accepted for publication in PRL

Journal ref: Phys.Rev.Lett. 95 (2005) 012001

Universality of the rho-meson coupling in effective field theory

Authors: D. Djukanovic, M. R. Schindler, J. Gegelia, G. Japaridze, S. Scherer

Abstract: It is shown that both the universal coupling of the rho-meson and the Kawarabayashi-Suzuki-Riadzuddin-Fayyazuddin expression for the magnitude of its coupling constant follow from the requirement that chiral perturbation theory of pions, nucleons, and rho-mesons is a consistent effective field theory. The prerequisite of the derivation is that all ultraviolet divergences can be absorbed in the r… ▽ More It is shown that both the universal coupling of the rho-meson and the Kawarabayashi-Suzuki-Riadzuddin-Fayyazuddin expression for the magnitude of its coupling constant follow from the requirement that chiral perturbation theory of pions, nucleons, and rho-mesons is a consistent effective field theory. The prerequisite of the derivation is that all ultraviolet divergences can be absorbed in the redefinition of fields and the available parameters of the most general effective Lagrangian. △ Less

Submitted 21 July, 2004; originally announced July 2004.

Comments: 4 pages, 2 figures, REVTeX 4, accepted for publication in PRL

Report number: MKPH-T-04-4

Journal ref: Phys.Rev.Lett. 93 (2004) 122002

Improving the ultraviolet behavior in baryon chiral perturbation theory

Authors: D. Djukanovic, M. R. Schindler, J. Gegelia, S. Scherer

Abstract: We introduce a new formulation of baryon chiral perturbation theory which improves the ultraviolet behavior of propagators and can be interpreted as a smooth cutoff regularization scheme. It is equivalent to the standard approach, preserves all symmetries and therefore satisfies the Ward identities. Our formulation is equally well defined in the vacuum, one- and few-nucleon sectors of the theory… ▽ More We introduce a new formulation of baryon chiral perturbation theory which improves the ultraviolet behavior of propagators and can be interpreted as a smooth cutoff regularization scheme. It is equivalent to the standard approach, preserves all symmetries and therefore satisfies the Ward identities. Our formulation is equally well defined in the vacuum, one- and few-nucleon sectors of the theory. The equations (Bethe-Salpeter, Lippmann-Schwinger, etc.) for the scattering amplitudes of the few-nucleon sector are free of divergences in the new approach. Unlike the usual cutoff regularization, our 'cutoffs' are parameters of the Lagrangian and do not have to be removed. △ Less

Submitted 4 August, 2005; v1 submitted 15 July, 2004; originally announced July 2004.

Comments: 19 pages, 3 figures, REVTeX 4; version to be published in Phys. Rev. D, additional section on issues of renormalization in few-body sector included

Report number: MKPH-T-04-14

Journal ref: Phys.Rev.D72:045002,2005

Hadron structure in manifestly Lorentz-invariant baryon chiral perturbation theory

Authors: T. Fuchs, M. R. Schindler, J. Gegelia, S. Scherer

Abstract: We briefly outline the so-called extended on-mass-shell renormalization scheme for manifestly Lorentz-invariant baryon chiral perturbation theory which provides a simple and consistent power counting for renormalized diagrams. We comment on the role of chiral symmetry in the renormalization program and discuss as applications the mass and the electromagnetic form factors of the nucleon. We briefly outline the so-called extended on-mass-shell renormalization scheme for manifestly Lorentz-invariant baryon chiral perturbation theory which provides a simple and consistent power counting for renormalized diagrams. We comment on the role of chiral symmetry in the renormalization program and discuss as applications the mass and the electromagnetic form factors of the nucleon. △ Less

Submitted 17 February, 2004; originally announced February 2004.

Comments: 9 pages, Latex2e, 3 eps figures. Invited talk given by S. Scherer at the International Workshop XXXII on Gross Properties of Nuclei and Nuclear Excitations: Probing Nuclei and Nucleons with Electrons and Photons, Hirschegg, Austria, January 11 - 17, 2004

Report number: MKPH-T-04-2

Infrared and extended on-mass-shell renormalization of two-loop diagrams

Authors: M. R. Schindler, J. Gegelia, S. Scherer

Abstract: Using a toy model Lagrangian we demonstrate the application of both infrared and extended on-mass-shell renormalization schemes to multiloop diagrams by considering as an example a two-loop self-energy diagram. We show that in both cases the renormalized diagrams satisfy a straightforward power counting. Using a toy model Lagrangian we demonstrate the application of both infrared and extended on-mass-shell renormalization schemes to multiloop diagrams by considering as an example a two-loop self-energy diagram. We show that in both cases the renormalized diagrams satisfy a straightforward power counting. △ Less

Submitted 17 October, 2003; originally announced October 2003.

Comments: 10 pages, 2 figures, REVTeX 4

Report number: MKPH-T-03-18

Journal ref: Nucl.Phys. B682 (2004) 367-376

Infrared regularization of baryon chiral perturbation theory reformulated

Authors: M. R. Schindler, J. Gegelia, S. Scherer

Abstract: We formulate the infrared regularization of Becher and Leutwyler in a form analogous to our recently proposed extended on-mass-shell renormalization. In our formulation, IR regularization can be applied straightforwardly to multi-loop diagrams with an arbitrary number of particles with arbitrary masses. We formulate the infrared regularization of Becher and Leutwyler in a form analogous to our recently proposed extended on-mass-shell renormalization. In our formulation, IR regularization can be applied straightforwardly to multi-loop diagrams with an arbitrary number of particles with arbitrary masses. △ Less

Submitted 31 August, 2003; originally announced September 2003.

Comments: 10 pages, ReVTEX 4, no figures

Report number: MKPH-T-03-13

Journal ref: Phys.Lett.B586:258-266,2004

Power counting in baryon chiral perturbation theory including vector mesons

Authors: T. Fuchs, M. R. Schindler, J. Gegelia, S. Scherer

Abstract: It is demonstrated that using a suitable renormalization condition one obtains a consistent power counting in manifestly Lorentz-invariant baryon chiral perturbation theory including vector mesons as explicit degrees of freedom. It is demonstrated that using a suitable renormalization condition one obtains a consistent power counting in manifestly Lorentz-invariant baryon chiral perturbation theory including vector mesons as explicit degrees of freedom. △ Less

Submitted 1 August, 2003; originally announced August 2003.

Comments: 8 pages, REVTeX 4, 3 figures

Journal ref: Phys.Lett. B575 (2003) 11-17

P is not equal to NP intersect coNP for Infinite Time Turing Machines

Authors: Vinay Deolalikar, Joel David Hamkins, Ralf-Dieter Schindler

Abstract: Extending results of Schindler [math.LO/0106087] and Hamkins and Welch [math.LO/0212046], we establish in the context of infinite time Turing machines that P is properly contained in NP intersect coNP. Furthermore, NP intersect coNP is exactly the class of hyperarithmetic sets. For the more general classes, we establish that P+ = (NP+ intersect coNP+) = (NP intersect coNP), though P++ is properl… ▽ More Extending results of Schindler [math.LO/0106087] and Hamkins and Welch [math.LO/0212046], we establish in the context of infinite time Turing machines that P is properly contained in NP intersect coNP. Furthermore, NP intersect coNP is exactly the class of hyperarithmetic sets. For the more general classes, we establish that P+ = (NP+ intersect coNP+) = (NP intersect coNP), though P++ is properly contained in NP++ intersect coNP++. Within any contiguous block of infinite clockable ordinals, we show that P_alpha is not equal to NP_alpha intersect coNP_alpha, but if beta begins a gap in the clockable ordinals, then P_beta = NP_beta intersect coNP_beta. Finally, we establish that P^f is not equal to NP^f intersect coNP^f for most functions f from the reals to the ordinals, although we provide examples where P^f = NP^f intersect coNP^f and P^f is not equal to NP^f. △ Less

Submitted 30 July, 2003; originally announced July 2003.

Comments: 26 pages

MSC Class: 03D15; 68Q15; 68Q17; 03E15

Homogeneously Souslin sets in small inner models

Authors: Peter Koepke, Ralf Schindler

Abstract: We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0^long does not exist or else (b) V=K where K is the core model below a μ-measurable cardinal. We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0^long does not exist or else (b) V=K where K is the core model below a μ-measurable cardinal. △ Less

Submitted 19 May, 2003; originally announced May 2003.

Comments: 10 pages

MSC Class: 03E35;03E45;03E55

BMM is stronger than BSPFA

Authors: Ralf Schindler

Abstract: It is shown that if BMM (= Bounded Martin's Maximum) holds then each set is contained in an inner model with a strong cardinal. This answers a question that has been asked by various people. It follows that BMM has a much larger consistency strength than BSPFA (= the Bounded Semi-proper Forcing Axiom). It is shown that if BMM (= Bounded Martin's Maximum) holds then each set is contained in an inner model with a strong cardinal. This answers a question that has been asked by various people. It follows that BMM has a much larger consistency strength than BSPFA (= the Bounded Semi-proper Forcing Axiom). △ Less

Submitted 2 May, 2003; originally announced May 2003.

MSC Class: 03E15;03E45;03E55

Core models in the presence of Woodin cardinals

Authors: Ralf Schindler

Abstract: It is shown that if there is a measurable cardinal above n Woodin cardinals and M_{n+1}^# doesn't exist then K exists. K is not fully iterable, though, but only iterable with respect to stacks of certain trees living between the Woodin cardinals. However, it is still true that if M is an omega-closed iterate of V then K^M is an iterate of K. It is shown that if there is a measurable cardinal above n Woodin cardinals and M_{n+1}^# doesn't exist then K exists. K is not fully iterable, though, but only iterable with respect to stacks of certain trees living between the Woodin cardinals. However, it is still true that if M is an omega-closed iterate of V then K^M is an iterate of K. △ Less

Submitted 7 March, 2003; originally announced March 2003.

Comments: 6 pages

MSC Class: 03E35; 03E45

Pcf theory and Woodin cardinals

Authors: Moti Gitik, Ralf Schindler, Saharon Shelah

Abstract: We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all bounded X subset aleph_{|alpha|^+}, M_n^#(X) exists. Theorem B: Let kappa be a singular cardinal of uncountable cofinality. If {alpha<kappa| 2^alpha=alpha^+} is… ▽ More We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all bounded X subset aleph_{|alpha|^+}, M_n^#(X) exists. Theorem B: Let kappa be a singular cardinal of uncountable cofinality. If {alpha<kappa| 2^alpha=alpha^+} is stationary as well as co-stationary then for all n< omega and for all bounded X subset kappa, M_n^#(X) exists. Theorem A answers a question of Gitik and Mitchell, and Theorem B yields a lower bound for an assertion discussed in Gitik, M., Introduction to Prikry type forcing notions, in: Handbook of set theory, Foreman, Kanamori, Magidor (see Problem 4 there). The proofs of these theorems combine pcf theory with core model theory. Along the way we establish some ZFC results in cardinal arithmetic, motivated by Silver's theorem and we obtain results of core model theory, motivated by the task of building a ``stable core model.'' Both sets of results are of independent interest. △ Less

Submitted 27 November, 2002; originally announced November 2002.

Report number: Shelah [GSSh:805]

Journal ref: Geom. Topol. 6 (2002) 495-521

Cardinal arithmetic and Woodin cardinals

Authors: Ralf Schindler

Abstract: Suppose that there is a measurable cardinal. If \aleph_ωis a strong limit cardinal, but the power of \aleph_ωis bigger than \aleph_{ω_1}, then there is an inner model with a Woodin cardinal. Modulo the need of the measurable cardinal this answers a question of Gitik and Mitchell. Suppose that there is a measurable cardinal. If \aleph_ωis a strong limit cardinal, but the power of \aleph_ωis bigger than \aleph_{ω_1}, then there is an inner model with a Woodin cardinal. Modulo the need of the measurable cardinal this answers a question of Gitik and Mitchell. △ Less

Submitted 8 March, 2002; originally announced March 2002.

Comments: 6 pages

MSC Class: 03E04; 03E35; 03E45

Sharps and the Σ^1_3 correctness of K

Authors: Ralf Schindler

Abstract: Steel and Welch have shown that K is Σ^1_3 correct if the reals are closed under sharps but 0^\pistol doesn't exist. We'll give a simple and purely combinatorial proof of the following: K is Σ^1_3 correct if the reals are closed under sharps, there is no inner model with a Woodin cardinal, K exists, and * holds. Here, * is an assertion which can easily be verified if 0^\pistol doesn't exist. We… ▽ More Steel and Welch have shown that K is Σ^1_3 correct if the reals are closed under sharps but 0^\pistol doesn't exist. We'll give a simple and purely combinatorial proof of the following: K is Σ^1_3 correct if the reals are closed under sharps, there is no inner model with a Woodin cardinal, K exists, and * holds. Here, * is an assertion which can easily be verified if 0^\pistol doesn't exist. We conjecture that * holds outright. (* is denoted by \clubsuit in the paper.) △ Less

Submitted 18 January, 2002; originally announced January 2002.

Comments: 5 pages

MSC Class: 03E15;03E45;03E55

A simple proof of Σ^1_3 correctness of K

Authors: Ralf Schindler

Abstract: We present a simple and purely combinatorial proof of Steel's result according to which the core model is Σ^1_3 correct under the appropriate hypotheses. We present a simple and purely combinatorial proof of Steel's result according to which the core model is Σ^1_3 correct under the appropriate hypotheses. △ Less

Submitted 9 January, 2002; originally announced January 2002.

Comments: 5 pages

MSC Class: 03E45;03E15;03E55

P not= NP for infinite time Turing machines

Authors: Ralf Schindler

Abstract: We state a version of the P=?NP problem for infinite time Turing machines. It is observed that P not= NP for this version. We state a version of the P=?NP problem for infinite time Turing machines. It is observed that P not= NP for this version. △ Less

Submitted 11 June, 2001; originally announced June 2001.

Comments: 2 pages

MSC Class: 68Q15;03E15

\nabla_κ, remarkable cardinals, and 0^#

Authors: Ralf Schindler

Abstract: For an uncountable regular cardinal κwe let \nabla_κ(A) be the statement that A \subset κand for all regular θ> κ, the set of all X \in [θ]^<κsuch that X \cap κ\in κand otp(X \cap OR) is a cardinal in L[A \cap X \cap κ] is stationary. We had shown earlier that \nabla_{ω_1}(A) can hold in a generic extension of L. We now prove that \nabla_{ω_2}(A) can hold in a semi-proper generic extension of L,… ▽ More For an uncountable regular cardinal κwe let \nabla_κ(A) be the statement that A \subset κand for all regular θ> κ, the set of all X \in [θ]^<κsuch that X \cap κ\in κand otp(X \cap OR) is a cardinal in L[A \cap X \cap κ] is stationary. We had shown earlier that \nabla_{ω_1}(A) can hold in a generic extension of L. We now prove that \nabla_{ω_2}(A) can hold in a semi-proper generic extension of L, whereas \nabla_{ω_3}(0) is equivalent with the existence of 0^#. △ Less

Submitted 25 May, 2001; originally announced May 2001.

Comments: 7 pages

MSC Class: 03E55; 03E15

Iterations of V and the core model

Authors: Ralf Schindler

Abstract: Answering a question which was around for some while we prove that if π: V -> M is such that M is transitive and closed under ω-sequences then the core model of M is an iterate of the core model of V. Answering a question which was around for some while we prove that if π: V -> M is such that M is transitive and closed under ω-sequences then the core model of M is an iterate of the core model of V. △ Less

Submitted 6 April, 2001; originally announced April 2001.

Comments: 3 pages

MSC Class: 03E45

More on mutual stationarity

Authors: Ralf Schindler

Abstract: Extending a result of Foreman and Magidor we prove that in the core model for almost linear iterations the following holds. There is a sequence (S^n_α: n<ω,α>0) such that each individual S^n_αis a stationary subset of \aleph_{α+1} consisting of points of cofinality ω_1, and for all limits λand for all f:λ-> ωdo we have that (S^{f(α)}_α: α<λ) is mutually stationary if and only if the range of f i… ▽ More Extending a result of Foreman and Magidor we prove that in the core model for almost linear iterations the following holds. There is a sequence (S^n_α: n<ω,α>0) such that each individual S^n_αis a stationary subset of \aleph_{α+1} consisting of points of cofinality ω_1, and for all limits λand for all f:λ-> ωdo we have that (S^{f(α)}_α: α<λ) is mutually stationary if and only if the range of f is finite. △ Less

Submitted 6 April, 2001; originally announced April 2001.

Comments: 7 pages

MSC Class: 03E45

A universal weasel without large cardinals in V

Authors: Ralf Schindler

Abstract: We prove in the theory "ZFC + there is no inner model with a Woodin cardinal" that there is a universal weasel. This shows in particular that one doesn't have to assume the existence of large cardinals in V to prove the existence of some such weasel. We prove in the theory "ZFC + there is no inner model with a Woodin cardinal" that there is a universal weasel. This shows in particular that one doesn't have to assume the existence of large cardinals in V to prove the existence of some such weasel. △ Less

Submitted 13 November, 2000; originally announced November 2000.

Comments: 8 pages

MSC Class: 03E15

A note on an alleged proof of the relative consistency of P=NP with PA

Authors: Ralf Schindler

Abstract: We indicate that an argument of da Costa and Doria in fact proves P=NP. This observation makes their argument appear dubious. We isolate a weak version of one of their lemmas which would already prove P=NP. We point out that even this weak version is probably false. In fact, a generalized form of this weak version is provably false. We indicate that an argument of da Costa and Doria in fact proves P=NP. This observation makes their argument appear dubious. We isolate a weak version of one of their lemmas which would already prove P=NP. We point out that even this weak version is probably false. In fact, a generalized form of this weak version is provably false. △ Less

Submitted 11 July, 2000; v1 submitted 5 July, 2000; originally announced July 2000.

Comments: 4 pages

The core model for almost linear iterations

Authors: Ralf-Dieter Schindler

Abstract: We introduce 0^h (0^handgrenade) as a sharp for an inner model with a proper class of strong cardinals. If 0^h does not exist then any normal iteration tree is "almost linear." We exploit this fact to prove the existence of the core model K in the theory "ZFC + 0^h does not exist." (As of today, non-0^h is thereby the weakest anti large cardinal assumption under which K can be shown to exist in… ▽ More We introduce 0^h (0^handgrenade) as a sharp for an inner model with a proper class of strong cardinals. If 0^h does not exist then any normal iteration tree is "almost linear." We exploit this fact to prove the existence of the core model K in the theory "ZFC + 0^h does not exist." (As of today, non-0^h is thereby the weakest anti large cardinal assumption under which K can be shown to exist in ZFC. In this sense we improve earlier work of Dodd, Jensen, Mitchell, and - partially - Steel.) We indicate that our paper provides the last step for determining the exact consistency strength of a statement in the Delfino problem list. △ Less

Submitted 6 April, 2001; v1 submitted 11 February, 2000; originally announced February 2000.

Comments: 80 pages

MSC Class: 03E15;03E45;03E55

L(R) absoluteness under proper forcings

Authors: Ralf Schindler

Abstract: We isolate a new large cardinal concept, "remarkability." Consistencywise, remarkable cardinals are between ineffable and omega-Erdos cardinals. They are characterized by the existence of "0^sharp-like" embeddings; however, they relativize down to L. It turns out that the existence of a remarkable cardinal is equiconsistent with L(R) absoluteness under proper forcings. In particular, said abso… ▽ More We isolate a new large cardinal concept, "remarkability." Consistencywise, remarkable cardinals are between ineffable and omega-Erdos cardinals. They are characterized by the existence of "0^sharp-like" embeddings; however, they relativize down to L. It turns out that the existence of a remarkable cardinal is equiconsistent with L(R) absoluteness under proper forcings. In particular, said absoluteness does not imply Pi^1_1 determinacy. △ Less

Submitted 8 September, 1999; originally announced September 1999.

Comments: 15 pages

MSC Class: 03E15;03E45;03E55

The consistency strength of projective uniformization, revisited

Authors: Ralf Schindler

Abstract: It is shown that if every projective set of reals is Lebesgue measurable and has the property of Baire, if every projective set in the plane has a projective uniformization, and if Steel's K exists, then J^K_{ω_1} \models "there are infinitely many strong cardinals." This is best possible, by a recent result of Steel. It is shown that if every projective set of reals is Lebesgue measurable and has the property of Baire, if every projective set in the plane has a projective uniformization, and if Steel's K exists, then J^K_{ω_1} \models "there are infinitely many strong cardinals." This is best possible, by a recent result of Steel. △ Less

Submitted 7 October, 1997; originally announced October 1997.

Report number: Logic E-prints October 08, 1997

Coding into K by reasonable forcing

Authors: Ralf Schindler

Abstract: Assuming that there is no inner model with a strong cardinal, the following is shown: any subset of ω_1 can be made Δ^1_3 (in the codes) by a reasonable set-forcing; there is a reasonable set-generic extension with a Δ^1_3 well-ordering of its reals; 2-step Σ^1_4 absoluteness fails w.r.t. set-sized reasonable forcings. Assuming that there is no inner model with a strong cardinal, the following is shown: any subset of ω_1 can be made Δ^1_3 (in the codes) by a reasonable set-forcing; there is a reasonable set-generic extension with a Δ^1_3 well-ordering of its reals; 2-step Σ^1_4 absoluteness fails w.r.t. set-sized reasonable forcings. △ Less

Submitted 9 September, 1999; v1 submitted 25 June, 1997; originally announced June 1997.

Weak covering and the tree property

Authors: Ralf Schindler

Abstract: Suppose that there's no transitive model of ZFC + there's a strong cardinal, and let K denote the core model. It is shown that if δhas the tree property then δ^{+K} = δ^+ and δis weakly compact in K. Suppose that there's no transitive model of ZFC + there's a strong cardinal, and let K denote the core model. It is shown that if δhas the tree property then δ^{+K} = δ^+ and δis weakly compact in K. △ Less

Submitted 10 June, 1997; originally announced June 1997.

Report number: Logic E-prints June 11, 1997