Measurability and the baire property at higher levels.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 377, doi. 10.1002/malq.19900360502
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1990 AND VI 36 AND IP 5
Results: 11
1
2
The hilbert type axiomatization of some three-valued propositional logic.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 415, doi. 10.1002/malq.19900360506
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. fmi, doi. 10.1002/malq.19900360501
- Publication type:
- Article
4
Proof theory and computer programming.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 389, doi. 10.1002/malq.19900360505
- By:
- Publication type:
- Article
5
More on induction in the language with a satisfaction class.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 441, doi. 10.1002/malq.19900360509
- By:
- Publication type:
- Article
6
Some connections between boolean valued analysis and topological reduction theory for C<sup>*</sup>-algebras.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 471, doi. 10.1002/malq.19900360511
- By:
- Publication type:
- Article
7
Permutations and stratified formulae a preservation theorem.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 385, doi. 10.1002/malq.19900360504
- By:
- Publication type:
- Article
8
Boolean powers over incomplete boolean algebras.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 431, doi. 10.1002/malq.19900360508
- By:
- Publication type:
- Article
9
Formalizing falsification: Three delete operations.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 455, doi. 10.1002/malq.19900360510
- By:
- Publication type:
- Article
10
Extending ω-consistent sets to maximally consistent, ω-complete sets.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 381, doi. 10.1002/malq.19900360503
- By:
- Publication type:
- Article
11
Minimal systems.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 5, p. 423, doi. 10.1002/malq.19900360507
- By:
- Publication type:
- Article