31 found
Sort by:
  1. Karen François, Benedikt Löwe, Thomas Müller & Bart van Kerkhove (eds.) (forthcoming). Foundations of the Formal Sciences VII, Studies in Logic. College Publications.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  2. Sam Buss, Benedikt Löwe, Dag Normann & Ivan Soskov (2013). Computability in Europe 2011. Annals of Pure and Applied Logic 164 (5):509-510.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Steve Jackson & Benedikt Löwe (2013). Canonical Measure Assignments. Journal of Symbolic Logic 78 (2):403-424.
    We work under the assumption of the Axiom of Determinacy and associate a measure to each cardinal $\kappa < \aleph_{\varepsilon_0}$ in a recursive definition of a canonical measure assignment. We give algorithmic applications of the existence of such a canonical measure assignment (computation of cofinalities, computation of the Kleinberg sequences associated to the normal ultrafilters on all projective ordinals).
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss & Benedikt Löwe (2012). Computability in Europe 2009. Annals of Pure and Applied Logic 163 (5):483-484.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Leo Esakia & Benedikt Löwe (2012). Fatal Heyting Algebras and Forcing Persistent Sentences. Studia Logica 100 (1-2):163-173.
    Hamkins and Löwe proved that the modal logic of forcing is S4.2 . In this paper, we consider its modal companion, the intermediate logic KC and relate it to the fatal Heyting algebra H ZFC of forcing persistent sentences. This Heyting algebra is equationally generic for the class of fatal Heyting algebras. Motivated by these results, we further analyse the class of fatal Heyting algebras.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Fernando Ferreira, Martin Hyland, Benedikt Löwe & Elvira Mayordomo (2012). Computability in Europe 2010. Annals of Pure and Applied Logic 163 (6):621-622.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Daisuke Ikegami, David De Kloet & Benedikt Löwe (2012). The Axiom of Real Blackwell Determinacy. Archive for Mathematical Logic 51 (7-8):671-685.
    The theory of infinite games with slightly imperfect information has been developed for games with finitely and countably many moves. In this paper, we shift the discussion to games with uncountably many possible moves, introducing the axiom of real Blackwell determinacy ${\mathsf{Bl-AD}_\mathbb{R}}$ (as an analogue of the axiom of real determinacy ${\mathsf{AD}_\mathbb{R}}$ ). We prove that the consistency strength of ${\mathsf{Bl-AD}_\mathbb{R}}$ is strictly greater than that of AD.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Benedikt Löwe & Thomas Müller (2011). Data and Phenomena in Conceptual Modelling. Synthese 182 (1):131-148.
    The distinction between data and phenomena introduced by Bogen and Woodward (Philosophical Review 97(3):303–352, 1988) was meant to help accounting for scientific practice, especially in relation with scientific theory testing. Their article and the subsequent discussion is primarily viewed as internal to philosophy of science. We shall argue that the data/phenomena distinction can be used much more broadly in modelling processes in philosophy.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  9. Arnold Beckmann, Costas Dimitracopoulos & Benedikt Löwe (2010). Computability in Europe 2008. Archive for Mathematical Logic 49 (2):119-121.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Benedikt Löwe & Thomas Müller (eds.) (2010). Phimsamp: Philosophy of Mathematics: Sociological Aspsects and Mathematical Practice. College Publications.
     
    My bibliography  
     
    Export citation  
  11. Samuel R. Buss, S. Barry Cooper, Benedikt Löwe & Andrea Sorbi (2009). Preface. Annals of Pure and Applied Logic 160 (3):229-230.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Bernd Buldt, Benedikt Löwe & Thomas Müller (2008). Preface. Erkenntnis 68 (3):305 - 307.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Bernd Buldt, Benedikt Löwe & Thomas Müller (2008). Towards a New Epistemology of Mathematics. Erkenntnis 68 (3):309 - 329.
    In this introduction we discuss the motivation behind the workshop “Towards a New Epistemology of Mathematics” of which this special issue constitutes the proceedings. We elaborate on historical and empirical aspects of the desired new epistemology, connect it to the public image of mathematics, and give a summary and an introduction to the contributions to this issue.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Benedikt Löwe & Thomas Müller (2008). Mathematical Knowledge is Context Dependent. Grazer Philosophische Studien 76 (1):91-107.
    We argue that mathematical knowledge is context dependent. Our main argument is that on pain of distorting mathematical practice, one must analyse the notion of having available a proof, which supplies justification in mathematics, in a context dependent way.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Benedikt Löwe & Eric Pacuit (2008). An Abstract Approach to Reasoning About Games with Mistaken and Changing Beliefs. Australasian Journal of Logic 6:162-181.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Benedikt Lowe, Jan-Willem Romeijn & Eric Pacuit (eds.) (2008). Proceedings of the Foundations of the Formal Sciences VI: Reasoning About Probabilities and Probabilistic Reasoning. College Publications.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  17. S. B. Cooper, Benedikt Löwe & Andrea Sorbi (eds.) (2007). New Computational Paradigms: Changing Conceptions of What is Computable. Springer.
    Logicians and theoretical physicists will also benefit from this book.
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Benedikt Löwe (2006). Set Theory With and Without Urelements and Categories of Interpretations. Notre Dame Journal of Formal Logic 47 (1):83-91.
    We show that the theories ZF and ZFU are synonymous, answering a question of Visser.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Benedikt Löwe (2006). A Parametrised Choice Principle and Martin's Conjecture on Blackwell Determinacy. Mathematical Logic Quarterly 52 (2):187-189.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Kai-Uwe Küdhnberger, Benedikt Löwe, Michael Möllerfeld & Philip Welch (2005). Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Studia Logica 81 (1):79 - 98.
    Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are boldface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Benedikt Löwe (2003). A Second Glance at Non-Restrictiveness. Philosophia Mathematica 11 (3):323-331.
    We give an example of a theory that strongly maximizes over ZFC and discuss possible consequences of this finding.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  22. Benedikt Lowe & Thoralf Rasch Malzkorn (2003). Mathematical Logic and Natural Language: Life at the Border. In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences Ii. Kluwer.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (2003). Foundations of the Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics. Kluwer.
     
    My bibliography  
     
    Export citation  
  24. Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.) (2003). Foundations of the Formal Sciences II. Kluwer.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  25. Benedikt Löwe (2002). The Formal Sciences: Their Scope, Their Foundations, and Their Unity. Synthese 133 (1-2):5 - 11.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  26. Benedikt Löwe, Florian Rudolph, Andreas Weiermann & Slow Versus Fast Growing (2002). Foundations of the Formal Sciences I. Synthese 133:463-464.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Benedikt Löwe (2001). A First Glance at Non-Restrictivenesst. Philosophia Mathematica 9 (3):347-354.
    Maddy's notion of restrictiveness has many problematic aspects, one of them being that it is almost impossible to show that a theory is not restrictive. In this note the author addresses a crucial question of Martin Goldstern (Vienna) and points to some directions of future research.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. Benedikt Löwe (2001). Turing Cones and Set Theory of the Reals. Archive for Mathematical Logic 40 (8):651-664.
    We investigate Turing cones as sets of reals, and look at the relationship between Turing cones, measures, Baire category and special sets of reals, using these methods to show that Martin's proof of Turing Determinacy (every determined Turing closed set contains a Turing cone or is disjoint from one) does not work when you replace “determined” with “Blackwell determined”. This answers a question of Tony Martin.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. Benedikt Löwe & Philip D. Welch (2001). Set-Theoretic Absoluteness and the Revision Theory of Truth. Studia Logica 68 (1):21-41.
    We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1/2 set.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  30. Jörg Brendle & Benedikt Löwe (1999). Solovay-Type Characterizations for Forcing-Algebras. Journal of Symbolic Logic 64 (3):1307-1323.
    We give characterizations for the (in ZFC unprovable) sentences "Every Σ 1 2 -set is measurable" and "Every Δ 1 2 -set is measurable" for various notions of measurability derived from well-known forcing partial orderings.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  31. Benedikt Löwe (1998). Uniform Unfolding and Analytic Measurability. Archive for Mathematical Logic 37 (8):505-520.
    We generalize Solovay's unfolding technique for infinite games and use an Unfolding Theorem to give a uniform method to prove that all analytic sets are in the $\sigma$ -algebras of measurability connected with well-known forcing notions.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation