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

Results: 9

Feasible Operations and Applicative Theories Based on λη.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 3, p. 291, doi. 10.1002/1521-3870(200008)46:3<291::AID-MALQ291>3.0.CO;2-T

By:

Cantini, Andrea

Publication type:

Article

Pigeonhole and Choice Principles.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 3, p. 313, doi. 10.1002/1521-3870(200008)46:3<313::AID-MALQ313>3.0.CO;2-C

By:

Degen, Wolfgang

Publication type:

Article

Arrow's Theorem, Weglorz' Models and the Axiom of Choice.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 3, p. 335, doi. 10.1002/1521-3870(200008)46:3<335::AID-MALQ335>3.0.CO;2-X

By:

Brunner, Norbert;
Mihara, H. Reiju

Publication type:

Article

A P-Completeness Result for Visibility Graphs of Simple Polygons.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 3, p. 361, doi. 10.1002/1521-3870(200008)46:3<361::AID-MALQ361>3.0.CO;2-0

By:

Dietel, Jana;
Hecker, Hans-Dietrich

Publication type:

Article

On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 3, p. 377, doi. 10.1002/1521-3870(200008)46:3<377::AID-MALQ377>3.0.CO;2-9

By:

Kanovei, Vladimir;
Reeken, Michael

Publication type:

Article

Inhomogeneity of the p-s-Degrees of Recursive Functions.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 3, p. 385, doi. 10.1002/1521-3870(200008)46:3<385::AID-MALQ385>3.0.CO;2-D

By:

Mochizuki, Asae;
Shinoda, Juichi

Publication type:

Article

Intrinsic Reducibilities.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 3, p. 393, doi. 10.1002/1521-3870(200008)46:3<393::AID-MALQ393>3.0.CO;2-H

By:

McNicholl, Timothy H.

Publication type:

Article

There is No Low Maximal D.C.E. Degree.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 3, p. 409, doi. 10.1002/1521-3870(200008)46:3<409::AID-MALQ409>3.0.CO;2-P

By:

Arsianov, Marat;
Cooper, S. Barry;
Li, Angsheng

Publication type:

Article

Sémantique de type Kripke d'un système logique basé sur un ensemble ordonné fini.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 3, p. 417, doi. 10.1002/1521-3870(200008)46:3<417::AID-MALQ417>3.0.CO;2-T

By:

Nour, Abir

Publication type:

Article