Zobrazeno 1 - 10
of 511
pro vyhledávání: '"Löwe, Benedikt"'
Finite Turing computation has a fundamental symmetry between inputs, outputs, programs, time, and storage space. Standard models of transfinite computational break this symmetry; we consider ways to recover it and study the resulting model of computa
Externí odkaz:
http://arxiv.org/abs/2302.06444
Autor:
GALEOTTI, LORENZO, LÖWE, BENEDIKT
Publikováno v:
The Bulletin of Symbolic Logic, 2022 Jun 01. 28(2), 182-206.
Externí odkaz:
https://www.jstor.org/stable/27139153
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
The set of Bousfield classes has some important subsets such as the distributive lattice $\mathbf{DL}$ of all classes $\langle E\rangle$ which are smash idempotent and the complete Boolean algebra $\mathbf{cBA}$ of closed classes. We provide examples
Externí odkaz:
http://arxiv.org/abs/1702.03245
Autor:
Balogun, Funmilola, Löwe, Benedikt
Publikováno v:
Studia Logica; Oct2024, Vol. 112 Issue 5, p1181-1200, 20p
Autor:
Löwe, Benedikt, Winskel, Glynn
Publikováno v:
EPTCS 143, 2014
The aim of the workshop series Developments in Computational Models (DCM) is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interactio
Externí odkaz:
http://arxiv.org/abs/1403.7579
Autor:
Lopes, Bruno, Löwe, Benedikt
Publikováno v:
The Bulletin of Symbolic Logic, 2019 Mar 01. 25(1), 129-129.
Externí odkaz:
https://www.jstor.org/stable/26606777
Autor:
Hamkins, Joel David, Löwe, Benedikt
We give a brief account of the modal logic of the generic multiverse, which is a bimodal logic with operators corresponding to the relations "is a forcing extension of" and "is a ground model of". The fragment of the first relation is called the moda
Externí odkaz:
http://arxiv.org/abs/1208.5061
The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as "in all forcing extensions" and possibility as "in some forcing extension". In this modal language one
Externí odkaz:
http://arxiv.org/abs/1207.5841