Results for 'Sigrid Koepke-Fruend'

253 found
Order:
  1.  25
    A Century of Philosophy: Hans-Georg Gadamer in Conversation with Riccardo Dottori Translated by Rod Coltman with Sigrid Koepke.Brian Gregor - 2006 - Heythrop Journal 47 (4):676–677.
  2.  5
    A Century of Philosophy: Hans‐Georg Gadamer in Conversation with Riccardo Dottori Translated by Rod Coltman with Sigrid Koepke.Brian Gregor - 2006 - Heythrop Journal 47 (4):676-677.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  31
    The Basic Theory of Infinite Time Register Machines.Merlin Carl, Tim Fischbach, Peter Koepke, Russell Miller, Miriam Nasfi & Gregor Weckbecker - 2010 - Archive for Mathematical Logic 49 (2):249-273.
    Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor steps are determined by standard register machine commands. At limit times register contents are defined by appropriate limit operations. In this paper, we examine the ITRMs introduced by the third and fourth author (Koepke and Miller in Logic and Theory of Algorithms LNCS, pp. 306–315, 2008), where a register content at a limit time is set (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  22
    Hyperfine Structure Theory and Gap 1 Morasses.Sy-David Friedman, Peter Koepke & Boris Piwinger - 2006 - Journal of Symbolic Logic 71 (2):480 - 490.
    Using the Friedman-Koepke Hyperfine Structure Theory of [2], we provide a short construction of a gap 1 morass in the constructible universe.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  28
    Andrzej Walicki i \\\"warszawska szkoła historyków (historii) idei\".Ireneusz Koepke - 2005 - Filo-Sofija 5 (1(5)):259-276.
    Author: Koepke Ireneusz Title: ANDRZEJ WALICKI AND “WARSAW SCHOOL OF THE HISTORY OF IDEAS” (Andrzej Walicki i „warszawska szkoła historyków (historii) idei”) Source: Filo-Sofija year: 2005, vol:.5, number: 2005/1, pages: 259-276 Keywords: ANDRZEJ WALICKI, WARSAW SCHOOL OF THE HISTORY OF IDEAS Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:This article is an attempt of presenting Andrzej Walicki connections with the so called Warsaw School of the History of Ideas and his research on (...)
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  28
    Register Computations on Ordinals.Peter Koepke & Ryan Siders - 2008 - Archive for Mathematical Logic 47 (6):529-548.
    We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounded truth predicate on the ordinals. The class of sets of ordinals which can be read off the truth predicate satisfies a natural theory SO. SO is the theory of the sets of ordinals in a model of the Zermelo-Fraenkel axioms ZFC. This allows the following characterization of computable sets: a set of ordinals is ordinal register (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7.  64
    Turing Computations on Ordinals.Peter Koepke - 2005 - Bulletin of Symbolic Logic 11 (3):377-397.
    We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. We show that a set of ordinals is ordinal computable from a finite set of ordinal parameters if and only if it is an element of Gödel's constructible universe L. This characterization can be used to prove the generalized continuum hypothesis in L.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  8. The Consistency Strength of the Free-Subset Property for Ωω.Peter Koepke - 1984 - Journal of Symbolic Logic 49 (4):1198 - 1204.
  9.  38
    Making All Cardinals Almost Ramsey.Arthur W. Apter & Peter Koepke - 2008 - Archive for Mathematical Logic 47 (7-8):769-783.
    We examine combinatorial aspects and consistency strength properties of almost Ramsey cardinals. Without the Axiom of Choice, successor cardinals may be almost Ramsey. From fairly mild supercompactness assumptions, we construct a model of ZF + ${\neg {\rm AC}_\omega}$ in which every infinite cardinal is almost Ramsey. Core model arguments show that strong assumptions are necessary. Without successors of singular cardinals, we can weaken this to an equiconsistency of the following theories: “ZFC + There is a proper class of regular almost (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  26
    A Minimal Prikry-Type Forcing for Singularizing a Measurable Cardinal.Peter Koepke, Karen Räsch & Philipp Schlicht - 2013 - Journal of Symbolic Logic 78 (1):85-100.
    Recently, Gitik, Kanovei and the first author proved that for a classical Prikry forcing extension the family of the intermediate models can be parametrized by $\mathscr{P}(\omega)/\mathrm{finite}$. By modifying the standard Prikry tree forcing we define a Prikry-type forcing which also singularizes a measurable cardinal but which is minimal, i.e., there are \emph{no} intermediate models properly between the ground model and the generic extension. The proof relies on combining the rigidity of the tree structure with indiscernibility arguments resulting from the normality (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  12
    On the Consistency Strength of ‘Accessible’ Jonsson Cardinals and of the Weak Chang Conjecture.Hans-Dieter Donder & Peter Koepke - 1983 - Annals of Pure and Applied Logic 25 (3):233-261.
  12.  8
    Pluralities of Questions.Beck Sigrid & Sharvit Yael - 2002 - Journal of Semantics 19 (2):105-157.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  6
    Ordinal Machines and Admissible Recursion Theory.Peter Koepke & Benjamin Seyfferth - 2009 - Annals of Pure and Applied Logic 160 (3):310-318.
    We generalize standard Turing machines, which work in time ω on a tape of length ω, to α-machines with time α and tape length α, for α some limit ordinal. We show that this provides a simple machine model adequate for classical admissible recursion theory as developed by G. Sacks and his school. For α an admissible ordinal, the basic notions of α-recursive or α-recursively enumerable are equivalent to being computable or computably enumerable by an α-machine, respectively. We emphasize the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  13
    Lessons From Frankenstein: Narrative Myth as Ethical Model.Yvette Koepke - 2019 - Medical Humanities 45 (1):27-36.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  21
    Superatomic Boolean Algebras Constructed From Morasses.Peter Koepke & Juan Carlos Martínez - 1995 - Journal of Symbolic Logic 60 (3):940-951.
    By using the notion of a simplified (κ,1)-morass, we construct κ-thin-tall, κ-thin-thick and, in a forcing extension, κ-very thin-thick superatomic Boolean algebras for every infinite regular cardinal κ.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  20
    An Elementary Approach to the Fine Structure of L.Sy D. Friedman & Peter Koepke - 1997 - Bulletin of Symbolic Logic 3 (4):453-468.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  4
    Some Applications of Short Core Models.Peter Koepke - 1988 - Annals of Pure and Applied Logic 37 (2):179-204.
    We survey the definition and fundamental properties of the family of short core models, which extend the core model K of Dodd and Jensen to include α-sequences of measurable cardinals . The theory is applied to various combinatorial principles to get lower bounds for their consistency strengths in terms of the existence of sequences of measurable cardinals. We consider instances of Chang's conjecture, ‘accessible’ Jónsson cardinals, the free subset property for small cardinals, a canonization property of ω ω , and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  11
    The First Measurable Cardinal Can Be the First Uncountable Regular Cardinal at Any Successor Height.Arthur W. Apter, Ioanna M. Dimitriou & Peter Koepke - 2014 - Mathematical Logic Quarterly 60 (6):471-486.
  19.  29
    Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem.Peter Koepke - 1998 - Journal of Symbolic Logic 63 (3):1137-1176.
    We propose a simple notion of "extender" for coding large elementary embeddings of models of set theory. As an application we present a self-contained proof of the theorem by D. Martin and J. Steel that infinitely many Woodin cardinals imply the determinacy of every projective set.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  8
    Pluractional Adverbials.Beck Sigrid & Von Stechow Arnim - 2007 - Journal of Semantics 24 (3):215-254.
    This paper investigates the semantics of adverbials like ‘page by page’ and ‘stone upon stone’. An analysis is developed in which sentences containing such adverbials have a pluractional semantics; that is, pluralization affects simultaneously the event- and the individual-argument slot of a predicate. Sternefeld's system of plural operators is used and extended for this purpose. The adverbial constrains the relation that is pluralized and makes visible a higher plural operator. In the case of ‘page by page’-type adverbials, this is a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  12
    The Consistency Strength of $$\Aleph{\Omega}$$ and $$\Aleph_{{\Omega}1}$$ Being Rowbottom Cardinals Without the Axiom of Choice.Arthur W. Apter & Peter Koepke - 2006 - Archive for Mathematical Logic 45 (6):721-737.
    We show that for all natural numbers n, the theory “ZF + DC $_{\aleph_n}$ + $\aleph_{\omega}$ is a Rowbottom cardinal carrying a Rowbottom filter” has the same consistency strength as the theory “ZFC + There exists a measurable cardinal”. In addition, we show that the theory “ZF + $\aleph_{\omega_1}$ is an ω 2-Rowbottom cardinal carrying an ω 2-Rowbottom filter and ω 1 is regular” has the same consistency strength as the theory “ZFC + There exist ω 1 measurable cardinals”. We (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  18
    Towards a Theory of Infinite Time Blum-Shub-Smale Machines.Peter Koepke & Benjamin Seyfferth - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 405--415.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  62
    The Category of Inner Models.Peter Koepke - 2002 - Synthese 133 (1-2):275 - 303.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  24.  5
    There and Back Again: A Semantic Analysis.Beck Sigrid - 2005 - Journal of Semantics 22 (1):3-51.
    This paper presents a cross-linguistic survey of the interpretations that decomposition adverbs like _again_ permit. The survey distinguishes two different types of predicates that are combined with _again_: lexical accomplishments like ‘open the door’, on the one hand, and combinations of a motion verb with a directional Prepositional Phrase on the other. There is systematic cross-linguistic variation with the latter type of predicate: a language only permits a restitutive reading of _again_ with such a predicate if the language has resultative (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  20
    Homogeneously Souslin Sets in Small Inner Models.Peter Koepke & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (1):53-61.
    We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K, where K is the core model below a μ-measurable cardinal.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  12
    Regularity of Ultrafilters and the Core Model.Hans-Dieter Donder, Peter Koepke, Jean-Pierre Levinski & D. J. Walker - 1990 - Journal of Symbolic Logic 55 (3):1313-1315.
  27.  38
    On the Elimination of Malitz Quantifiers Over Archimedian Real Closed Fields.Peter Koepke - 1989 - Archive for Mathematical Logic 28 (3):167-171.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  13
    On the Free Subset Property at Singular Cardinals.Peter Koepke - 1989 - Archive for Mathematical Logic 28 (1):43-55.
    We give a proof ofTheorem 1. Let κ be the smallest cardinal such that the free subset property Fr ω (κ,ω 1)holds. Assume κ is singular. Then there is an inner model with ω1 measurable cardinals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  40
    The Consistency Strength of Choiceless Failures of SCH.Arthur W. Apter & Peter Koepke - 2010 - Journal of Symbolic Logic 75 (3):1066-1080.
    We determine exact consistency strengths for various failures of the Singular Cardinals Hypothesis (SCH) in the setting of the Zermelo-Fraenkel axiom system ZF without the Axiom of Choice (AC). By the new notion of parallel Prikry forcing that we introduce, we obtain surjective failures of SCH using only one measurable cardinal, including a surjective failure of Shelah's pcf theorem about the size of the power set of $\aleph _{\omega}$ . Using symmetric collapses to $\aleph _{\omega}$ , $\aleph _{\omega _{1}}$ , (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  30.  6
    All Uncountable Cardinals in the Gitik Model Are Almost Ramsey and Carry Rowbottom Filters.Arthur W. Apter, Ioanna M. Dimitriou & Peter Koepke - 2016 - Mathematical Logic Quarterly 62 (3):225-231.
    Using the analysis developed in our earlier paper, we show that every uncountable cardinal in Gitik's model of in which all uncountable cardinals are singular is almost Ramsey and is also a Rowbottom cardinal carrying a Rowbottom filter. We assume that the model of is constructed from a proper class of strongly compact cardinals, each of which is a limit of measurable cardinals. Our work consequently reduces the best previously known upper bound in consistency strength for the theory math formula (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. X1. Introduction. In 1938, K. Gödel Defined the Model L of Set Theory to Show the Relative Consistency of Cantor's Continuum Hypothesis. L is Defined as a Union L=. [REVIEW]Syd Friedman & Peter Koepke - 1997 - Bulletin of Symbolic Logic 3 (4).
  32.  4
    On the Consistency Strength of `Accessible' Jonsson Cardinals and of the Weak Chang Conjecture.Some Applications of Short Core Models.Hans-Dieter Donder & Peter Koepke - 1989 - Journal of Symbolic Logic 54 (4):1496-1497.
  33.  6
    Global Square and Mutual Stationarity at the ℵn.Peter Koepke & Philip D. Welch - 2011 - Annals of Pure and Applied Logic 162 (10):787-806.
    We give the proof of a theorem of Jensen and Zeman on the existence of a global □ sequence in the Core Model below a measurable cardinal κ of Mitchell order ) equal to κ++, and use it to prove the following theorem on mutual stationarity at n.Let ω1 denote the first uncountable cardinal of V and set to be the class of ordinals of cofinality ω1.TheoremIf every sequence n m. In particular, there is such a model in which for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  34.  4
    Nemesis Und Geschichtsdialektik?Wulf Koepke - 1990 - In Kurt Mueller-Vollmer (ed.), Herder Today: Contributions From the International Herder Conference, November 5–8, 1987, Stanford, California. De Gruyter. pp. 85-96.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  3
    The Consistency Strength of the Free-Subset Property for $Omega_omega$.Peter Koepke - 1984 - Journal of Symbolic Logic 49 (4):1198-1204.
  36. The Consistency Strength of InlineEquation ID=" IEq1"> EquationSource Format=" TEX"> ImageObject Color=" BlackWhite" FileRef=" 15320065ArticleIEq1. Gif" Format=" GIF" Rendition=" HTM" Type=" Linedraw"/> And. [REVIEW]Arthur W. Apter & Peter Koepke - 2006 - Archive for Mathematical Logic 45 (6):721-738.
  37. To Show the Relative Consistency of Cantor's Continuum Hypothesis. L is Defined as a Union L=⋃.Syd Friedman & Peter Koepke - 1997 - Bulletin of Symbolic Logic 3 (4).
  38. Covering Properties of Core Models.Ernest Schimmerling, Peter Koepke, William J. Mitchell & John R. Steel - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
  39.  20
    "... Der Aus der Kulturellen Produktion Verdrängte Frauenleib" Ein Gespräch MIT Sigrid Weigel.Sigrid Schade - 1992 - Die Philosophin 3 (6):105-107.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40. Sigrid Combüchen´s Modern Tale Parsifal (1998): Time and Narrative Compared with Heliodorus´Aethiopica.Bo S. Svensson - 2011 - In Marília P. Futre Pinheiro & Stephen J. Harrison, Marília P. Futre Pinheiro & Stephen J. Harrison (eds.), Fictional Traces: Receptions of the Ancient Novel, Volume 1. Groningen: Barkhuis Publishing & Groningen University Library. pp. 217-226.
    Time and narratice technique compared. Two novelists, Heliodorus, 3rd century author of the novel Aethiopica and Sigrid Combüchen, contemporary Swedish novelist using a dystopian Europe around 2050 as a scenic setting. In both stories girls and women are captured and killed by soldiers. Both narrators are external to the story being told, presented in the past tense. But Combüchen´s narrator adopts it as a confession, and a turning point in his career as a commanding general, characterized by"double-bind".
    No categories
     
    Export citation  
     
    Bookmark  
  41.  21
    Hans-Dieter Donder and Peter Koepke. On the Consistency Strength of ‘Accessible’ Jonsson Cardinals and of the Weak Chang Conjecture. Annals of Pure and Applied Logic, Vol. 25 , Pp. 233–261. - Peter Koepke. Some Applications of Short Core Models. Annals of Pure and Applied Logic, Vol. 37 , Pp. 179–204. [REVIEW]Sy D. Friedman - 1989 - Journal of Symbolic Logic 54 (4):1496-1497.
  42.  14
    Donder Hans-Dieter. Regularity of Ultrafilters and the Core Model. Israel Journal of Mathematics, Vol. 63 , Pp. 289–322. - Donder Hans-Dieter, Koepke Peter, and Levinski Jean-Pierre. Some Stationary Subsets of P. Proceedings of the American Mathematical Society, Vol. 102 , Pp. 1000–1004. - Walker D. J.. On the Transversal Hypothesis and the Weak Kurepa Hypothesis. The Journal of Symbolic Logic, Vol. 53 , Pp. 854–877. [REVIEW]Stewart Baldwin - 1990 - Journal of Symbolic Logic 55 (3):1313-1315.
  43.  7
    Sigrid Schmalzer; Daniel S. Chard; Alyssa Botelho . Science for the People: Documents From America’s Movement of Radical Scientists. Ix + 236 Pp., Index. Amherst/Boston: University of Massachusetts Press, 2018. $90 . ISBN 9781625343178. [REVIEW]Sean Gilleran - 2019 - Isis 110 (1):220-221.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  42
    Jan Tolleneer, Sigrid Sterckx, and Pieter Bonte (Eds): Athletic Enhancement, Human Nature and Ethics: Threats and Opportunities of Doping Technologies.Luciana Caenazzo - 2014 - Theoretical Medicine and Bioethics 35 (3):249-250.
    The book collects contributions of different authors with diverging points of views, but it keeps a balance between acceptance and complete rejection of doping technologies, providing a rich analysis of one of the most controversial aspects of sports. The strength of the book lies in the variety of questions addressed under different ethics perspectives that affect the ethical evaluation of the phenomenon.Pieter Bonte and co-authors well identified the problem, putting the following question at the beginning of the first chapter: “Should (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  22
    Der Reinhart Fuchs des Elsässers Heinrich. Klaus Düwel, Katharina von Goetz, Frank Henrichvark, Sigrid Krause.Sibylle Jefferis - 1986 - Speculum 61 (1):141-143.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  16
    Wouter Peeters, Andries De Smet, Lisa Diependaele and Sigrid Sterckx, Climate Change and Individual Responsibility: Agency, Moral Disengagement and the Motivational Gap.Laura García-Portela - 2017 - Environmental Values 26 (2):260-262.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  24
    Michael Buddrus/Sigrid Fritzlar: Die Professoren der Universität Rostock im Dritten Reich. Ein biographisches Lexikon.Christoph Kopke - 2008 - Zeitschrift für Religions- Und Geistesgeschichte 60 (2):186-187.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  14
    Sigrid Schmalzer. Red Revolution, Green Revolution: Scientific Farming in Socialist China. X + 304 Pp., Illus., Bibl., Index. Chicago/London: University of Chicago Press, 2016. $45. [REVIEW]John Dearing - 2017 - Isis 108 (2):497-498.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  3
    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  
  50.  22
    Sigrid Graumann (2011) Assistierte Freiheit. Von einer Behindertenpolitik der Wohltätigkeit zu einer Politik der Menschenrechte.Frank Mathwig - 2013 - Ethik in der Medizin 25 (1):83-84.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 253