Volume 39; Issue 1

Mathematical Logic Quarterly

Volume 39; Issue 1

1

Masthead

Journal:

Mathematical Logic Quarterly

Year:

1993

File:

PDF, 34 KB

1993

2

Editorial

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 47 KB

english, 1993

3

Jump Theorems for REA Operators

Alistair H. Lachlan, Xiaoding Yi

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 269 KB

english, 1993

4

Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis

Arthur L. Rubin, Jean E. Rubin

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 789 KB

english, 1993

5

On a duality between Boolean valued analysis and topological Reduction Theory

Hirokazu Nishimura

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 583 KB

english, 1993

6

A variant of the Notion of Semicreative set

Heinrich Rolletschek

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 865 KB

english, 1993

7

How to develop Proof-Theoretic Ordinal Functions on the basis of admissible ordinals

Michael Rathjen

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 405 KB

english, 1993

8

Sequential, pointwise, and uniform continuity: A constructive note

Douglas S. Bridges

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 412 KB

english, 1993

9

Witnessing numbers of Shelah Cardinals

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 280 KB

english, 1993

10

Isols and maximal intersecting classes

Jacob C. E. Dekker

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 655 KB

english, 1993

11

Remarks on Levy's reflection axiom

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 1.01 MB

english, 1993

12

On roots of exponential terms

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 440 KB

english, 1993

13

Normal form of derivations in the nonassociative and commutative lambek calculus with product

Maciej Kandulski

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 579 KB

english, 1993

14

La connaissance commune en logique modale

Journal:

Mathematical Logic Quarterly

Year:

1993

File:

PDF, 788 KB

1993

15

A note on parallelism in affine geometry

Peter Schreiber

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 122 KB

english, 1993

16

A formalization of Sambins's normalization for GL

Edward Hermann Haeusler, Luiz Carlos Pereira

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 529 KB

english, 1993

17

Seperating the intrinsic complexity and the derivational complexity of the word problem for finitely presented groups

Daniel E. Cohen, Klaus Madlener, Friedrich Otto

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 1.02 MB

english, 1993

18

The finite cutset property

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 388 KB

english, 1993

19

Classically complete modal relevant logics

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 674 KB

english, 1993

20

The basis decision problem in λ-calculus

Benedetto Intrigila

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 135 KB

english, 1993

21

Computable limits and colimits in categories of partial enumerated sets

Andrzej Orlicki

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 931 KB

english, 1993

22

Completeness of the infinitary polyadic axiomatization

Isidore Fleischer

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 271 KB

english, 1993

23

Local computation in linear logic

Ugo Solitro, Silvio Valentini

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 613 KB

english, 1993

24

Open subspaces of locally compact metric spaces

Mark Mandelkern

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 183 KB

english, 1993

25

On Wainer's notation for a minimal subrecursive inaccessible ordinal

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 533 KB

english, 1993

26

Analytic completeness theorem for singular biprobability models

Radosav S. Đordević

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 158 KB

english, 1993

27

Modal sequents for normal modal logics

Claudio Cerrato

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 433 KB

english, 1993

28

A boolean transfer principle from L-Algebras to AL-Algebras

Hirokazu Nishimura

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 614 KB

english, 1993

29

Higher type categories

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 256 KB

english, 1993

30

Quasi-Stone algebras

Nalinaxi H. Sankappanavar, Hanamantagouda P. Sankappanavar

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 690 KB

english, 1993

31

A simplified functorial construction of the veblen hierarchy

Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 222 KB

english, 1993

32

A partial model of NF with ZF

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 246 KB

english, 1993

33

The theorem of the means for cardinal and ordinal numbers

George Rousseau

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 382 KB

english, 1993

34

Hierarchies of Partially Ordered Connectives and Quantifiers

Michał Krynicki

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 381 KB

english, 1993

35

Constructive notions of strict convexity

Douglas S. Bridges

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 346 KB

english, 1993

36

Prefinitely axiomatizable modal and intermediate logics

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 1.09 MB

english, 1993

37

Hilbert's ϵ-operator in intuitionistic type theories

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 702 KB

english, 1993

38

A theory of sets with the negation of the axiom of infinity

Stefano Baratella, Ruggero Ferro

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 769 KB

english, 1993

39

Variations of Rado's lemma

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 233 KB

english, 1993

40

System function languages

M. B. Thuraisingham

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 463 KB

english, 1993

41

An order-theoretic characterization of the Schütte-Veblen-Hierarchy

Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 830 KB

english, 1993

42

Measure independent Gödel speed-ups and the relative difficulty of recognizing sets

Martin K. Solomon

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 558 KB

english, 1993

43

Ternary operations as primitive notions for constructive plane geometry III

Victor Pambuccian

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 499 KB

english, 1993

44

Intermediate logics preserving admissible inference rules of heyting calculus

Vladimir V. Rybakov

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 767 KB

english, 1993

45

Finitary sequence spaces

Mark Mandelkern

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 870 KB

english, 1993

46

A note on effective ultrapowers: Uniform failure of bounded collection

Thomas McLaughlin

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 302 KB

english, 1993

47

Typical ambiguity and elementary equivalence

Daniel Dzierzgowski

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 577 KB

english, 1993

48

Derived sequences and reverse mathematics

Jeffry L. Hirst

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 412 KB

english, 1993

49

Non-circular, non-well-founded set universes

Athanassios Tzouvaras

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 358 KB

english, 1993

50

Some results on polarized partion relations of higher dimension

Walter Alexandre Carnielli, Carlos Augusto Di Prisco

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 539 KB

english, 1993

51

Highness and bounding minimal pairs

Rodney G. Downey, Steffen Lempp, Richard A. Shore

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 1.10 MB

english, 1993

52

On the predecessor relation in abstract algebras

Karl-Heinz Diener

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 1.26 MB

english, 1993

53

A cohesive set which is not high

Carl Jockusch, Frank Stephan

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 1014 KB

english, 1993

54

On the structure of kripke models of heyting arithmetic

Zoran Marković

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 456 KB

english, 1993

55

A proof of the normal form theorem for the closed terms of Girard's system F by means of computability

Silvio Valentini

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 300 KB

english, 1993

56

Partition reals and the consistency of t > add(R)

Kyriakos Keremedis

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 319 KB

english, 1993

57

ω-operations over partial enumerated sets

Andrzej Orlicki

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 445 KB

english, 1993

58

Consequences of Schanuel's condition for zeros of exponential terms

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 357 KB

english, 1993

59

Finitary algebraic logic II

Roger D. Maddux

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 208 KB

english, 1993

60

Errata

Journal:

Mathematical Logic Quarterly

Year:

1993

File:

PDF, 33 KB

1993

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски