Volume 33; Issue 2

Mathematical Logic Quarterly

Volume 33; Issue 2

1

Masthead

Journal:

Mathematical Logic Quarterly

Year:

1987

File:

PDF, 31 KB

1987

2

Alternative Characterizations of Precomplete Numerations

Akira Kanda, Alistair H. Lachlan

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 233 KB

english, 1987

3

Relative Consistency of a Set Theory with Hyperclasses

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 294 KB

english, 1987

4

Recursively Enumerable L-Sets

Loredana Biacino, Giangiacomo Gerla

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 405 KB

english, 1987

5

A Note on “ℰ = ℰ?” Problem

M. Kutyłowski, K. Loryś

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 315 KB

english, 1987

6

Mutual Transformability of the Formulas of the Languages Of Markov L2ω AND Rω

F. W. Gorgy, A. H. Sahyoun

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 212 KB

english, 1987

7

Construction of Large Sets of Clones

J. Demetrovics, L. Hannák

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 386 KB

english, 1987

8

Topologische Maximalprinzipien

Norbert Brunner

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

german

File:

PDF, 341 KB

german, 1987

9

A Free-Variable Theory of Primitive Recursive Arithmetic

Daniel G. Schwartz

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 751 KB

english, 1987

10

Degrees of Souslin And Aronszajn Trees

Ingrid Lindström

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 739 KB

english, 1987

11

The Concept of Multiset

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 555 KB

english, 1987

12

Eine Bemerkung Zum Reduktionstyp ∀3 ∃(0, 1)

Michael Deutsch

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

german

File:

PDF, 379 KB

german, 1987

13

A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 392 KB

english, 1987

14

∑1-Density and Turing Degrees

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 327 KB

english, 1987