Löwe, Benedikt
151  results:
Search for persons X
?
3

Symmetry for Transfinite Computability:

, In: Lecture Notes in Computer Science; Unity of Logic and Computation,
 
?
 
?
6

ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC:

GALEOTTI, LORENZO ; LÖWE, BENEDIKT
The Bulletin of Symbolic Logic.  28 (2022)  2 - p. 182-206 , 2022
 
?
7

ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC:

GALEOTTI, LORENZO ; LÖWE, BENEDIKT
The Bulletin of Symbolic Logic.  28 (2022)  2 - p. 182-206 , 2022
 
?
11

A multiplication operation for the hierarchy of norms:

Block, Alexander C. ; Löwe, Benedikt
Annals of Pure and Applied Logic.  169 (2018)  7 - p. 656-673 , 2018
 
?
 
?
13

Ordinal definability and recursion theory 

The Cabal Seminar, Volume 3  Lecture notes in logic ; 43
 
?
15

THE MODAL LOGIC OF INNER MODELS:

INAMDAR, TANMAY ; LÖWE, BENEDIKT
The Journal of Symbolic Logic.  81 (2016)  1 - p. 225-236 , 2016
 
1-15