1. |
RADO'S SELECTION LEMMA DOES NOT IMPLY THE BOOLEAN PRIME IDEAL THEOREM |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 9‐11,
1984,
Page 129-132
Paul E. Howard,
Preview
|
PDF (222KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300902
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
2. |
ω‐KONSERVATIVITÄT DER NONSTANDARDMENGENLEHRE VON NELSON BEZÜGLICH ZF + KOMPAKTHEITSSATZ |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 9‐11,
1984,
Page 133-144
Hans Walter Buff,
Preview
|
PDF (629KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300903
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
3. |
CONNECTIONS BETWEEN IDENTIFYING FUNCTIONALS, STANDARDIZING OPERATIONS, AND COMPUTABLE NUMBERINGS |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 9‐11,
1984,
Page 145-164
Rüsinš Freivalds,
Efim B. Kinber,
Rolf Wiehagen,
Preview
|
PDF (1295KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300904
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
4. |
A GENERALIZATION OF LINDENBAUM'S THEOREM FOR PREDICATE CALCULI |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 9‐11,
1984,
Page 165-168
Konrad Schultz,
Preview
|
PDF (229KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300905
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
5. |
ON THE NONBOUNDABILITY OF TOTAL EFFECTIVE OPERATORS |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 9‐11,
1984,
Page 169-172
Thomas Zeugmann,
Preview
|
PDF (217KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300906
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
6. |
A GENERALISATION OF SLUPECKI'S CRITERION FOR FUNCTIONAL COMPLETENESS |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 9‐11,
1984,
Page 173-175
Barbara J. Lowesmith,
Alan Rose,
Preview
|
PDF (154KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300907
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|
7. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 30,
Issue 9‐11,
1984,
Page -
Preview
|
PDF (28KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19840300901
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1984
数据来源: WILEY
|