Works matching IS 09425616 AND DT 2002 AND VI 48 AND IP 4

Results: 15

Strong Cardinals can be Fully Laver Indestructible.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 499, doi. 10.1002/1521-3870(200211)48:4<499::AID-MALQ499>3.0.CO;2-0

By:

Apter, Arthur W.

Publication type:

Article

Comparing First Order Theories of Modules over Group Rings II: Decidability.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 483, doi. 10.1002/1521-3870(200211)48:4<483::AID-MALQ483>3.0.CO;2-S

By:

Cittadini, Saverio;
Toffalori, Carlo

Publication type:

Article

Products of Compact Spaces and the Axiom of Choice.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 508, doi. 10.1002/1521-3870(200211)48:4<508::AID-MALQ508>3.0.CO;2-#

By:

Cruz, Omar De La;
Hall, Eric;
Howard, Paul;
Keremedis, Kyriakos;
Rubin, Jean E.

Publication type:

Article

No Borel Connections for the Unsplitting Relations.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 517, doi. 10.1002/1521-3870(200211)48:4<517::AID-MALQ517>3.0.CO;2-#

By:

Mildenberger, Heike

Publication type:

Article

On Definitions in an Infinitary Language.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 522, doi. 10.1002/1521-3870(200211)48:4<522::AID-MALQ522>3.0.CO;2-F

By:

Pambuccian, Victor

Publication type:

Article

Uncountable Homogeneous Partial Orders.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 525, doi. 10.1002/1521-3870(200211)48:4<525::AID-MALQ525>3.0.CO;2-3

By:

Droste, Manfred;
Macpherson, Dugald;
Mekler, Alan

Publication type:

Article

Canonical Finite Diagrams and Quantifier Elimination.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 533, doi. 10.1002/1521-3870(200211)48:4<533::AID-MALQ533>3.0.CO;2-7

By:

Hyttinen, Tapani

Publication type:

Article

Attainment of Tightness in Boolean Spaces.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 555, doi. 10.1002/1521-3870(200211)48:4<555::AID-MALQ555>3.0.CO;2-S

By:

Martínez, Juan Carlos

Publication type:

Article

A Nonstandard Compactness Criterion.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 559, doi. 10.1002/1521-3870(200211)48:4<559::AID-MALQ559>3.0.CO;2-C

By:

Benham, Richard D.

Publication type:

Article

Joint Consistency of Fuzzy Theories.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 563

By:

Novák, Vilém

Publication type:

Article

Kolmogorov Complexity and Noncomputability.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 574, doi. 10.1002/1521-3870(200211)48:4<574::AID-MALQ574>3.0.CO;2-O

By:

Davie, George

Publication type:

Article

Universal Classes of MV-chains with Applications to Many-valued Logics.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 581, doi. 10.1002/1521-3870(200211)48:4<581::AID-MALQ581>3.0.CO;2-W

By:

Gispert, Joan

Publication type:

Article

Interpolation and Approximate Semantic Derivations.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 602

By:

Krajíĉek, Jan

Publication type:

Article

Dependent Choices and Anti-Foundation.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 607, doi. 10.1002/1521-3870(200211)48:4<607::AID-MALQ607>3.0.CO;2-#

By:

Muraki, Hisato

Publication type:

Article

Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 624, doi. 10.1002/1521-3870(200211)48:4<624::AID-MALQ624>3.0.CO;2-3

By:

Bezhanishvili, Nick

Publication type:

Article