G. Wu
pág. 111
Generalisation of disjunctive sequences
Cristian S. Calude
pág. 120
D. Spreen, S. Badaev
pág. 129
A local normal form theorem for infinitary logic with unary quantifiers
W. B. Lotfallah, H. J. Keisler
pág. 137
Filling certain cuts in discrete weakly o-minimal structures
S. Leonesi, Carlo Toffalori
pág. 145
pág. 154
h-monotonically computable real numbers
R. Rettinger, X. Zheng, G. Barmpalias
pág. 157
James sequences and Dependent Choices
M. Morillon
pág. 171
pág. 187
An unexpected separation result in Linearly Bounded Arithmetic
A. Beckmann, J. Johannsen
pág. 191
pág. 201
Minimal extensions of Π~1^0 classes
F. Riazati, D. Cenzer
pág. 206
© 2008-2024 Fundación Dialnet · Todos los derechos reservados