Volume 43; Issue 3

Mathematical Logic Quarterly

Volume 43; Issue 3
1

Masthead

Journal:
Mathematical Logic Quarterly
Year:
1997
File:
PDF, 27 KB
1997
2

On Nondeterminism, Enumeration Reducibility and Polynomial Bounds

Kate Copestake
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 1.37 MB
english, 1997
3

On the Universal Splitting Property

Rod Downey
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 606 KB
english, 1997
4

Constructive Sheaf Semantics

Erik Palmgren
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 398 KB
english, 1997
5

On the Difficulty of Writing Out formal Proofs in Arithmetic

Ryo Kashima, Takeshi Yamaguchi
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 266 KB
english, 1997
6

Infinitary S5-Epistemic Logic

Aviad Heifetz
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 569 KB
english, 1997
7

Decidability in the Constructive Theory of Reals as an Ordered ℚ-vectorspace

Miklós Erdélyi-Szabó
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 590 KB
english, 1997
8

On Remainder Equations

Jun Li
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 676 KB
english, 1997
10

Non-Complementedness and Non-Distributivity of Kleene Degrees

Hisato Muraki
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 539 KB
english, 1997
11

On a Spector Ultrapower for the Solovay Model

Vladimir Kanovei, Michiel van Lambalgen
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 428 KB
english, 1997
12

Non-standard Analysis in WKL0

Kazuyuki Tanaka
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 259 KB
english, 1997
13

Forcing in Finite Structures

Domenico Zambella
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 767 KB
english, 1997
14

A Simplified Proof of the 0–1 Law for Existential Second-Order Ackermann Sentences

Thierry Lacoste
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 378 KB
english, 1997
15

Rudimentary Languages and Second-Order Logic

Malika More, Frédéric Olive
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 446 KB
english, 1997
16

More on the Least Strongly Compact Cardinal

Arthur W. Apter
Journal:
Mathematical Logic Quarterly
Year:
1997
Language:
english
File:
PDF, 229 KB
english, 1997