19 citations · 19 across the 5 of their papers we have counts for
6 papers
Expanding Čech cohomology for quantales
Ana Luiza Tenório, Peter Arndt, Hugo Luiz Mariano
We expand Čech cohomology of a topological space with values in a presheaf on to Čech cohomology of a commutative ring with unity with values in a presheaf on . The…
Cyclophobic Reinforcement Learning
Stefan Sylvius Wagner, Peter Arndt, Jan Robine +1
In environments with sparse rewards, finding a good inductive bias for exploration is crucial to the agent's success. However, there are two competing goals: novelty search and sys…
Congruence Filter Pairs, Adjoints and Leibniz Hierarchy
Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto
We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice…
Filter pairs and natural extensions of logics
Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto
We adjust the notion of finitary filter pair, which was coined for creating and analyzing finitary logics, in such a way that we can treat logics of cardinality , where is a…
On the automorphic side of the K-theoretic Artin symbol
Peter Arndt, Oliver Braunling
Clausen has constructed a homotopical enrichment of the Artin reciprocity symbol in class field theory. On the Galois side, Selmer K-homology replaces the abelianized Galois group,…
Homotopy Theoretic Models of Type Theory
Peter Arndt, Chris Kapulkin
We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that o…