Benedikt Löwe

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 11

Top Topics

Selected Papers

Top Venues

Ann. Pure Appl. Log.

Publications

Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe
Symmetry for Transfinite Computability. CiE (2023)
Lorenzo Galeotti, Benedikt Löwe
Order Types of Models of Fragments of Peano Arithmetic. Bull. Symb. Log. 28 (2) (2022)
Benedikt Löwe, Ursula Martin, Alison Pease
Enabling mathematical cultures: introduction. Synth. 198 (26) (2021)
Richard Elwes, Andy Lewis-Pye, Benedikt Löwe, Dugald Macpherson, Dag Normann, Andrea Sorbi, Alexandra A. Soskova, Mariya Ivanova Soskova, Peter van Emde Boas, Stanley S. Wainer
S. Barry Cooper (1943-2015). Comput. 7 (2-3) (2018)
Alexander C. Block, Benedikt Löwe
A multiplication operation for the hierarchy of norms. Ann. Pure Appl. Log. 169 (7) (2018)
Benedikt Löwe
Preface to the special issue in memory of S. Barry Cooper (1943-2015). Comput. 7 (2-3) (2018)
Merlin Carl, Benedikt Löwe, Benjamin G. Rin
Koepke Machines and Satisfiability for Infinitary Propositional Languages. CiE (2017)
Benedikt Löwe
Barry Cooper (1943-2015): The engine of Computability in Europe. Comput. 5 (1) (2016)
Tanmay Inamdar, Benedikt Löwe
The Modal Logic of Inner Models. J. Symb. Log. 81 (1) (2016)
Luca Incurvati, Benedikt Löwe
Restrictiveness Relative to Notions of Interpretation. Rev. Symb. Log. 9 (2) (2016)
Yurii Khomskii, Giorgio Laguzzi, Benedikt Löwe, Ilya Sharankou
Questions on generalised Baire spaces. Math. Log. Q. 62 (4-5) (2016)
Benedikt Löwe, Sourav Tarafder
Generalized Algebra-Valued Models of Set Theory. Rev. Symb. Log. 8 (1) (2015)
Brendan P. Larvor, Benedikt Löwe, Dirk Schlimm
History and philosophy of infinity - Selected papers from the conference "Foundations of the Formal Sciences VIII" held at Corpus Christi College, Cambridge, England, 20-23 September 2013. Synth. 192 (8) (2015)
Alessandra Carbone, Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo
Computability in Europe 2010. J. Log. Comput. 25 (4) (2015)
Bernhard Fisseni, Benedikt Löwe
What Makes Stories Similar? Report on a Research Project, 2011-2014 (Invited Report). CMN (2014)
Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel
Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports 4 (1) (2014)
Bernhard Fisseni, Aadil Kurji, Benedikt Löwe
: reproducibility and trainability. Lit. Linguistic Comput. 29 (4) (2014)
S. Barry Cooper, Anuj Dawar, Martin Hyland, Benedikt Löwe
Turing Centenary Conference: How the World Computes. Ann. Pure Appl. Log. 165 (9) (2014)
Steve Jackson, Benedikt Löwe
Canonical measure assignments. J. Symb. Log. 78 (2) (2013)
Sam Buss, Benedikt Löwe, Dag Normann, Ivan N. Soskov
Computability in Europe 2011. Ann. Pure Appl. Log. 164 (5) (2013)
Mark A. Finlayson, Bernhard Fisseni, Dedre Gentner, Richard Gerrig, Benedikt Löwe, Jeffrey Loewenstein, Inderjeet Mani, Jan Christoph Meister, Robert Michael Young
Computational and Cognitive Aspects of Narrative. CogSci (2013)
Klaus Ambos-Spies, Arnold Beckmann, Erzsébet Csuhaj-Varjú, Benedikt Löwe
Computability in Europe 2009. J. Log. Comput. 23 (4) (2013)
Joel David Hamkins, Benedikt Löwe
Moving Up and Down in the Generic Multiverse. ICLA (2013)
Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo
Programs, Proofs, Processes. Theory Comput. Syst. 51 (3) (2012)
Daisuke Ikegami, David de Kloet, Benedikt Löwe
The axiom of real Blackwell determinacy. Arch. Math. Log. 51 (7-8) (2012)
Arnold Beckmann, Benedikt Löwe
Computability in Europe 2008. J. Log. Comput. 22 (2) (2012)
Vasco Brattka, Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Elvira Mayordomo
Editorial. Comput. 1 (1) (2012)
Arnold Beckmann, Wolfgang Merkle, Benedikt Löwe
Computability in Europe 2009. Theory Comput. Syst. 51 (1) (2012)
Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss, Benedikt Löwe
Computability in Europe 2009. Ann. Pure Appl. Log. 163 (5) (2012)
Benedikt Löwe, Bernhard Fisseni, Carlos León, Rens Bod
Computational models of narrative structure. DH (2012)
Leo Esakia, Benedikt Löwe
Fatal Heyting Algebras and Forcing Persistent Sentences. Stud Logica 100 (1-2) (2012)
Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo
Computability in Europe 2010. Ann. Pure Appl. Log. 163 (6) (2012)
Arnold Beckmann, Benedikt Löwe
Computability in Europe 2008. Theory Comput. Syst. 48 (3) (2011)
Benedikt Löwe, Thomas Müller
Data and phenomena in conceptual modelling. Synth. 182 (1) (2011)
Cédric Dégremont, Benedikt Löwe, Andreas Witzel
The synchronicity of dynamic epistemic logic. TARK (2011)
Benedikt Löwe, Eric Pacuit, Andreas Witzel
DEL Planning and Some Tractable Cases. LORI (2011)
Benedikt Löwe
Comparing Formal Frameworks of Narrative Structure. AAAI Fall Symposium: Computational Models of Narrative (2010)
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe
Computability in Europe 2008. Arch. Math. Log. 49 (2) (2010)
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
Logic and Computation in the Real World: CiE 2007. J. Log. Comput. 19 (1) (2009)
Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
Foreword. Theor. Comput. Sci. 410 (4-5) (2009)
Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
Preface. Ann. Pure Appl. Log. 160 (3) (2009)
Arnold Beckmann, Edwin J. Beggs, Benedikt Löwe
From Gödel to Einstein: Computability between logic and physics at CiE 2006. Theor. Comput. Sci. 394 (3) (2008)
Arnold Beckmann, Benedikt Löwe
Computability in Europe 2006. Theory Comput. Syst. 43 (3-4) (2008)
Arnold Beckmann, Benedikt Löwe, Dag Normann
Logical Approaches to Computational Barriers: CiE 2006. J. Log. Comput. 17 (6) (2007)
Benedikt Löwe, Brian Semmes
The Extent of Constructive Game Labellings. J. Log. Comput. 17 (2) (2007)
Thomas Bäck, Benedikt Löwe
Computing and the natural sciences at CiE 2005. Theor. Comput. Sci. 371 (1-2) (2007)
S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas
Theory of Computation at CiE 2005. Theory Comput. Syst. 41 (1) (2007)
Sujata Ghosh, Benedikt Löwe, Erik Scorelle
Belief Flow in Assertion Networks. ICCS (2007)
Benedikt Löwe
A parametrised choice principle and Martin's conjecture on Blackwell determinacy. Math. Log. Q. 52 (2) (2006)
S. Barry Cooper, Benedikt Löwe, Dag Normann
Mathematics of computing at CiE 2005. Math. Struct. Comput. Sci. 16 (5) (2006)
Benedikt Löwe
Set Theory With and Without Urelements and Categories of Interpretations. Notre Dame J. Formal Log. 47 (1) (2006)
Benedikt Löwe
Revision Forever! ICCS (2006)
Benedikt Löwe
Space Bounds for Infinitary Computation. CiE (2006)
Benedikt Löwe, Darko Sarenac
Cardinal spaces and topological representations of bimodal logics. Log. J. IGPL 13 (3) (2005)
Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Stud Logica 81 (1) (2005)
Benedikt Löwe
A Global Wellordering of Norms Defined via Blackwell Games. Order 22 (2) (2005)
Benedikt Löwe
The Formal Sciences: Their Scope, Their Foundations, and Their Unity. Synth. 133 (1-2) (2002)
Benedikt Löwe
Playing with mixed strategies on infinite sets. Int. J. Game Theory 31 (1) (2002)
Benedikt Löwe
Complexity hierarchies derived from reduction functions. FotFS (2001)
Benedikt Löwe
Revision Sequences and Computers with an Infinite Amount of Time. J. Log. Comput. 11 (1) (2001)
Benedikt Löwe, Philip D. Welch
Set-Theoretic Absoluteness and the Revision Theory of Truth. Stud Logica 68 (1) (2001)
Benedikt Löwe
Turing cones and set theory of the reals. Arch. Math. Log. 40 (8) (2001)
Jörg Brendle, Benedikt Löwe
Solovay-Type Characterizations for Forcing-Algebras. J. Symb. Log. 64 (3) (1999)
Moti Gitik, Benedikt Löwe
Cofinalities of Linear Orders. Order 16 (2) (1999)
Benedikt Löwe
Uniform unfolding and analytic measurability. Arch. Math. Log. 37 (8) (1998)