Volume 47; Issue 4

Mathematical Logic Quarterly

Volume 47; Issue 4
1

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

Vladimir V. Rybakov
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 142 KB
english, 2001
2

Rudin-Keisler Posets of Complete Boolean Algebras

Peter Jipsen, Alexander Pinus, Henry Rose
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 152 KB
english, 2001
3

Intuitionistic Choice and Restricted Classical Logic

Ulrich Kohlenbach
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 133 KB
english, 2001
4

Monotone Proofs of the Pigeon Hole Principle

Albert Atserias, Nicola Galesi, Ricard Gavaldà
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 218 KB
english, 2001
5

Constructive Axiomatization of Plane Hyperbolic Geometry

Victor Pambuccian
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 202 KB
english, 2001
6

Closed Normal Subgroups

James H. Schmerl
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 103 KB
english, 2001
8

Some Results on LΔ

Alejandro Fernández Margarit, F. Félix Lara Martin
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 171 KB
english, 2001
9

On Representing Concepts in Finite Models

Marcin Mostowski
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 189 KB
english, 2001
10

Isolation and the Jump Operator

Guohua Wu
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 167 KB
english, 2001
11

Characterising Near Continuity Constructively

Douglas Bridges, Luminiţa Vîţă
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 107 KB
english, 2001
12

Combinatorial Criteria for Ramifiable Ordered Sets

Olivier Esser, Roland Hinnion
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 251 KB
english, 2001
13

Non-effective Quantifier Elimination

Mihai Prunescu
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 126 KB
english, 2001
15

Kripke-Platek Set Theory and the Anti-Foundation Axiom

Michael Rathjen
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 116 KB
english, 2001