Works matching IS 09425616 AND DT 2001 AND VI 47 AND IP 4
Results: 15
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article