Works matching IS 09425616 AND DT 1980 AND VI 26 AND IP 14-18
Results: 8
On Skolem Ultrapowers and Their Non-Standard Variant.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 14-18, p. 227, doi. 10.1002/malq.19800261404
- By:
- Publication type:
- Article
CO-Simple Higher-Order Indecomposable Isols.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 14-18, p. 279, doi. 10.1002/malq.19800261408
- By:
- Publication type:
- Article
Zerlegung mit Vergleichsbedingungen Einer Gödelnumerierung.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 14-18, p. 215, doi. 10.1002/malq.19800261403
- By:
- Publication type:
- Article
The Structure of Loop Programs and Subrecursive Hierarchies.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 14-18, p. 255, doi. 10.1002/malq.19800261407
- By:
- Publication type:
- Article
Cylindric Algebras with Filter Quantifiers.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 14-18, p. 251, doi. 10.1002/malq.19800261406
- By:
- Publication type:
- Article
Brouwer and Souslin on Transfinite Cardinals.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 14-18, p. 209, doi. 10.1002/malq.19800261402
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 14-18, p. fmi, doi. 10.1002/malq.19800261401
- Publication type:
- Article
An Application of Rank-Forcing to ω<sub>1</sub>-Categoricity.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 14-18, p. 237, doi. 10.1002/malq.19800261405
- By:
- Publication type:
- Article