Works matching IS 09425616 AND DT 2000 AND VI 46 AND IP 4

Results: 14

Analyzing Gödel's T Via Expanded Head Reduction Trees.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 517, doi. 10.1002/1521-3870(200010)46:4<517::AID-MALQ517>3.0.CO;2-A

By:

Beckmann, Arnold;
Weiermann, Andreas

Publication type:

Article

On Countable Products of Finite Hausdorff Spaces.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 537, doi. 10.1002/1521-3870(200010)46:4<537::AID-MALQ537>3.0.CO;2-2

By:

Herrlicha, Horst;
Keremedis, Kyriakos

Publication type:

Article

Graph Coloring and Reverse Mathematics.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 543, doi. 10.1002/1521-3870(200010)46:4<543::AID-MALQ543>3.0.CO;2-E

By:

Schmerl, James H.

Publication type:

Article

Von Rimscha's Transitivity Conditions.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 549, doi. 10.1002/1521-3870(200010)46:4<549::AID-MALQ549>3.0.CO;2-R

By:

Howarda, Paul;
Rubinb, Jean E.;
Stanley, Adrienne

Publication type:

Article

On Models Constructed by Means of the Arithmetized Completeness Theorem.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 505, doi. 10.1002/1521-3870(200010)46:4<505::AID-MALQ505>3.0.CO;2-M

By:

Kayea, Richard;
Kotlarski, Henryk

Publication type:

Article

SO(∀∃*) Sentences and Their Asymptotic Probabilities.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 435, doi. 10.1002/1521-3870(200010)46:4<435::AID-MALQ435>3.0.CO;2-E

By:

Rosena, Eric;
Tyszkiewicz, Jerzy

Publication type:

Article

Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 453, doi. 10.1002/1521-3870(200010)46:4<453::AID-MALQ453>3.0.CO;2-E

By:

Apter, Arthur W.

Publication type:

Article

Two Proof-Theoretic Remarks on EA + ECT.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 461, doi. 10.1002/1521-3870(200010)46:4<461::AID-MALQ461>3.0.CO;2-I

By:

Halbacha, Volker;
Horsten, Leon

Publication type:

Article

On Computability Theoretic Properties of Structures and Their Cartesian Products.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 467, doi. 10.1002/1521-3870(200010)46:4<467::AID-MALQ467>3.0.CO;2-V

By:

Khoussainov, Bakhadyr

Publication type:

Article

The Downward Transfer of Elementary Satisfiability of Partition Logics.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 477, doi. 10.1002/1521-3870(200010)46:4<477::AID-MALQ477>3.0.CO;2-R

By:

Shen, Enshao;
Chen, Yijia

Publication type:

Article

Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 489, doi. 10.1002/1521-3870(200010)46:4<489::AID-MALQ489>3.0.CO;2-F

By:

Borchert, Bernd;
Stephan, Frank

Publication type:

Article

Differences of Computably Enumerable Sets.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 555, doi. 10.1002/1521-3870(200010)46:4<555::AID-MALQ555>3.0.CO;2-2

By:

Lempp, Steffen;
Nies, André

Publication type:

Article

On κ-hereditary Sets and Consequences of the Axiom of Choice.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 563, doi. 10.1002/1521-3870(200010)46:4<563::AID-MALQ563>3.0.CO;2-6

By:

Diener, Karl-heinz

Publication type:

Article

The Compactness of 2<sup>ℝ</sup> and the Axiom of Choice.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 569, doi. 10.1002/1521-3870(200010)46:4<569::AID-MALQ569>3.0.CO;2-J

By:

Keremedis, Kyriakos

Publication type:

Article