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

Results: 15

Some More Conservation Results on the Baire Category Theorem.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 105, doi. 10.1002/(SICI)1521-3870(200001)46:1<105::AID-MALQ105>3.0.CO;2-2

By:

Yamazaki, Takeshi

Publication type:

Article

Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 111, doi. 10.1002/(SICI)1521-3870(200001)46:1<111::AID-MALQ111>3.0.CO;2-E

By:

Kotlarski, Henryk;
Piekart, Bozna

Publication type:

Article

A Problem of Normal Form in Natural Deduction.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 121, doi. 10.1002/(SICI)1521-3870(200001)46:1<121::AID-MALQ121>3.0.CO;2-A

By:

Von Plato, Jan

Publication type:

Article

A Constructive Look at Generalised Cauchy Reals.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 125, doi. 10.1002/(SICI)1521-3870(200001)46:1<125::AID-MALQ125>3.0.CO;2-V

By:

Schuster, Peter M.

Publication type:

Article

A Note on theGödel-Gentzen Translation.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 135, doi. 10.1002/(SICI)1521-3870(200001)46:1<135::AID-MALQ135>3.0.CO;2-R

By:

Ishihara, Hajime

Publication type:

Article

Sequential Continuity of Functions in Constructive Analysis.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 139, doi. 10.1002/(SICI)1521-3870(200001)46:1<139::AID-MALQ139>3.0.CO;2-B

By:

Bridges, Douglas;
Mahalanobis, Ayan

Publication type:

Article

An Effective Conservation Result for Nonstandard Arithmetic.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 17, doi. 10.1002/(SICI)1521-3870(200001)46:1<17::AID-MALQ17>3.0.CO;2-8

By:

Palmgren, Erik

Publication type:

Article

Large Cardinals and Ramifiability for Directed Sets.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 25, doi. 10.1002/(SICI)1521-3870(200001)46:1<25::AID-MALQ25>3.0.CO;2-I

By:

Esser, Olivier;
Hinnion, Roland

Publication type:

Article

Compactness in Countable Tychonoff Products and Choice.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 3, doi. 10.1002/(SICI)1521-3870(200001)46:1<3::AID-MALQ3>3.0.CO;2-E

By:

Howard, Paul;
Keremedis, Kyriakos;
Rubin, Jean E.;
Stanley, Adrienne

Publication type:

Article

On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 35, doi. 10.1002/(SICI)1521-3870(200001)46:1<35::AID-MALQ35>3.0.CO;2-G

By:

Keremedis, Kyriakos;
Tachtsis, Eleftherios

Publication type:

Article

Another Constructive Axiomatization of Euclidean Planes.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 45, doi. 10.1002/(SICI)1521-3870(200001)46:1<45::AID-MALQ45>3.0.CO;2-E

By:

Pambuccian, Victor

Publication type:

Article

Common Belief with the Logic of Individual Belief.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 49, doi. 10.1002/(SICI)1521-3870(200001)46:1<49::AID-MALQ49>3.0.CO;2-R

By:

Bonanno, Giacomo;
Nehring, Klaus

Publication type:

Article

A Splitting with Infimum in the d-c. e. Degrees.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 53, doi. 10.1002/(SICI)1521-3870(200001)46:1<53::AID-MALQ53>3.0.CO;2-O

By:

Hong, Lu;
Decheng, Ding;
Lei, Qian

Publication type:

Article

Approximate Reasoning Based on Similarity.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 77, doi. 10.1002/(SICI)1521-3870(200001)46:1<77::AID-MALQ77>3.0.CO;2-X

By:

Biacino, Loredana;
Gerla, Giangiacomo;
Ying, Mingsheng

Publication type:

Article

Partition Relations for Strongly Normal Ideals on P<sub>κ</sub>(λ).

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 1, p. 87, doi. 10.1002/(SICI)1521-3870(200001)46:1<87::AID-MALQ87>3.0.CO;2-V

By:

Matet, Pierre

Publication type:

Article