Works matching IS 09425616 AND DT 2002 AND VI 48

Results: 84

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

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

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

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

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

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

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

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

Recursive Approximability of Real Numbers.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 131, doi. 10.1002/1521-3870(200210)48:1+<131::AID-MALQ131>3.0.CO;2-#

By:

Zheng, Xizhong

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

A Relationship between Equilogical Spaces and Type Two Effectivity.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 1, doi. 10.1002/1521-3870(200210)48:1+<1::AID-MALQ11111>3.0.CO;2-7

By:

Bauer, Andrej

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

Computability on Regular Subsets of Euclidean Space.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 157, doi. 10.1002/1521-3870(200210)48:1+<157::AID-MALQ157>3.0.CO;2-4

By:

Ziegler, Martin

Publication type:

Article

Computably Enumerable Reals and Uniformly Presentable Ideals.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 29, doi. 10.1002/1521-3870(200210)48:1+<29::AID-MALQ29>3.0.CO;2-O

By:

Downey, Rod;
Terwijn, Sebastiaan A.

Publication type:

Article

Preface: MLQ - Math. Log. Quart. Supplement 1/2002.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. III, doi. 10.1002/1521-3870(200210)48:1+<III::AID-MALQ1>3.0.CO;2-0

By:

Brattka, Vasco;
Hertling, Peter;
Yasugi, Mariko;
Zhong, Ning

Publication type:

Article

Metrization of the Uniform Space and Effective Convergence.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 123, doi. 10.1002/1521-3870(200210)48:1+<123::AID-MALQ123>3.0.CO;2-W

By:

Yasugi, Mariko;
Tsujii, Yoshiki;
Mori, Takakazu

Publication type:

Article

In Domain Realizability, not all Functionals on C[-1, 1] are Continuous.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 41, doi. 10.1002/1521-3870(200210)48:1+<41::AID-MALQ41>3.0.CO;2-V

By:

Escardó, Martín;
Streicher, Thomas

Publication type:

Article

A Step towards a Complexity Theory for Analog Systems.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 45, doi. 10.1002/1521-3870(200210)48:1+<45::AID-MALQ45>3.0.CO;2-7

By:

Gori, Marco;
Meer, Klaus

Publication type:

Article

Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 91, doi. 10.1002/1521-3870(200210)48:1+<91::AID-MALQ91>3.0.CO;2-L

By:

Skordev, Dimiter

Publication type:

Article

Effectivity in Spaces with Admissible Multirepresentations.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 78, doi. 10.1002/1521-3870(200210)48:1+<78::AID-MALQ78>3.0.CO;2-K

By:

Schröder, Matthias

Publication type:

Article

Post's Problem for Reducibilities of Bounded Complexity.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 367, doi. 10.1002/1521-3870(200204)48:3<367::AID-MALQ367>3.0.CO;2-H

By:

Bulitko, Valeriy K.

Publication type:

Article

Apartness, Topology, and Uniformity: a Constructive View.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 16, doi. 10.1002/1521-3870(200210)48:1+<16::AID-MALQ16>3.0.CO;2-7

By:

Bridges, Douglas;
Schuster, Peter;
Vîţă, Luminiţa

Publication type:

Article

Located Operators.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 107, doi. 10.1002/1521-3870(200210)48:1+<107::AID-MALQ107>3.0.CO;2-O

By:

Spitters, Bas

Publication type:

Article

Combinatorial Isols and the Arithmetic of Dekker Semirings.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 323, doi. 10.1002/1521-3870(200204)48:3<323::AID-MALQ323>3.0.CO;2-C

By:

Mclaughlin, Thomas G.

Publication type:

Article

A Modeltheoretic Solution to a Problem of Tarski.

Published in:

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

By:

Ahmed, Tarek Sayed

Publication type:

Article

Non Deterministic Classical Logic: The λμ++ -calculus.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 357, doi. 10.1002/1521-3870(200204)48:3<357::AID-MALQ357>3.0.CO;2-L

By:

Nour, Karim

Publication type:

Article

On the Computational Complexity of Best L1-approximation.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 66, doi. 10.1002/1521-3870(200210)48:1+<66::AID-MALQ66>3.0.CO;2-Y

By:

Oliva, Paulo

Publication type:

Article

On Weak Markov's Principle.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, p. 59, doi. 10.1002/1521-3870(200210)48:1+<59::AID-MALQ59>3.0.CO;2-I

By:

Kohlenbach, Ulrich

Publication type:

Article

A Note on Conservativity Relations among Bounded Arithmetic Theories.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 375, doi. 10.1002/1521-3870(200204)48:3<375::AID-MALQ375>3.0.CO;2-L

By:

Impagliazzoa, Russell;
Krajfíĉek, Jan

Publication type:

Article

Nonstandard Representation Theory of Standard Operators Defined on the Space of Bochner Integrable Functions.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 379, doi. 10.1002/1521-3870(200204)48:3<379::AID-MALQ379>3.0.CO;2-5

By:

Vanderputten, Laurent

Publication type:

Article

Every Rooted Narrow Tree Kripke Model of HA is Locally PA.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 391, doi. 10.1002/1521-3870(200204)48:3<391::AID-MALQ391>3.0.CO;2-T

By:

Ardeshir, Mohammad;
Hesaam, Bardyaa

Publication type:

Article

A Remark on Weakly Compact Cardinals.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 397, doi. 10.1002/1521-3870(200204)48:3<397::AID-MALQ397>3.0.CO;2-5

By:

Hyttinen, Tapani

Publication type:

Article

Algebraization of the Three-valued BCK-logic.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 163, doi. 10.1002/1521-3870(200202)48:2<163::AID-MALQ163>3.0.CO;2-B

By:

Olmedo, Francisco M. García;
Salas, Antonio J. Rodríguez

Publication type:

Article

On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 413, doi. 10.1002/1521-3870(200204)48:3<413::AID-MALQ413>3.0.CO;2-C

By:

Kanai, Yasuo

Publication type:

Article

Full Models for Positive Modal Logic.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 427, doi. 10.1002/1521-3870(200204)48:3<427::AID-MALQ427>3.0.CO;2-T

By:

Jansana, Ramon

Publication type:

Article

Minimizing the Size of Vertexlights in Simple Polygons.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 447, doi. 10.1002/1521-3870(200204)48:3<447::AID-MALQ447>3.0.CO;2-L

By:

Spillner, Andreas;
Hecker, Hans-Dietrich

Publication type:

Article

Monotonically Computable Real Numbers.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 459, doi. 10.1002/1521-3870(200204)48:3<459::AID-MALQ459>3.0.CO;2-9

By:

Rettinger, Robert;
Xizhong Zheng;
Gengler, Romain;
Braunmühl, Burchard Von

Publication type:

Article

On the Additive Group Structure of the Nonstandard Models of the Theory of Integers.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 403, doi. 10.1002/1521-3870(200204)48:3<403::AID-MALQ403>3.0.CO;2-G

By:

Dalgina, Hasan;
Haddadb, Labib;
Terziler, Mehmet

Publication type:

Article

Extensionality Versus Constructivity.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 179, doi. 10.1002/1521-3870(200202)48:2<179::AID-MALQ179>3.0.CO;2-K

By:

Valentini, Silvio

Publication type:

Article

Adjoining Almost Disjoint Permutations.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 189, doi. 10.1002/1521-3870(200202)48:2<189::AID-MALQ189>3.0.CO;2-G

By:

Yi Zhang

Publication type:

Article

Intuitionistic Fixed Point Theories for Strictly Positive Operators.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 195, doi. 10.1002/1521-3870(200202)48:2<195::AID-MALQ195>3.0.CO;2-S

By:

Rüede, Christian;
Strahm, Thomas

Publication type:

Article

Decidability for ℤ2G-lattices when G Extends the Noncyclic Group of Order 4.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 203, doi. 10.1002/1521-3870(200202)48:2<203::AID-MALQ203>3.0.CO;2-V

By:

Marcja, Annalisa;
Toffalori, Carlo

Publication type:

Article

Moving Intersticial Gaps.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 283, doi. 10.1002/1521-3870(200202)48:2<283::AID-MALQ283>3.0.CO;2-#

By:

Schmerl, James H.

Publication type:

Article

An Intuitionistic Axiomatisation of Real Closed Fields.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 297, doi. 10.1002/1521-3870(200202)48:2<297::AID-MALQ297>3.0.CO;2-G

By:

Palmgren, Erik

Publication type:

Article

Bounded Scott Set Saturation.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 245, doi. 10.1002/1521-3870(200202)48:2<245::AID-MALQ245>3.0.CO;2-7

By:

McAllister, Alex M.

Publication type:

Article