Found: 13
Select item for more details and to access through your institution.
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article