Volume 29; Issue 4

Mathematical Logic Quarterly

Volume 29; Issue 4
1

Masthead

Journal:
Mathematical Logic Quarterly
Year:
1983
File:
PDF, 31 KB
1983
2

GENERAL TYPE-STRUCTURES OF CONTINUOUS AND COUNTABLE FUNCTIONALS

Dag Normann
Journal:
Mathematical Logic Quarterly
Year:
1983
Language:
english
File:
PDF, 910 KB
english, 1983
3

A NOTE ON TWO-CARDINAL MODELS

Alan Adamson
Journal:
Mathematical Logic Quarterly
Year:
1983
Language:
english
File:
PDF, 249 KB
english, 1983
4

ON THE ORDER STRUCTURE OF THE HYPERREAL LINE

William S. Hatcher, Claude Laflamme
Journal:
Mathematical Logic Quarterly
Year:
1983
Language:
english
File:
PDF, 431 KB
english, 1983
6

MUTUAL TRANSFORMABILITY OF FORMULAS OF THE LANGUAGES OF MARKOV LωN and N1

Ford W. Gorgy, A. H. Sahyoun
Journal:
Mathematical Logic Quarterly
Year:
1983
Language:
english
File:
PDF, 300 KB
english, 1983
7

KONSTRUKTIVE REELLE FUNKTIONALE UND OPERATOREN

Jürgen Hauck
Journal:
Mathematical Logic Quarterly
Year:
1983
Language:
german
File:
PDF, 385 KB
german, 1983
8

THE CONTINUOUS REALIZABILITY OF ENTAILMENT

M. E. Szabo
Journal:
Mathematical Logic Quarterly
Year:
1983
Language:
english
File:
PDF, 778 KB
english, 1983
9

ON THE REDUCTION OF TYPE THEORY

Marcel Crabbé
Journal:
Mathematical Logic Quarterly
Year:
1983
Language:
english
File:
PDF, 210 KB
english, 1983
10

A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC

Albert Hoogewijs
Journal:
Mathematical Logic Quarterly
Year:
1983
Language:
english
File:
PDF, 257 KB
english, 1983
11

BAIRE CATEGORY ON CARDINALS

C. Alkor, B. Intrigila
Journal:
Mathematical Logic Quarterly
Year:
1983
Language:
english
File:
PDF, 528 KB
english, 1983
12

HIERARCHIES FOR NON-FOUNDED MODELS OF SET THEORY

Von Michael, M. Von Rimscha
Journal:
Mathematical Logic Quarterly
Year:
1983
Language:
english
File:
PDF, 1.96 MB
english, 1983