273 citations
- Flensburg University of Applied SciencesDE5 papers
- University of Veterinary Medicine ViennaAT4 papers
- Charles Darwin UniversityAU3 papers
- Technical University of DenmarkDK3 papers
- Technische Hochschule IngolstadtDE3 papers
- University of South CarolinaUS3 papers
- Cornell UniversityUS2 papers
- ETH ZurichCH2 papers
- Forschungszentrum JülichDE2 papers
- Freie Universität BerlinDE2 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE2 papers
- German Institute for Economic ResearchDE2 papers
5 papers · 1 filter
Canonical Truth
Merlin Carl, Philipp Schlicht
We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model of ZFC that is uniquely character…
Approaching the UCT problem via crossed products of the Razak-Jacelon algebra
Selçuk Barlak, Gábor Szabó
We show that the UCT problem for separable, nuclear -algebras relies only on whether the UCT holds for crossed products of certain finite cyclic group actions on the R…
Opening the black box of energy modelling: Strategies and lessons learned
Stefan Pfenninger, Lion Hirth, Ingmar Schlecht +21
The global energy system is undergoing a major transition, and in energy planning and decision-making across governments, industry and academia, models play a crucial role. Because…
Space-Bounded OTMs and REG
Merlin Carl
An important theorem in classical complexity theory is that LOGLOGSPACE=REG, i.e. that languages decidable with double-logarithmic space bound are regular. We consider a transfinit…
Minimum Weight Flat Antichains of Subsets
Jerrold R. Griggs, Sven Hartmann, Thomas Kalinowski +2
Building on classical theorems of Sperner and Kruskal-Katona, we investigate antichains in the Boolean lattice of all subsets of , where $\…