págs. 1-15
Apartness, Topology, and Uniformity: a Constructive View: a Constructive View
Luminita Simona Vîta, D. Bridges, P. Schuster
págs. 16-28
Computably Enumerable Reals and Uniformly Presentable Ideals
S. A. Terwijn, R. Downey
págs. 29-40
In Domain Realizability, not all Functionals on C[-1, 1] are Continuous
T. Streicher, M. Escardo
págs. 41-44
A Step towards a Complexity Theory for Analog Systems
K. Meer, M. Gori
págs. 45-58
U. Kohlenbach
págs. 59-65
págs. 66-77
Effectivity in Spaces with Admissible Multirepresentations
Matthias Schröder
págs. 78-90
Computability of Real Numbers by Using a Given Class of Functions in the Set of Natural Numbers
D. Skordev
págs. 91-106
B. Spitters
págs. 107-122
Metrization of the Uniform Space and Effective Convergence
Y. Tsujii, T. Mori, M. Yasugi
págs. 123-130
págs. 131-156
págs. 157-181
Comparing First Order Theories of Modules over Group Rings II: Decidability: Decidability
Carlo Toffalori, S. Cittadini
págs. 483-498
págs. 499-507
Products of Compact Spaces and the Axiom of Choice
Omar de la Cruz Vicente, Paul Howard, E. Hall
págs. 508-516
No Borel Connections for the Unsplitting Relations
H. Mildenberger
págs. 517-521
On Definitions in an Infinitary Language
Victor Pambuccian
págs. 522-524
Uncountable Homogeneous Partial Orders
D. Macpherson, A. Mekler, M. Droste
págs. 525-532
Canonical Finite Diagrams and Quantifier Elimination
Tapani Hyttinen
págs. 533-554
Attainment of Tightness in Boolean Spaces
J. C. Martinez
págs. 555-558
A Nonstandard Compactness Criterion
R. D. Benham
págs. 559-562
págs. 563-573
págs. 574-581
págs. 582-601
págs. 602-606
págs. 607-623
págs. 624-636
© 2008-2024 Fundación Dialnet · Todos los derechos reservados