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

Results: 13

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

Non Deterministic Classical Logic: The λμ<sup>++</sup> -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

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

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

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

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

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