Works matching IS 09425616 AND DT 2001 AND VI 47 AND IP 4

Results: 15

Closed Normal Subgroups.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 489, doi. 10.1002/1521-3870(200111)47:4<489::AID-MALQ489>3.0.CO;2-8

By:

Schmer, James H.

Publication type:

Article

Séparations et transferts dans la hiérarchie polynomiale des groupes abéliens infinis.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 493, doi. 10.1002/1521-3870(200111)47:4<493::AID-MALQ493>3.0.CO;2-S

By:

Bourgade, Ménard

Publication type:

Article

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

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 441, doi. 10.1002/1521-3870(200111)47:4<441::AID-MALQ441>3.0.CO;2-J

By:

Rybakov, Vladimir V.

Publication type:

Article

Kripke-Platek Set Theory and the Anti-Foundation Axiom.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 435, doi. 10.1002/1521-3870(200111)47:4<435::AID-MALQ435>3.0.CO;2-7

By:

Rathjen, Michael

Publication type:

Article

Intuitionistic Choice and Restricted Classical Logic.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 455, doi. 10.1002/1521-3870(200111)47:4<455::AID-MALQ455>3.0.CO;2-#

By:

Kohlenbach, Ulrich

Publication type:

Article

Rudin-Keisler Posets of Complete Boolean Algebras.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 447, doi. 10.1002/1521-3870(200111)47:4<447::AID-MALQ447>3.0.CO;2-W

By:

Jipsen, Peter;
Pinus, Alexander;
Rose, Henry

Publication type:

Article

Monotone Proofs of the Pigeon Hole Principle.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 461, doi. 10.1002/1521-3870(200111)47:4<461::AID-MALQ461>3.0.CO;2-B

By:

Atserias, Albert;
Galesi, Nicola;
Gavaldà, Ricard

Publication type:

Article

Constructive Axiomatization of Plane Hyperbolic Geometry.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 475, doi. 10.1002/1521-3870(200111)47:4<475::AID-MALQ475>3.0.CO;2-S

By:

Pambuccian, Victor

Publication type:

Article

Some Results on LΔ<sup>—<sub>n+1</sub></sup>.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 503

By:

Margarit, Alejandro Fernández;
Lara Martin, F. Félix

Publication type:

Article

On Representing Concepts in Finite Models.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 513, doi. 10.1002/1521-3870(200111)47:4<513::AID-MALQ513>3.0.CO;2-J

By:

Mostowski, Marcin

Publication type:

Article

Combinatorial Criteria for Ramifiable Ordered Sets.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 539, doi. 10.1002/1521-3870(200111)47:4<539::AID-MALQ539>3.0.CO;2-O

By:

Esser, Olivier;
Hinnion, Roland

Publication type:

Article

Characterising Near Continuity Constructively.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 535, doi. 10.1002/1521-3870(200111)47:4<535::AID-MALQ535>3.0.CO;2-3

By:

Bridges, Douglas;
Vîţă, Lumini&tccedil;a

Publication type:

Article

Isolation and the Jump Operator.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 525, doi. 10.1002/1521-3870(200111)47:4<525::AID-MALQ525>3.0.CO;2-7

By:

Wu, Guohua

Publication type:

Article

Non-effective Quantifier Elimination.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 557, doi. 10.1002/1521-3870(200111)47:4<557::AID-MALQ557>3.0.CO;2-O

By:

Prunescu, Mihai

Publication type:

Article

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

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 563, doi. 10.1002/1521-3870(200111)47:4<563::AID-MALQ563>3.0.CO;2-#

By:

Apter, Arthur W.;
Hamkins, Joel David

Publication type:

Article