Results for 'E. Schimmerling'

1000+ found
Order:
  1.  2
    The Jensen Covering Property.E. Schimmerling & W. H. Woodin - 2001 - Journal of Symbolic Logic 66 (4):1505-1523.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. The Covering Lemma Up to a Woodin Cardinal.W. Mitchell, E. Schimmerling & J. Steel - 1997 - Annals of Pure and Applied Logic 84 (2).
     
    Export citation  
     
    Bookmark   2 citations  
  3.  11
    Fine Structure for Tame Inner Models.E. Schimmerling & J. R. Steel - 1996 - Journal of Symbolic Logic 61 (2):621-639.
  4.  18
    The Covering Lemma Up to a Woodin Cardinal.W. J. Mitchell, E. Schimmerling & J. R. Steel - 1997 - Annals of Pure and Applied Logic 84 (2):219-255.
  5.  29
    The Jensen Covering Property.E. Schimmerling & W. H. Woodin - 2001 - Journal of Symbolic Logic 66 (4):1505-1523.
  6.  20
    Collapsing Functions.Ernest Schimmerling & Boban Velickovic - 2004 - Mathematical Logic Quarterly 50 (1):3-8.
    We define what it means for a function on ω1 to be a collapsing function for λ and show that if there exists a collapsing function for +, then there is no precipitous ideal on ω1. We show that a collapsing function for ω2 can be added by forcing. We define what it means to be a weakly ω1-Erdös cardinal and show that in L[E], there is a collapsing function for λ iff λ is less than the least weakly ω1-Erdös (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  18
    Combinatorial Principles in the Core Model for One Woodin Cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
    We study the fine structure of the core model for one Woodin cardinal, building of the work of Mitchell and Steel on inner models of the form . We generalize to some combinatorial principles that were shown by Jensen to hold in L. We show that satisfies the statement: “□κ holds whenever κ the least measurable cardinal λ of order λ++”. We introduce a hierarchy of combinatorial principles □κ, λ for 1 λ κ such that □κ□κ, 1 □κ, λ □κ, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  8. G. E. Moore: Selected Writings.G. E. Moore - 1993 - Routledge.
    G.E. Moore, more than either Bertrand Russell or Ludwig Wittgenstein, was chiefly responsible for the rise of the analytic method in twentieth-century philosophy. This selection of his writings shows Moore at his very best. The classic essays are crucial to major philosophical debates that still resonate today. Amongst those included are: * A Defense of Common Sense * Certainty * Sense-Data * External and Internal Relations * Hume's Theory Explained * Is Existence a Predicate? * Proof of an External World (...)
     
    Export citation  
     
    Bookmark   26 citations  
  9.  11
    A Question About Suslin Trees and the Weak Square Hierarchy.Ernest Schimmerling - 2005 - Notre Dame Journal of Formal Logic 46 (3):373-374.
    We present a question about Suslin trees and the weak square hierarchy which was contributed to the list of open problems of the BIRS workshop.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  20
    Square in Core Models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
    We prove that in all Mitchell-Steel core models, □ κ holds for all κ. (See Theorem 2.). From this we obtain new consistency strength lower bounds for the failure of □ κ if κ is either singular and countably closed, weakly compact, or measurable. (Corallaries 5, 8, and 9.) Jensen introduced a large cardinal property that we call subcompactness; it lies between superstrength and supercompactness in the large cardinal hierarchy. We prove that in all Jensen core models, □ κ holds (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  11.  10
    Characterization of □Κin Core Models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.
    We present a general construction of a □κ-sequence in Jensen's fine structural extender models. This construction yields a local definition of a canonical □κ-sequence as well as a characterization of those cardinals κ, for which the principle □κ fails. Such cardinals are called subcompact and can be described in terms of elementary embeddings. Our construction is carried out abstractly, making use only of a few fine structural properties of levels of the model, such as solidity and condensation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  12.  45
    Stacking Mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
    We show that either of the following hypotheses imply that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals. 1) There is a countably closed cardinal k ≥ N₃ such that □k and □(k) fail. 2) There is a cardinal k such that k is weakly compact in the generic extension by Col(k, k⁺). Of special interest is 1) with k = N₃ since it follows from PFA by theorems of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  13.  42
    Facts, Freedom and Foreknowledge: E. M. Zemach and D. Widerker.E. M. Zemach - 1987 - Religious Studies 23 (1):19-28.
    Is God's foreknowledge compatible with human freedom? One of the most attractive attempts to reconcile the two is the Ockhamistic view, which subscribes not only to human freedom and divine omniscience, but retains our most fundamental intuitions concerning God and time: that the past is immutable, that God exists and acts in time, and that there is no backward causation. In order to achieve all that, Ockhamists distinguish ‘hard facts’ about the past which cannot possibly be altered from ‘soft facts’ (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  14.  96
    Review: The Work of E. T. Jaynes on Probability, Statistics and Statistical Physics. [REVIEW]E. T. Jaynes, D. A. Lavis & P. J. Milligan - 1985 - British Journal for the Philosophy of Science 36 (2):193 - 210.
    An important contribution to the foundations of probability theory, statistics and statistical physics has been made by E. T. Jaynes. The recent publication of his collected works provides an appropriate opportunity to attempt an assessment of this contribution.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  21
    An Equiconsistency Result on Partial Squares.John Krueger & Ernest Schimmerling - 2011 - Journal of Mathematical Logic 11 (1):29-59.
    We prove that the following two statements are equiconsistent: there exists a greatly Mahlo cardinal; there exists a regular uncountable cardinal κ such that no stationary subset of κ+ ∩ cof carries a partial square.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16. VKnowledge Activation: Accessibility, Applicability, and Salience, V in E. Tory Higgins and Arie W. Kruglanski, Eds.E. T. Higgins - 1996 - In E. E. Higgins & A. Kruglanski (eds.), Social Psychology: Handbook of Basic Principles. Guilford.
     
    Export citation  
     
    Bookmark   25 citations  
  17.  9
    A Finite Family Weak Square Principle.Ernest Schimmerling - 1999 - Journal of Symbolic Logic 64 (3):1087-1110.
  18.  89
    Two Notions of Being: Entity and Essence: E. J. Lowe.E. J. Lowe - 2008 - Royal Institute of Philosophy Supplement 62:23-48.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  19.  31
    Natural Kinds: T. E. Wilkerson.T. E. Wilkerson - 1988 - Philosophy 63 (243):29-42.
    What is a natural kind ? As we shall see, the concept of a natural kind has a long history. Many of the interesting doctrines can be detected in Aristotle, were revived by Locke and Leibniz, and have again become fashionable in recent years. Equally there has been agreement about certain paradigm examples: the kinds oak, stickleback and gold are natural kinds, and the kinds table, nation and banknote are not. Sadly agreement does not extend much further. It is impossible (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  20.  33
    The Abc's of Mice.Ernest Schimmerling - 2001 - Bulletin of Symbolic Logic 7 (4):485-503.
  21.  60
    The Greeks and the Irrational. By E. R. Dodds. Pp. Ix + 327. Berkeley and Los Angeles: University of California Press , 1951. 37s. 6d. [REVIEW]H. J. Rose & E. R. Dodds - 1953 - Journal of Hellenic Studies 73 (105):176-177.
    In this philosophy classic, which was first published in 1951, E. R. Dodds takes on the traditional view of Greek culture as a triumph of rationalism. Using the analytical tools of modern anthropology and psychology, Dodds asks, "Why should we attribute to the ancient Greeks an immunity from 'primitive' modes of thought which we do not find in any society open to our direct observation?" Praised by reviewers as "an event in modern Greek scholarship" and "a book which it would (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   118 citations  
  22.  55
    Substance and Selfhood: E. J. Lowe.E. J. Lowe - 1991 - Philosophy 66 (255):81-99.
    How could the self be a substance? There are various ways in which it could be, some familiar from the history of philosophy. I shall be rejecting these more familiar substantivalist approaches, but also the non-substantival theories traditionally opposed to them. I believe that the self is indeed a substance—in fact, that it is a simple or noncomposite substance—and, perhaps more remarkably still, that selves are, in a sense, self-creating substances. Of course, if one thinks of the notion of substance (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23.  66
    A C.E. Real That Cannot Be SW-Computed by Any Ω Number.George Barmpalias & Andrew E. M. Lewis - 2006 - Notre Dame Journal of Formal Logic 47 (2):197-209.
    The strong weak truth table (sw) reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occurs naturally in proofs in classical computability theory as well as in the recent work of Soare, Nabutovsky, and Weinberger on applications of computability to differential geometry. We study the sw-degrees of c.e. reals and construct a c.e. real which has no random c.e. real (i.e., Ω number) sw-above it.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24.  11
    Separating Weak Partial Square Principles.John Krueger & Ernest Schimmerling - 2014 - Annals of Pure and Applied Logic 165 (2):609-619.
    We introduce the weak partial square principles View the MathML source and View the MathML source, which combine the ideas of a weak square sequence and a partial square sequence. We construct models in which weak partial square principles fail. The main result of the paper is that □λ,κ does not imply View the MathML source.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  29
    Hierarchies of Forcing Axioms I.Itay Neeman & Ernest Schimmerling - 2008 - Journal of Symbolic Logic 73 (1):343-362.
    We prove new upper bound theorems on the consistency strengths of SPFA (θ), SPFA(θ-linked) and SPFA(θ⁺-cc). Our results are in terms of (θ, Γ)-subcompactness, which is a new large cardinal notion that combines the ideas behind subcompactness and Γ-indescribability. Our upper bound for SPFA(c-linked) has a corresponding lower bound, which is due to Neeman and appears in his follow-up to this paper. As a corollary, SPFA(c-linked) and PFA(c-linked) are each equiconsistent with the existence of a $\Sigma _{1}^{2}$ -indescribable cardinal. Our (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  31
    The Index Set $\{E: WE \equiv1 X\}$.E. Herrmann - 1986 - Journal of Symbolic Logic 51 (1):110 - 116.
    Let X be any infinite, coinfinite r.e. set. We show that the index set $\{e: W_e \equiv_1 X\}$ is Σ 0 3 -complete, answering a question posed by Odifreddi in [2].
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  27
    Some Calkin Algebras Have Outer Automorphisms.Ilijas Farah, Paul McKenney & Ernest Schimmerling - 2013 - Archive for Mathematical Logic 52 (5-6):517-524.
    We consider various quotients of the C*-algebra of bounded operators on a nonseparable Hilbert space, and prove in some cases that, assuming some restriction of the Generalized Continuum Hypothesis, there are many outer automorphisms.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  63
    Conhecimento e identidade histórica em Sartre.Franklin Leopoldo E. Silva - 2003 - Trans/Form/Ação 26 (2):43-64.
    O presente texto procura acompanhar alguns aspectos da reconstrução sartreana das relações entre indivíduo e história, tentando mostrar que a fenomenologia e o materialismo dialético comparecem nessa proposta de conhecimento e que é a convergência das duas perspectivas que permite, contemplando adequadamente a universalidade e a singularidade, descrever e compreender dialeticamente o modo histórico de produção da identidade individual.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  29.  12
    Cardinal Transfer Properties in Extender Models.Ernest Schimmerling & Martin Zeman - 2008 - Annals of Pure and Applied Logic 154 (3):163-190.
    We prove that if image is a Jensen extender model, then image satisfies the Gap-1 morass principle. As a corollary to this and a theorem of Jensen, the model image satisfies the Gap-2 Cardinal Transfer Property → for all infinite cardinals κ and λ.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. The Problem of the Empirical Basis: E. G. Zahars.E. G. Zahar - 1995 - Royal Institute of Philosophy Supplement 39:45-74.
    In this paper I shall venture into an area with which I am not very familiar and in which I feel far from confident; namely into phenomenology. My main motive is not to get away from standard, boring, methodological questions like those of induction and demarcation; but the conviction that a phenomenological account of the empirical basis forms a necessary complement to Popper's falsificationism. According to the latter, a scientific theory is a synthetic and universal, hence unverifiable proposition. In fact, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  4
    Ernest Schimmerling. Covering Properties of Core Models. Sets and Proofs. , London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, Pp. 281–299. - Peter Koepke. An Introduction to Extenders and Core Models for Extender Sequences. Logic Colloquium '87 , Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, Pp. 137–182. - William J. Mitchell. The Core Model Up to a Woodin Cardinal. Logic, Methodology and Philosophy of Science, IX , Studies in Logic and the Foundations of Mathematics 134, North-Holland, Amsterdam, 1994, Pp. 157–175. - Benedikt Löwe and John R. Steel. An Introduction to Core Model Theory. Sets and Proofs , London Mathematical Society Lecture Note Series 258, Cambridge University Press, Cambridge, 1999, Pp. 103–157. - John R. Steel. Inner Models with Many Woodin Cardinals. Annals of Pure and Applied Logic, Vol. 65 No. 2 , Pp. 185–209. - Ernest Schimmerling. Combinatorial Principles in the Core Mode. [REVIEW]Martin Zeman - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  8
    The Index Set {E: We ≡1X}.E. Herrmann - 1986 - Journal of Symbolic Logic 51 (1):110-116.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  58
    E-Z Reader 7 Provides a Platform for Explaining How Low- and High-Level Linguistic Processes Influence Eye Movements.Gary E. Raney - 2003 - Behavioral and Brain Sciences 26 (4):498-499.
    E-Z Reader 7 is a processing model of eye-movement control. One constraint imposed on the model is that high-level cognitive processes do not influence eye movements unless normal reading processes are disturbed. I suggest that this constraint is unnecessary, and that the model provides a sensible architecture for explaining how both low- and high-level processes influence eye movements.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  37
    Personal Agency: E. J. Lowe.E. J. Lowe - 2003 - Royal Institute of Philosophy Supplement 53:211-227.
    Why does the problem of free will seem so intractable? I surmise that in large measure it does so because the free will debate, at least in its modern form, is conducted in terms of a mistaken approach to causality in general. At the heart of this approach is the assumption that all causation is fundamentally event causation. Of course, it is well-known that some philosophers of action want to invoke in addition an irreducible notion of agent causation, applicable only (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  31
    The Principles of Mechanics. Edited by D.E. Jones and James Walley.E. A. Singer, Henrich Hertz, D. E. Jones & J. T. Walley - 1900 - Philosophical Review 9 (6):676.
  36.  50
    Equality of Talent: John E. Roemer.John E. Roemer - 1985 - Economics and Philosophy 1 (2):151-188.
    If one is an egalitarian, what should one want to equalize? Opportunities or outcomes? Resources or welfare? These positions are usually conceived to be very different. I argue in this paper that the distinction is misconceived: the only coherent conception of resource equality implies welfare equality, in an appropriately abstract description of the problem. In this section, I motivate the program which the rest of the paper carries out.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  37.  33
    I—Helen E. Longino.Helen E. Longino - 1997 - Aristotelian Society Supplementary Volume 71 (1):19-35.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  38. Zettel. Edited by G.E.M. Anscombe and G.H. Von Wright.Ludwig Wittgenstein, G. E. M. Anscombe & G. H. von Wright - 1967 - Blackwell.
     
    Export citation  
     
    Bookmark   3 citations  
  39.  12
    I.—Review of Dr. E. Husserl's Philosophy of Arithmetic. [REVIEW]E. W. Kluge - 1972 - Mind 81 (323):321-337.
  40.  22
    Miracles and Laws of Nature: E. J. LOWE.E. J. Lowe - 1987 - Religious Studies 23 (2):263-278.
    Hume's famous discussion of miracles in the Enquiry Concerning Human Understanding is curious both on account of the arguments he does deploy and on account of the arguments he does not deploy, but might have been expected to. The first and second parts of this paper will be devoted to examining, respectively, these two objects of curiosity. The second part I regard as the more important, because I shall there try to show that the fact that Hume does not deploy (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  41. Tra dissidio e dialogo. Sulle prospettive estetico-fenomenologiche di Luciano Anceschi e Dino Formaggio.E. Franzini - 2013 - Studi di Estetica 41:133-155.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  42. Studies in the Philosophy of G. E. Moore.E. D. Klemke - 1969 - Chicago: Quadrangle Books.
     
    Export citation  
     
    Bookmark   2 citations  
  43.  24
    On Desiring the Desirable: E. J. Bond.E. J. Bond - 1981 - Philosophy 56 (218):489-496.
    In a famous passage in her book, Intention , Professor G. E. M. Anscombe argues that we can only render intelligible the idea of someone wanting a thing if we know under what aspect the person sees the thing as desirable. The wanted thing must be characterized by the wanter as desirable in some respect. ‘[What] is required for our concept of “wanting”’, she says, ‘is that a man should see what he wants under the aspect of some good’ . (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  27
    Divine Simplicity: WILLIAM E. MANN.William E. Mann - 1982 - Religious Studies 18 (4):451-471.
    In The City of God , XI, 10, St Augustine claims that the divine nature is simple because ‘it is what it has’ . We may take this as a slogan for the Doctrine of Divine Simplicity , a doctrine which finds its way into orthodox medieval Christian theological speculation. Like the doctrine of God's timeless eternality, the DDS has seemed obvious and pious to many, and incoherent, misguided, and repugnant to others. Unlike the doctrine of God's timeless eternality, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45.  47
    L'histoire du problème de la connaissance: De M. E. Cassirer.E. Meyerson - 1911 - Revue de Métaphysique et de Morale 19 (1):100 - 129.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  46.  15
    Ciò che è vivo e ciò che è morto della filosofia di hegel.E. Ritchie - 1907 - Revue Philosophique de la France Et de l'Etranger 63 (4):552-554.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  47.  43
    Cultura E Crisi Permanente: La ‘Xenia’ Dionisiaca. [REVIEW]R. E. Witt - 1972 - The Classical Review 22 (2):287-288.
  48.  22
    Dialética e experiência.Franklin Leopoldo E. Silva - 2005 - Doispontos 2 (2).
    É bem conhecida a oposição estabelecida por Kant entre experiência possível e dialética, na medida em que esta última é caracterizada como a “lógica da ilusão”. Ao mesmo tempo, o modo de pensar metafísico, que ocorre dialeticamente, em sentido kantiano, é uma tendência inevitável da razão, expressa na exigência formal de completude das categorias. Como o pensar, enquanto exercício livre da razão, é em si mesmo mais amplo do que a atividade de conhecer, própria do entendimento, o pensar contém o (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  87
    Visions of Philosophy: David E. Cooper.David E. Cooper - 2009 - Royal Institute of Philosophy Supplement 65:1-13.
    Characterizations of philosophy abound. It is ‘the queen of the sciences’, a grand and sweeping metaphysical endeavour; or, less regally, it is a sort of deep anthropology or ‘descriptive metaphysics’, uncovering the general presuppositions or conceptual schemes that lurk beneath our words and thoughts. A different set of images portray philosophy as a type of therapy, or as a spiritual exercise, a way of life to be followed, or even as a special branch of poetry or politics. Then there is (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  33
    Martin Heidegger E a Técnica.Franklin Leopoldo E. Silva - 2007 - Scientiae Studia 5 (3):369-374.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000