Mathematical Logic Quarterly

• 

  Año 2001, Vol. 47, Número 4

  • Seleccionado

    Kripke-Platek Set Theory and the Anti-Foundation Axiom

    M. Rathjen

    págs. 435-440

    
  • Seleccionado

    Construction of an Explicit Basis for Rules Admissible in Modal System S4

    V. V. Rybakov

    págs. 441-446

    
  • Seleccionado

    Rudin-Keisler Posets of Complete Boolean Algebras

    A. Pinus, P. Jipsen, H. Rose

    págs. 447-454

    
  • Seleccionado

    Intuitionistic Choice and Restricted Classical Logic

    U. Kohlenbach

    págs. 455-460

    
  • Seleccionado

    Monotone Proofs of the Pigeon Hole Principle

    R. Gavalda, A. Atserias, N. Galesi

    págs. 461-474

    
  • Seleccionado

    Constructive Axiomatization of Plane Hyperbolic Geometry

    Victor Pambuccian

    págs. 475-488

    
  • Seleccionado

    Closed Normal Subgroups

    J. H. Schmerl

    págs. 489-492

    
  • Seleccionado

    Separations et transferts dans la hierarchie polynomiale des groupes abeliens lifinis

    M. Bourgade

    págs. 493-502

    
  • Seleccionado

    Some Results on LDelta~n~+~1^-

    A. F. Margarit, F. F. L. Martin

    págs. 503-512

    
  • Seleccionado

    On Representing Concepts in Finite Models

    M. Mostowski

    págs. 513-524

    
  • Seleccionado

    Isolation and the Jump Operator

    G. Wu

    págs. 525-534

    
  • Seleccionado

    Characterising Near Continuity Constructively

    D. Bridges, Luminita Simona Vîta

    págs. 535-538

    
  • Seleccionado

    Combinatorial Criteria for Ramifiable Ordered Sets

    R. Hinnion, O. Esser

    págs. 539-556

    
  • Seleccionado

    Non-effective Quantifier Elimination

    M. Prunescu

    págs. 557-562

    
  • Seleccionado

    Indestructible Weakly Compact Cardinals and the Necessity of Supercompactness for Certain Proof Schemata

    J. D. Hamkins, A. W. Apter

    págs. 563-572