Results for 'Stephen George Simpson'

1000+ found
Order:
  1.  21
    Gaisi Takeuti. Proof Theory. Studies in Logic and the Foundations of Mathematics, Vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, Vii + 372 Pp. - Gaisi Takeuti. Proof Theory. Second Edition of the Preceding. Studies in Logic and the Foundations of Mathematics, Vol. 81. North-Holland, Amsterdam Etc. 1987, X + 490 Pp. - Georg Kreisel. Proof Theory: Some Personal Recollections. Therein, Pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte School in Munich to Proof Theory. Therein, Pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and Reverse Mathematics. Therein, Pp. 432–446. - Soloman Feferman. Proof Theory: A Personal Report. Therein, Pp. 447–485. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  78
    Stephen G. Simpson Subsystems of Second-Order Arithmetic.Jeffrey Ketland - 2001 - British Journal for the Philosophy of Science 52 (1):191-195.
  3.  17
    Stephen G. Simpson. Nonprovability of Certain Combinatorial Properties of Finite Trees. Harvey Friedman's Research on the Foundations of Mathematics, Edited by L. A. Harrington, M. D. Morley, A. Ṧčedrov, and S. G. Simpson, Studies in Logic and the Foundations of Mathematics, Vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, Pp. 87–117. , Pp. 45–65.). [REVIEW]W. Buchholz - 1990 - Journal of Symbolic Logic 55 (2):868-869.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  24
    Stephen G. Simpson. Subsystems of Second Order Arithmetic. Perspectives in Mathematical Logic. Springer, Berlin, Heidelberg, New York, Etc., 1999, Xiv + 445 Pp. [REVIEW]Peter Cholak - 1999 - Journal of Symbolic Logic 64 (3):1356-1357.
  5.  35
    George Simpson’s Journal.Charles H. Metzger - 1933 - Thought: Fordham University Quarterly 7 (4):678-681.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  1
    Marketization, Participation, and Communication Within New Zealand Retirement Villages: A Critical—Rhetorical and Discursive Analysis.George Cheney & Mary Simpson - 2007 - Discourse and Communication 1 (2):191-222.
    The retirement village sector1 is one part of the increasingly marketized `aged-care' services in New Zealand and in many other parts of the industrialized world. While critical researchers have examined organizational and residents' representations of aging, retirement, and retirement communities in the context of `the market', there is no research that examines communication related to residents' enactment of participation within these settings with respect to these processes of marketization. We aim to refine, complicate, and extend what we might call `the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  19
    Stephen G. Simpson. Friedman's Research on Subsystems of Second Order Arithmetic. Harvey Friedman's Research on the Foundations of Mathematics, Edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in Logic and the Foundations of Mathematics, Vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, Pp. 137–159. [REVIEW]Wilfried Sieg - 1990 - Journal of Symbolic Logic 55 (2):870-874.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Countable Algebra and Set Existence Axioms. Annals of Pure and Applied Logic, Vol. 25 , Pp. 141–181. - Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Addendum to “Countable Algebra and Set Existence Axioms.” Annals of Pure and Applied Logic, Vol. 28 , Pp. 319–320. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
  9. G. Lynn Stephens & George Graham: When Self-Consciousness Breaks: Alien Voices and Inserted Thoughts.P. Zachar - 2002 - Consciousness and Emotion 3 (2):273-279.
  10.  3
    Review: Stephen G. Simpson, Nonprovability of Certain Combinatorial Properties of Finite Trees. [REVIEW]W. Buchholz - 1990 - Journal of Symbolic Logic 55 (2):868-869.
  11.  20
    Failure to Maintain Equivalence of Groups in Cognitive Research: Evidence From Dual-Task Methodology.F. Richard Ferraro, George Kellas & Greg B. Simpson - 1993 - Bulletin of the Psychonomic Society 31 (4):301-303.
  12.  5
    Review: Stephen G. Simpson, Subsystems of Second Order Arithmetic. [REVIEW]Peter Cholak - 1999 - Journal of Symbolic Logic 64 (3):1356-1357.
  13.  12
    A Mediaeval Game in Use Today.George R. Stephens - 1937 - Speculum 12 (2):264-267.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  13
    The Burial-Place of St. Lewinna.George R. Stephens - 1959 - Mediaeval Studies 21 (1):303-312.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  1
    An Emotion Regulation and Impulse Control (ERIC) Intervention for Vulnerable Young People: A Multi-Sectoral Pilot Study.Kate Hall, George Youssef, Angela Simpson, Elise Sloan, Liam Graeme, Natasha Perry, Richard Moulding, Amanda L. Baker, Alison K. Beck & Petra K. Staiger - 2021 - Frontiers in Psychology 12.
    Objective: There is a demonstrated link between the mental health and substance use comorbidities experienced by young adults, however the vast majority of psychological interventions are disorder specific. Novel psychological approaches that adequately acknowledge the psychosocial complexity and transdiagnostic needs of vulnerable young people are urgently needed. A modular skills-based program for emotion regulation and impulse control addresses this gap. The current one armed open trial was designed to evaluate the impact that 12 weeks exposure to ERIC alongside usual care (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    Alfred the Great. Eleanor Shipley Duckett.George R. Stephens - 1957 - Speculum 32 (3):554-557.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  30
    Tom Simpson, Peter Carruthers, Stephen Laurence, & Stephen Stich.Stephen Laurence - 2005 - In Peter Carruthers (ed.), The Innate Mind: Structure and Contents. New York: Oxford University Press New York. pp. 1--3.
  18.  41
    Review: Stephen G. Simpson, Friedman's Research on Subsystems of Second Order Arithmetic. [REVIEW]Wilfried Sieg - 1990 - Journal of Symbolic Logic 55 (2):870-874.
  19. G. Lynn Stephens & George Graham, When Self-Consciousness Breaks.J. McCrone - 2001 - Journal of Consciousness Studies 8 (8):88-89.
  20.  17
    Angus Macintyre. Ramsey Quantifiers in Arithmetic. Model Theory of Algebra and Arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1–7, 1979, Edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture Notes in Mathematics, Vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, Pp. 186–210. - James H. Schmerl and Stephen G. Simpson. On the Role of Ramsey Quantifiers in First Order Arithmetic. The Journal of Symbolic Logic, Vol. 47 , Pp. 423–435. - Carl Morgenstern. On Generalized Quantifiers in Arithmetic. The Journal of Symbolic Logic, Vol. 47 , Pp. 187–190. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  21.  14
    Logic and Computation, Proceedings of a Workshop Held at Carnegie Mellon University, June 30–July 2, 1987, Edited by Wilfried Sieg, Contemporary Mathematics, Vol. 106, American Mathematical Society, Providence1990, Xiv + 297 Pp. - Douglas K. Brown. Notions of Closed Subsets of a Complete Separable Metric Space in Weak Subsystems of Second Order Arithmetic. Pp. 39–50. - Kostas Hatzikiriakou and Stephen G. Simpson. WKL0 and Orderings of Countable Abelian Groups. Pp. 177–180. - Jeffry L. Hirst. Marriage Theorems and Reverse Mathematics. Pp. 181–196. - Xiaokang Yu. Radon–Nikodym Theorem is Equivalent to Arithmetical Comprehension. Pp. 289–297. - Fernando Ferreira. Polynomial Time Computable Arithmetic. Pp. 137–156. - Wilfried Buchholz and Wilfried Sieg. A Note on Polynomial Time Computable Arithmetic. Pp. 51–55. - Samuel R. Buss. Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic. Pp. 57–84. - Gaisi Takeuti. Sharply Bounded Arithmetic and the Function a – 1. Pp. 2. [REVIEW]Jörg Hudelmaier - 1996 - Journal of Symbolic Logic 61 (2):697-699.
  22. Review: Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Countable Algebra and Set Existence Axioms; Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Addendum to "Countable Algebra and Set Existence Axioms.". [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
  23.  7
    Review: Angus Macintyre, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Ramsey Quantifiers in Arithmetic; James H. Schmerl, Stephen G. Simpson, On the Role of Ramsey Quantifiers in First Order Arithmetic; Carl Morgenstern, On Generalized Quantifiers in Arithmetic. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  24. When Self-Consciousness Breaks: Alien Voices and Inserted Thoughts by G. Lynn Stephens George Graham.Peter Zachar - 2002 - Consciousness and Emotion 3 (2):273-280.
  25.  4
    Kurt Gödel. Essays for His Centennial, Edited by Solomon Feferman, Charles Parsons, and Stephen G. Simpson, Cambridge University Press, Cambridge and Others, 2010, X + 373 Pp. [REVIEW]Matthias Wille - 2011 - Bulletin of Symbolic Logic 17 (1):125-126.
  26.  8
    Revisiting George Gaylord Simpson’s “The Role of the Individual in Evolution”.Lynn K. Nyhart & Scott Lidgard - 2021 - Biological Theory 16 (4):203-212.
    “The Role of the Individual in Evolution” is a prescient yet neglected 1941 work by the 20th century’s most important paleontologist, George Gaylord Simpson. In a curious intermingling of explanation and critique, Simpson engages questions that would become increasingly fundamental in modern biological theory and philosophy. Did individuality, adaptation, and evolutionary causation reside at more than one level: the cell, the organism, the genetically coherent reproductive group, the social group, or some combination thereof? What was an individual, (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  27.  20
    [Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
    Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   90 citations  
  28.  29
    Embeddings Into the Medvedev and Muchnik Lattices of Π0 1 Classes.Stephen Binns & Stephen G. Simpson - 2004 - Archive for Mathematical Logic 43 (3):399-414.
    Let w and M be the countable distributive lattices of Muchnik and Medvedev degrees of non-empty Π1 0 subsets of 2ω, under Muchnik and Medvedev reducibility, respectively. We show that all countable distributive lattices are lattice-embeddable below any non-zero element of w . We show that many countable distributive lattices are lattice-embeddable below any non-zero element of M.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  29. Subsystems of Second-Order Arithmetic.Stephen G. Simpson - 2004 - Studia Logica 77 (1):129-129.
     
    Export citation  
     
    Bookmark   203 citations  
  30.  4
    Peter Carruthers,< 51 Stephen Laurence.Tom Simpson & Stephen Stich - 2005 - In Peter Carruthers, Stephen Laurence & Stephen P. Stich (eds.), The Innate Mind: Structure and Contents. Oxford University Press. pp. 2--3.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  27
    On the Demystification of Mental Imagery.Stephen M. Kosslyn, Steven Pinker, George E. Smith & Steven P. Shwartz - 1979 - Behavioral and Brain Sciences 2 (4):535-548.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   187 citations  
  32.  5
    Hegel's Lectures on the History of Philosophy.Georg Wilhelm Friedrich Hegel, Elizabeth Sanderson Haldane & Frances H. Simpson - 1955 - Routledge and Kegan Paul.
    This new abridgment of a well-known edition makes the main insights of Hegel's famous Lectures on the History of Philosophy widely available in an inexpensive edition.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  33.  30
    Measure Theory and Weak König's Lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
    We develop measure theory in the context of subsystems of second order arithmetic with restricted induction. We introduce a combinatorial principleWWKL (weak-weak König's lemma) and prove that it is strictly weaker thanWKL (weak König's lemma). We show thatWWKL is equivalent to a formal version of the statement that Lebesgue measure is countably additive on open sets. We also show thatWWKL is equivalent to a formal version of the statement that any Borel measure on a compact metric space is countably additive (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  34. Powers: A Study in Metaphysics.George Molnar & Stephen Mumford - 2006 - Philosophy and Phenomenological Research 72 (2):485-487.
    No categories
     
    Export citation  
     
    Bookmark   123 citations  
  35. Partial Realizations of Hilbert's Program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.
  36. Powers: A Study in Metaphysics.George Molnar & Stephen Mumford - 2005 - Philosophical Quarterly 55 (221):674-677.
    No categories
     
    Export citation  
     
    Bookmark   111 citations  
  37.  60
    When Self-Consciousness Breaks: Alien Voices and Inserted Thoughts.G. Lynn Stephens & George Graham - 2000 - MIT Press.
    An examination of verbal hallucinations and thought insertion as examples of "alienated self-consciousness.".
    Direct download  
     
    Export citation  
     
    Bookmark   95 citations  
  38. Mass Problems and Randomness.Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (1):1-27.
    A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if every member of Q Turing computes a member of P. We say that P is strongly reducible to Q if every member of Q Turing computes a member of P via a fixed Turing functional. The weak degrees and strong degrees are the equivalence classes of mass problems under weak and strong reducibility, respectively. We (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  39.  31
    Almost Everywhere Domination and Superhighness.Stephen G. Simpson - 2007 - Mathematical Logic Quarterly 53 (4):462-482.
    Let ω be the set of natural numbers. For functions f, g: ω → ω, we say f is dominated by g if f < g for all but finitely many n ∈ ω. We consider the standard “fair coin” probability measure on the space 2ω of in-finite sequences of 0's and 1's. A Turing oracle B is said to be almost everywhere dominating if, for measure 1 many X ∈ 2ω, each function which is Turing computable from X is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  40.  8
    Philosophical Psychopathology.George Graham & G. Lynn Stephens - 1994 - MIT Press.
  41.  16
    Mass Problems and Intuitionism.Stephen G. Simpson - 2008 - Notre Dame Journal of Formal Logic 49 (2):127-136.
    Let $\mathcal{P}_w$ be the lattice of Muchnik degrees of nonempty $\Pi^0_1$ subsets of $2^\omega$. The lattice $\mathcal{P}$ has been studied extensively in previous publications. In this note we prove that the lattice $\mathcal{P}$ is not Brouwerian.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  42.  40
    Which Set Existence Axioms Are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
    We investigate the provability or nonprovability of certain ordinary mathematical theorems within certain weak subsystems of second order arithmetic. Specifically, we consider the Cauchy/Peano existence theorem for solutions of ordinary differential equations, in the context of the formal system RCA 0 whose principal axioms are ▵ 0 1 comprehension and Σ 0 1 induction. Our main result is that, over RCA 0 , the Cauchy/Peano Theorem is provably equivalent to weak Konig's lemma, i.e. the statement that every infinite {0, 1}-tree (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  43.  77
    Outlines of the Philosophy of Right.Stephen Houlgate & Georg Wilhelm Friedrich Hegel (eds.) - 2008 - Oxford University Press.
    Hegel's Philosophy of right concerns ideas on justice, moral responsibility, family life, economic activity and the political structure of the state. He shows how human freedom involves living with others in accordance with publicly recognized rights and laws.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  44.  26
    Which Set Existence Axioms Are Needed to Prove the Separable Hahn-Banach Theorem?Douglas K. Brown & Stephen G. Simpson - 1986 - Annals of Pure and Applied Logic 31:123-144.
  45.  38
    Reverse Mathematics and Peano Categoricity.Stephen G. Simpson & Keita Yokoyama - 2013 - Annals of Pure and Applied Logic 164 (3):284-293.
    We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to be (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46.  22
    'Molecules and Monkeys': George Gaylord Simpson and the Challenge of Molecular Evolution.Jay Aronson - 2002 - History and Philosophy of the Life Sciences 24 (3/4):441 - 465.
    In this paper, I analyze George Gaylord Simpson's response to the molecularization of evolutionary biology from his unique perspective as a paleontologist. I do so by exploring his views on early attempts to reconstruct phylogenetic relationships among primates using molecular data. Particular attention is paid to Simpson's role in the evolutionary synthesis of the 1930s and 1940s, as well as his concerns about the rise of molecular biology as a powerful discipline and world-view in the 1960s. I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  47.  41
    Mass Problems and Hyperarithmeticity.Joshua A. Cole & Stephen G. Simpson - 2007 - Journal of Mathematical Logic 7 (2):125-143.
    A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if for all Y ∈ Q there exists X ∈ P such that X is Turing reducible to Y. A weak degree is an equivalence class of mass problems under mutual weak reducibility. Let [Formula: see text] be the lattice of weak degrees of mass problems associated with nonempty [Formula: see text] subsets of the Cantor (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  48. When Selfconsciousness Breaks: Alien Voices and Inserted Thoughts.G. Lynn Stephens & George Graham - 2002 - Philosophical Quarterly 52 (206):128-131.
    No categories
     
    Export citation  
     
    Bookmark   78 citations  
  49.  26
    Hannah Arendt: Politics, Conscience, Evil.George Kateb, Bhikhu Parekh, Gordon J. Tolle, Stephen J. Whitfield & Elisabeth Young-Bruehl - 1983 - Human Studies 10 (2):247-261.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  50. Philosophical Psychopathology.George Graham & G. Lynn Stephens - 1998 - Philosophical Quarterly 48 (193):545-548.
    No categories
     
    Export citation  
     
    Bookmark   59 citations  
1 — 50 / 1000