Volume 54; Issue 3

Mathematical Logic Quarterly

Volume 54; Issue 3
1

Characterizing PSPACE with pointers

Isabel Oitavem
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 124 KB
english, 2008
2

On models of exponentiation. Identities in the HSI-algebra of posets

Gurgen Asatryan
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 131 KB
english, 2008
3

Reducing the consistency strength of an indestructibility theorem

Arthur W. Apter
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 91 KB
english, 2008
5

A note on the axiomatisation of real numbers

Thierry Coquand, L. Henri Lombardi
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 86 KB
english, 2008
6

A uniformly computable Implicit Function Theorem

Timothy H. McNicholl
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 122 KB
english, 2008
7

Long Borel hierarchies

Arnold W. Miller
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 211 KB
english, 2008
8

Dialectica interpretation of well-founded induction

Helmut Schwichtenberg
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 164 KB
english, 2008
9

Classical truth in higher types

Ulrich Berger
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 125 KB
english, 2008
10

On Keisler singular-like models

Shahram Mohsenipour
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 124 KB
english, 2008
11

Comparison of Picard groups in dimension 1

Henri Lombardi, Claude Quitté
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 102 KB
english, 2008
12

Elementary constructive theory of Henselian local rings

María E. Alonso, Henri Lombardi, Hervé Perdry
Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 218 KB
english, 2008
13

Contents: Math. Log. Quart. 3/2008

Journal:
Mathematical Logic Quarterly
Year:
2008
Language:
english
File:
PDF, 67 KB
english, 2008