ω-KONSERVATIVITÄT DER NONSTANDARDMENGENLEHRE VON NELSON BEZÜGLICH ZF + KOMPAKTHEITSSATZ.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 9-11, p. 133, doi. 10.1002/malq.19840300903
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1984 AND VI 30 AND IP 9-11
Results: 7
1
2
ON THE NONBOUNDABILITY OF TOTAL EFFECTIVE OPERATORS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 9-11, p. 169, doi. 10.1002/malq.19840300906
- By:
- Publication type:
- Article
3
A GENERALIZATION OF LINDENBAUM'S THEOREM FOR PREDICATE CALCULI.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 9-11, p. 165, doi. 10.1002/malq.19840300905
- By:
- Publication type:
- Article
4
A GENERALISATION OF SLUPECKI'S CRITERION FOR FUNCTIONAL COMPLETENESS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 9-11, p. 173, doi. 10.1002/malq.19840300907
- By:
- Publication type:
- Article
5
RADO'S SELECTION LEMMA DOES NOT IMPLY THE BOOLEAN PRIME IDEAL THEOREM.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 9-11, p. 129, doi. 10.1002/malq.19840300902
- By:
- Publication type:
- Article
6
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 9-11, p. fmi, doi. 10.1002/malq.19840300901
- Publication type:
- Article
7
CONNECTIONS BETWEEN IDENTIFYING FUNCTIONALS, STANDARDIZING OPERATIONS, AND COMPUTABLE NUMBERINGS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 9-11, p. 145, doi. 10.1002/malq.19840300904
- By:
- Publication type:
- Article