Mathematical Logic Quarterly

• 

  Año 2002, Número 48

  • A Relationship between Equilogical Spaces and Type Two Effectivity

    A. Bauer

    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

    

  • On Weak Markov's Principle

    U. Kohlenbach

    págs. 59-65

    

  • On the Computational Complexity of Best L~1-approximation

    P. Oliva

    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

    

  • Located Operators

    B. Spitters

    págs. 107-122

    

  • Metrization of the Uniform Space and Effective Convergence

    Y. Tsujii, T. Mori, M. Yasugi

    págs. 123-130

    

  • Recursive Approximability of Real Numbers

    X. Zheng

    págs. 131-156

    

  • Computability on Regular Subsets of Euclidean Space

    M. Ziegler

    págs. 157-181

    

  • Comparing First Order Theories of Modules over Group Rings II: Decidability: Decidability

    Carlo Toffalori, S. Cittadini

    págs. 483-498

    

  • Strong Cardinals can be Fully Laver Indestructible

    A. W. Apter

    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

    

  • Joint Consistency of Fuzzy Theories

    V. Novak

    págs. 563-573

    

  • Kolmogorov Complexity and Noncomputability

    G. Davie

    págs. 574-581

    

  • Universal Classes of MV-Chains with Applications to Many-valued Logics

    J. Gispert

    págs. 582-601

    

  • Interpolation and Approximate Semantic Derivations

    J. Krajicek

    págs. 602-606

    

  • Dependent Choices and Anti-Foundation

    H. Muraki

    págs. 607-623

    

  • Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic

    N. Bezhanishvili

    págs. 624-636