On Boolean Algebras and their Recursive Completions.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 31-34, p. 481, doi. 10.1002/malq.19850313102
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1985 AND VI 31 AND IP 31-34
Results: 9
1
2
Multiply Transitive Sets.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 31-34, p. 487, doi. 10.1002/malq.19850313103
- By:
- Publication type:
- Article
3
Duality for Compact Logics and Substitution in Abstract Model Theory.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 31-34, p. 517, doi. 10.1002/malq.19850313107
- By:
- Publication type:
- Article
4
A Model where Cardinal Ordering is Universal.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 31-34, p. 533, doi. 10.1002/malq.19850313108
- By:
- Publication type:
- Article
5
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 31-34, p. fmi, doi. 10.1002/malq.19850313101
- Publication type:
- Article
6
Acceptable Numerations of Function Spaces.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 31-34, p. 503, doi. 10.1002/malq.19850313105
- By:
- Publication type:
- Article
7
Continuing Variations on a System of Gentzen.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 31-34, p. 537, doi. 10.1002/malq.19850313109
- By:
- Publication type:
- Article
8
Classification of Boolean Algebras of Logic and Probabilities Defined on them by Classical Models.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 31-34, p. 509, doi. 10.1002/malq.19850313106
- By:
- Publication type:
- Article
9
Linear Order Types of Nonrecursive Presentability.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 31-34, p. 495, doi. 10.1002/malq.19850313104
- By:
- Publication type:
- Article