Ordinals with Partition Properties and the Constructible Hierarchy.
- Published in:
- Mathematical Logic Quarterly, 1972, v. 18, n. 8-11, p. 135, doi. 10.1002/malq.19720180804
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1972 AND VI 18 AND IP 8-11
Results: 7
1
2
A Characteristic Direct Limit Property.
- Published in:
- Mathematical Logic Quarterly, 1972, v. 18, n. 8-11, p. 131, doi. 10.1002/malq.19720180803
- By:
- Publication type:
- Article
3
A Note on Cut Elimination and Completeness in First Order Theories.
- Published in:
- Mathematical Logic Quarterly, 1972, v. 18, n. 8-11, p. 173, doi. 10.1002/malq.19720180807
- By:
- Publication type:
- Article
4
Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable.
- Published in:
- Mathematical Logic Quarterly, 1972, v. 18, n. 8-11, p. 113, doi. 10.1002/malq.19720180802
- By:
- Publication type:
- Article
5
A Method for Proving the Non-Existence of Finite Characteristic Models for Implicational Calculi.
- Published in:
- Mathematical Logic Quarterly, 1972, v. 18, n. 8-11, p. 169, doi. 10.1002/malq.19720180806
- By:
- Publication type:
- Article
6
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1972, v. 18, n. 8-11, p. fmi, doi. 10.1002/malq.19720180801
- Publication type:
- Article
7
A Theorem on the Interrelationship of Axiom systems for Implicational Calculi.
- Published in:
- Mathematical Logic Quarterly, 1972, v. 18, n. 8-11, p. 165, doi. 10.1002/malq.19720180805
- By:
- Publication type:
- Article