Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs von Balogun, Funmilola, Löwe, Benedikt

Volltext

SATELLITE CONFERENCE ON MATHEMATICAL LOGIC OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Niterói, Brazil August 10–11, 201... von Lopes, Bruno, Löwe, Benedikt

Volltext

Questions on generalised Baire spaces von Khomskii, Yurii, Laguzzi, Giorgio, Löwe, Benedikt, Sharankou, Ilya

Volltext

THE MODAL LOGIC OF INNER MODELS von INAMDAR, TANMAY, LÖWE, BENEDIKT

Volltext

Structural connections between a forcing class and its modal logic von Hamkins, Joel David, Leibman, George, Löwe, Benedikt

Volltext

The modal logic of forcing von HAMKINS, Joel David, LOWE, Benedikt

Volltext

RESTRICTIVENESS RELATIVE TO NOTIONS OF INTERPRETATION von INCURVATI, LUCA, LÖWE, BENEDIKT

Volltext

Canonical measure assignments von Jackson, Steve, Löwe, Benedikt

Volltext

Revision Forever von Löwe, Benedikt

Volltext

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings von Hutchison, David, Kanade, Takeo, Kittler, Josef

Volltext

Fatal Heyting Algebras and Forcing Persistent Sentences von Esakia, Leo, Löwe, Benedikt

Volltext

Enabling mathematical cultures: introduction von Löwe, Benedikt, Martin, Ursula, Pease, Alison

Volltext

Cofinality and measurability of the first three uncountable cardinals von Apter, Arthur, Jackson, Stephen, Löwe, Benedikt

Volltext

The modal logic of abelian groups von Berger, Sören, Block, Alexander Christensen, Löwe, Benedikt

Volltext

Data and phenomena in conceptual modelling von Löwe, Benedikt, Müller, Thomas

Volltext

Computability in Europe 2008 von Beckmann, Arnold, Löwe, Benedikt

Volltext

Programs, Proofs, Processes von Ferreira, Fernando, Löwe, Benedikt, Mayordomo, Elvira

Volltext

Computability in Europe 2009 von Beckmann, Arnold, Merkle, Wolfgang, Löwe, Benedikt

Volltext

Constructing illoyal algebra-valued models of set theory von Löwe, Benedikt, Paßmann, Robert, Tarafder, Sourav

Volltext

DEL Planning and Some Tractable Cases von Löwe, Benedikt, Pacuit, Eric, Witzel, Andreas

Volltext