Do there exist complete sets for promise classes?
Olaf Beyersdorff, Zenon Sadowski
págs. 535-550
Realisability in weak systems of explicit mathematics
Daria Spescha, Thomas Strahm
págs. 551-565
Pedro Antonio Guil Asensio , Manuel Cortés Izurdiaga, Philipp Rothmaler, Blas Torrecillas Jover
págs. 566-570
Congruences and ideals on Boolean modules: a heterogeneous point of view
Sandra Marques Pinto, M. Teresa F. Oliveira Martins
págs. 571-581
Ideals with bases of unbounded Borel complexity
Piotr Borodulin-Nadzieja, Szymon Glab
págs. 582-590
Chain homogeneous Souslin algebras
Gido Scharfenberger-Fabian
págs. 591-610
A note on the monotone functional interpretation
Ulrich Kohlenbach
págs. 611-614
Thin equivalence relations in scaled pointclasses
Ralf Schindler, Philipp Schlicht
págs. 615-620
© 2008-2024 Fundación Dialnet · Todos los derechos reservados