Items where Author is "Löwe, Benedikt"

Pre-print

PP-2018-14: Carl, Merlin and Galeotti, Lorenzo and Löwe, Benedikt (2018) The Bolzano-Weierstrass Theorem in Generalised Analysis. [Pre-print]

PP-2018-15: Löwe, Benedikt and Passmann, Robert and Tarafder, Sourav (2018) Constructing illoyal algebra-valued models of set theory. [Pre-print] (Submitted)

PP-2018-07: Löwe, Benedikt and Van Kerkhove, Bart (2018) Methodological triangulation in empirical philosophy (of mathematics). [Pre-print] (In Press)

PP-2017-10: Galeotti, Lorenzo and Löwe, Benedikt (2017) Order types of models of reducts of Peano Arithmetic and their fragments. [Pre-print] (Unpublished)

Report

PP-2015-12: Block, Alexander C. and Löwe, Benedikt (2015) Modal Logics and Multiverses. [Report]

PP-2014-22: Löwe, Benedikt and Tarafder, Sourav (2014) Generalized algebra-valued models of set theory. [Report]

PP-2014-21: Incurvati, Luca and Löwe, Benedikt (2014) Restrictiveness relative to notions of interpretations. [Report]

PP-2014-07: Inamdar, Tanmay and Löwe, Benedikt (2014) The Modal Logic of Inner Models. [Report]

PP-2014-04: Fisseni, Bernhard and Löwe, Benedikt (2014) Event mappings for comparing formal frameworks for narratives. [Report]

PP-2013-04: Hamkins, Joel David and Löwe, Benedikt (2013) Moving up and down in the generic multiverse. [Report]

PP-2012-19: Hamkins, Joel David and Leibman, George and Löwe, Benedikt (2012) Structural connections between a forcing class and its modal logic. [Report]

PP-2012-10: Block, Alexander and Fisseni, Bernhard and León, Carlos and Löwe, Benedikt and Sarikaya, Deniz (2012) Narrative summarization and its correspondence to Proppian functions. [Report]

PP-2012-09: Bod, Rens and Fisseni, Bernhard and Kurji, Aadil and Löwe, Benedikt (2012) Objectivity and reproducibility of Proppian annotations. [Report]

PP-2012-08: Fisseni, Bernhard and Löwe, Benedikt (2012) Which dimensions of narrative are relevant for human judgments of story equivalence? [Report]

PP-2012-06: Block, Alexander and Bod, Rens and Fisseni, Bernhard and Kurji, Adil and León, Carlos and Löwe, Benedikt and Sarikaya, Deniz (2012) Objectivity and reproducibility of formal narrative representations or annotations: Propp's functions & narrative summarization. [Report]

PP-2011-35: Esakia, Leo and Löwe, Benedikt (2011) Fatal Heyting Algebras and Forcing Persistent Sentences. [Report]

PP-2011-17: Löwe, Benedikt (2011) Methodological remarks about comparing formal frameworks for narratives. [Report]

X-2011-04: Bod, Rens and Löwe, Benedikt and Saraf, Sanchit (2011) How much do formal narrative annotations differ? A Proppian case study. [Report]

PP-2011-16: Löwe, Benedikt and Pacuit, Eric and Witzel, Andreas (2011) DEL planning and some tractable cases. [Report]

PP-2011-10: Dégremont, Cédric and Löwe, Benedikt and Witzel, Andreas (2011) The synchronicity of dynamic epistemic logic. [Report]

PP-2011-03: Löwe, Benedikt (2011) Comparing formal frameworks of narrative structure. [Report]

PP-2010-14: Löwe, Benedikt and Pacuit, Eric and Witzel, Andreas (2010) Planning based on dynamic epistemic logic. [Report]

PP-2010-11: Löwe, Benedikt and Müller, Thomas (2010) Mathematical knowledge and skills. [Report]

PP-2010-01: Geist, Christian and Löwe, Benedikt and Kerkhove, Bart Van (2010) Peer review and knowledge by testimony in mathematics. [Report]

PP-2009-33: Löwe, Benedikt and Pacuit, Eric and Saraf, Sanchit (2009) Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation. [Report]

PP-2009-22: Löwe, Benedikt and Müller, Thomas (2009) Data and Phenomena in Conceptual Modelling. [Report]

X-2009-03: Löwe, Benedikt (2009) LSIR-2: Logic and the Simulation of Interaction and Reasoning. [Report]

PP-2009-21: Apter, Arthur W. and Jackson, Stephen C. and Löwe, Benedikt (2009) Cofinality and Measurability of the First Three Uncountable Cardinals. [Report]

PP-2009-17: Ikegami, Daisuke and de Kloet, David and Löwe, Benedikt (2009) The Axiom of Real Blackwell Determinacy. [Report]

PP-2009-13: Brendle, Jörg and Löwe, Benedikt (2009) Eventually Different Functions and Inaccessible Cardinals. [Report]

PP-2008-52: Ghosh, Sujata and Löwe, Benedikt and Saraf, Sanchit (2008) Pointer Semantics with Forward Propagation. [Report]

PP-2008-31: Löwe, Benedikt and Pacuit, Eric and Saraf, Sanchit (2008) Analyzing stories as games with mistaken and changing beliefs. [Report]

X-2008-07: Löwe, Benedikt (2008) Logic and the Simulation of Interaction and Reasoning: Introductory Remarks. [Report]

PP-2008-25: de Jager, Tikitu and Löwe, Benedikt (2008) Nonmonotone game labellings. [Report]

PP-2007-33: Buldt, Bernd and Löwe, Benedikt and Müller, Thomas (2007) Towards a new epistemology of mathematics. [Report]

PP-2007-32: Löwe, Benedikt and Müller, Thomas and Wilhelmus, Eva (2007) Mathematical knowledge: a case study in empirical philosophy of mathematics. [Report]

PP-2007-22: Löwe, Benedikt (2007) Visualization of ordinals. [Report]

PP-2007-15: Ghosh, Sujata and Löwe, Benedikt and Scorelle, Erik (2007) Belief Flow in Assertion Networks. [Report]

PP-2006-57: Kieftenbeld, Vincent and Löwe, Benedikt (2006) A classification of ordinal topologies. [Report]

PP-2006-46: Blass, Andreas and Dimitriou, Ioanna M. and Löwe, Benedikt (2006) Inaccessible Cardinals without the Axiom of Choice. [Report]

PP-2006-33: Löwe, Benedikt and Pacuit, Eric (2006) An abstract approach to reasoning about games with mistaken and changing beliefs. [Report]

PP-2006-27: Löwe, Benedikt (2006) Space bounds for infinitary computation. [Report]

PP-2006-14: Löwe, Benedikt (2006) Revision Forever! [Report]

PP-2006-10: Löwe, Benedikt and Semmes, Brian (2006) The Extent of Constructive Game Labellings. [Report]

PP-2006-13: Löwe, Benedikt (2006) Set Theory of Infinite Imperfect Information Games. [Report]

PP-2006-05: Jackson, Steve and Löwe, Benedikt (2006) Canonical Measure Assignments. [Report]

X-2006-01: Bold, Stefan and Löwe, Benedikt (2006) The general inductive argument for measure analyses with additive ordinal algebras. [Report]

PP-2005-24: Löwe, Benedikt (2005) Extensions of the Axiom of Blackwell Determinacy. [Report]

PP-2005-26: Hamkins, Joel David and Löwe, Benedikt (2005) The Modal Logic of Forcing. [Report]

PP-2005-19: Bold, Stefan and Löwe, Benedikt (2005) A simple inductive measure analysis for cardinals under the Axiom of Determinacy. [Report]

PP-2005-18: Löwe, Benedikt and Müller, Thomas (2005) Mathematical Knowledge is Context Dependent. [Report]

X-2005-01: Cooper, S. Barry and Löwe, Benedikt and Torenvliet, Leen (2005) CiE 2005: New Computational Paradigms. [Report]

X-2005-02: Löwe, Benedikt and Semmes, Brian (2005) The extent of constructive game labellings. [Report]

PP-2004-33: Löwe, Benedikt (2004) Set Theory with and within urelements and categories of interpretation. [Report]

PP-2004-26: Löwe, Benedikt (2004) A parametrised choice principle and Martin's conjecture on Blackwell determinacy. [Report]

PP-2004-22: Bold, Stefan and Löwe, Benedikt (2004) A simple inductive argument to compute more Kleinberg sequences under the Axiom of Determinacy. [Report]

X-2004-04: Löwe, Benedikt and van Rooij, Robert and Schröder, Bernhard and Zeevat, Henk (2004) ILLC-Day 2 in Bonn ``Language''. [Report]

PP-2004-11: Löwe, Benedikt (2004) A non-monotone Fraenkel-L\'evy labelling for the asymmetric combinatorial game on cyclic graphs. [Report]

X-2004-03: Löwe, Benedikt and Müller, Thomas (2004) Degrees of Belief and Knowledge in Mathematics. [Report]

PP-2004-10: Löwe, Benedikt (2004) The Length of the Full Hierarchy of Norms. [Report]

PP-2004-07: Kühnberger, Kai-Uwe and Löwe, Benedikt and Möllerfeld, Michael and Welch, Philip (2004) Comparing inductive and circular definitions: parameters, complexity and games. [Report]

X-2004-01: Löwe, Benedikt (2004) A note on pure variations of axioms of Blackwell determinacy. [Report]

PP-2004-04: Löwe, Benedikt and Sarenac, Darko (2004) Cardinal spaces and topological representations of bimodal logics. [Report]

PP-2004-03: Löwe, Benedikt (2004) Complexity hierarchies derived from reduction functions. [Report]

PP-2003-19: Löwe, Benedikt (2003) Determinacy for infinite games with more than two players with preferences. [Report]

PP-2003-18: Löwe, Benedikt (2003) The Simulation Technique and its Consequences for Infinitary Combinatorics under the Axiom of Blackwell Determinacy. [Report]

PP-2003-14: Löwe, Benedikt (2003) A Hierarchy of norms defined via Blackwell games. [Report]

PP-2003-12: Löwe, Benedikt (2003) The Pointwise View of Determinacy: Arboreal Forcings, Measurability and Weak Measurability. [Report]

PP-2003-11: Brendle, Jörg and Halbeisen, Lorenz and Löwe, Benedikt (2003) Silver Measurability and its Relation to other Regularity Properties. [Report]