1. |
On a simple definition of computable function of a real variable‐with applications to functions of a complex variable |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 1-19
Marian Boykan Pour‐El,
Jerome Caldwell,
Preview
|
PDF (1220KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210102
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
2. |
Triadic partial implicational propositional calculi |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 21-28
Charles E. Hughes,
Preview
|
PDF (660KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210103
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
3. |
The logical consequence relation of propositional tense logic |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 29-40
S. K. Thomason,
Preview
|
PDF (717KB)
|
|
摘要:
AbstractThis work concerns the model theory of propositional tense logic with the Kripke relational semantics. It is shown (i) that there is a formulaywhose logical consequences form a complete II set, and (ii) that for 0 ≦m<ω+ω there are formulas γmsuch that all models of γmare isomorphic and have cardinalityxm, wherex0= χ0,xm+1=2xm, andxω= lim{xm<|mω}. Familiarity with the relational semantics for modal and tense logic ([1] or [3], for example) will be presumed. A knowledge of recursion theory would be helpful, although some background material will be
ISSN:0942-5616
DOI:10.1002/malq.19750210104
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
4. |
Non recursive functionals |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 41-46
Richard Bird,
Preview
|
PDF (345KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210105
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
5. |
A characterization of complexity sequences |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 47-56
C. P. Schnorr,
G. Stumpf,
Preview
|
PDF (677KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210106
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
6. |
Two variants of the system of entailment |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 57-68
Imre Ruzsa,
Preview
|
PDF (665KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210107
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
7. |
A remark on the strict order property |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 69-70
A. H. Lachlan,
Preview
|
PDF (129KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210108
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
8. |
Sets derived by deterministic systems with axiom |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 71-80
Charles E. Hughes,
Preview
|
PDF (580KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210109
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
9. |
Disjunctive extensions of S4 and a conjecture of Goldblatt's |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 81-86
George F. Schumm,
Preview
|
PDF (365KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210110
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
10. |
On the standard‐model hypothesis of ZF |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 87-88
Alexander Abian,
Preview
|
PDF (135KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210111
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|