Volume 35; Issue 6

Mathematical Logic Quarterly

Volume 35; Issue 6

1

Masthead

Journal:

Mathematical Logic Quarterly

Year:

1989

File:

PDF, 31 KB

1989

2

The Model Completion of the Theory of All Partially Ordered Sets

G. E. Puninskij

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 81 KB

english, 1989

3

An Addition to “Cut Elimination in ϵ-Calculi”

Mitsuru Yasuhara

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 88 KB

english, 1989

4

Linked Double Weak Stone Algebras

Hanamantagouda P. Sankappanavar

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 415 KB

english, 1989

5

A Theory of Ambiguous Types and Its Axiomatizations

Andrey A. Kuzichev

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 1.05 MB

english, 1989

6

Construction of An Equality Relation on a Set with Coequality Relation

Daniel A. Romano

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 97 KB

english, 1989

7

Zum Reduktionstyp ∃∞∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ-Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃∞∀∃∀ (ϱ, 1)

Michael Deutsch

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

german

File:

PDF, 698 KB

german, 1989

8

Ternary Operations as Primitive Notions for Constructive Plane Geometry

Victor Pambuccian

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 265 KB

english, 1989

9

Models of Set Theory in Which Every Normal Precipitous Ideal is Uniformly Normed

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 131 KB

english, 1989

10

A New Approach to Constructive Topology and Measure Theory

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 630 KB

english, 1989

11

Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten

Heinrich Wansing

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

german

File:

PDF, 454 KB

german, 1989

12

Logic For Reasoning About Knowledge

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 719 KB

english, 1989

13

On A Reconstruction of Models in Models with Only One Binary Relation: A Correction

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 46 KB

english, 1989

14

Correction to “Embedding Properties and Anti-Foundation in Set Theory”

Journal:

Mathematical Logic Quarterly

Year:

1989

Language:

english

File:

PDF, 49 KB

english, 1989