11. |
Monadic generalized spectra |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 89-96
Ronald Fagin,
Preview
|
PDF (652KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210112
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
12. |
Truth in all of certain well‐founded countable models arising in set theory |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 97-106
John W. Rosenthal,
Preview
|
PDF (609KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210113
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
13. |
Reduction of second‐order logic to modal logic |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 107-114
S. K. Thomason,
Preview
|
PDF (463KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210114
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
14. |
An ordered set of arithmetic functions representing the least ε‐number |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 115-120
Hilbert Levitz,
Preview
|
PDF (399KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210115
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
15. |
A two‐cardinal characterization of double spectra |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 121-122
Ronald Fagin,
Preview
|
PDF (165KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210116
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
16. |
A spectrum hierarchy |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 123-134
Ronald Fagin,
Preview
|
PDF (846KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210117
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
17. |
On languages with two variables |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 135-140
Michael Mortimer,
Preview
|
PDF (499KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210118
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
18. |
A note on the existence of tautologies without constants |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 141-144
Alan Rose,
Preview
|
PDF (233KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210119
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
19. |
Zur Benutzung der Verkettung als Basis für die Arithmetik |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 145-158
Michael Deutsch,
Preview
|
PDF (734KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210120
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|
20. |
Über die Erfüllung gewisser Erhaltungssätze durch Kompliziertheitsmasse |
|
Mathematical Logic Quarterly,
Volume 21,
Issue 1,
1975,
Page 159-166
Gerhard Lischke,
Preview
|
PDF (567KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19750210121
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1975
数据来源: WILEY
|