Volume 21; Issue 1

Mathematical Logic Quarterly

Volume 21; Issue 1

1

Masthead

Journal:

Mathematical Logic Quarterly

Year:

1975

File:

PDF, 33 KB

1975

2

On a simple definition of computable function of a real variable-with applications to functions of a complex variable

Marian Boykan Pour-El, Jerome Caldwell

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 1.19 MB

english, 1975

3

Triadic partial implicational propositional calculi

Charles E. Hughes

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 660 KB

english, 1975

4

The logical consequence relation of propositional tense logic

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 718 KB

english, 1975

5

Non recursive functionals

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 345 KB

english, 1975

6

A characterization of complexity sequences

C. P. Schnorr, G. Stumpf

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 678 KB

english, 1975

7

Two variants of the system of entailment

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 666 KB

english, 1975

8

A remark on the strict order property

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 130 KB

english, 1975

9

Sets derived by deterministic systems with axiom

Charles E. Hughes

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 581 KB

english, 1975

10

Disjunctive extensions of S4 and a conjecture of Goldblatt's

George F. Schumm

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 365 KB

english, 1975

11

On the standard-model hypothesis of ZF

Alexander Abian

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 136 KB

english, 1975

12

Monadic generalized spectra

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 652 KB

english, 1975

13

Truth in all of certain well-founded countable models arising in set theory

John W. Rosenthal

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 609 KB

english, 1975

14

Reduction of second-order logic to modal logic

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 464 KB

english, 1975

15

An ordered set of arithmetic functions representing the least ε-number

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 400 KB

english, 1975

16

A two-cardinal characterization of double spectra

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 165 KB

english, 1975

17

A spectrum hierarchy

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 846 KB

english, 1975

18

On languages with two variables

Michael Mortimer

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 500 KB

english, 1975

19

A note on the existence of tautologies without constants

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 233 KB

english, 1975

20

Zur Benutzung der Verkettung als Basis für die Arithmetik

Michael Deutsch

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

german

File:

PDF, 735 KB

german, 1975

21

Über die Erfüllung gewisser Erhaltungssätze durch Kompliziertheitsmasse

Gerhard Lischke

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

german

File:

PDF, 567 KB

german, 1975

22

Spectra and halting problems

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 613 KB

english, 1975

23

A note concerning the V* relation on Λr

T. G. McLaughlin

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 252 KB

english, 1975

24

A syntactic characterization of Kleene's strong connectives with two designated values

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 319 KB

english, 1975

25

A short proof of a well-known theorem of intuitionistic analysis

Horst Luckhardt

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 104 KB

english, 1975

26

Der Satz von Dilworth und Souslin's Hypothese

Karsten Steffens

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

german

File:

PDF, 464 KB

german, 1975

27

Jankov-theorems for some implicational calculi

Biswambhar Pahi

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 452 KB

english, 1975

28

On speedability of recursively enumerable sets

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 1.09 MB

english, 1975

29

Computable explanations

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 697 KB

english, 1975

30

No minimal transitive model of Z−

W. Marek, M. Srebrny

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 279 KB

english, 1975

31

Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren

Heinrich Herre, Helmut Wolter

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

german

File:

PDF, 1.28 MB

german, 1975

32

[Russian text ignored]

Journal:

Mathematical Logic Quarterly

Year:

1975

File:

PDF, 1.25 MB

1975

33

[Russian text ignored]

Journal:

Mathematical Logic Quarterly

Year:

1975

File:

PDF, 1.16 MB

1975

34

Contributions to the theory of semisets V: On the axiom of general collapse

Petr Vopênka, Antonín Sochor

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 1019 KB

english, 1975

35

Weak completeness and Abelian semigroups

T. C. Wesselkamper

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 167 KB

english, 1975

36

Partial n1-homogeneity of the countable saturated model of an n1-categorical theory

John W. Rosenthal

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 191 KB

english, 1975

37

A cumulative hierarchy of predicates

Harvey Friedman

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 417 KB

english, 1975

38

Structural completeness of the first-order predicate calculus

W. A. Pogorzelski, T. Prucnal

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 427 KB

english, 1975

39

Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

german

File:

PDF, 660 KB

german, 1975

40

The Baire category of sets of access

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 836 KB

english, 1975

41

Compactness and recursive enumerability in intensional logic

Bernd J. Stephan

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 280 KB

english, 1975

42

Die Elementare Theorie der Gruppe vom Typ p∞ mit Untergruppen

Andreas Baudisch

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

german

File:

PDF, 390 KB

german, 1975

43

Characterising the largest, countable partial ordering

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 174 KB

english, 1975

44

Comparing type theory and set theory

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 175 KB

english, 1975

45

Minimale Gruppen

Joachim Reineke

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

german

File:

PDF, 220 KB

german, 1975

46

On violating the GCH below the least measurable cardinal

D. H. Pelletier

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 333 KB

english, 1975

47

A note on simple graphic algebras

Juhani Nieminen

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 223 KB

english, 1975

48

An alternative concept of the universal decision element in m-valued logic

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 489 KB

english, 1975

49

A note on the compactness theorem

R. R. Rockingham Gill

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 115 KB

english, 1975

50

The completeness of monotonic modal logics

Brian F. Chellas, Audrey McKinney

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 379 KB

english, 1975

51

Ultraprodukte in der Theorie der logischen Auswahlfunktionen

Dietrich Schwartz

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

german

File:

PDF, 578 KB

german, 1975

52

Polish circles

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 249 KB

english, 1975

53

Sentences with finite models

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 302 KB

english, 1975

54

Infinitary logic and topological homeomorphisms

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 324 KB

english, 1975

55

On the effective ω-rule

Warren D. Goldfarb

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 315 KB

english, 1975

56

An example of a function with multiple ambiguities

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 283 KB

english, 1975

57

Small Grzegorczyk classes and limited minimum

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 676 KB

english, 1975

58

A note on the predicatively definable sets of N. N. Nepeîvoda

Stephen L. Bloom

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 328 KB

english, 1975

59

Categorical languages for algebraic structures

W. S. Hatcher, A. Shafaat

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 521 KB

english, 1975

60

Contribution to the theory of semisets VI: (Non-existence of the class of all absolute natural numbers)

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 299 KB

english, 1975

61

Zur Darstellung koaufzählbarer Prädikate bei Verwendung eines einzigen unbeschränkten Quantors

Michael Deutsch

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

german

File:

PDF, 779 KB

german, 1975

62

Zum Isomorphieproblem der Booleschen Algebren

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

german

File:

PDF, 521 KB

german, 1975

63

L-Σ transfinite induction with an application to the EHP hierarchy

Eliot D. Feldman

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 637 KB

english, 1975

64

Theorie der Numerierungen II

J. U. L. Eršov

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

german

File:

PDF, 8.24 MB

german, 1975

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Български