Boolean-Valued Models of Set Theory with Automorphisms.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 7-9, p. 117, doi. 10.1002/malq.19860320704
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1986 AND VI 32 AND IP 7-9
Results: 7
1
2
Zur Axiomatik der Friedmanschen Theorie der Prädikate.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 7-9, p. 97, doi. 10.1002/malq.19860320702
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 7-9, p. fmi, doi. 10.1002/malq.19860320701
- Publication type:
- Article
4
Forcing and Consistency Results for Recursion in <sup>3</sup>E Together with Selection Over ℵ<sub>1</sub>.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 7-9, p. 107, doi. 10.1002/malq.19860320703
- By:
- Publication type:
- Article
5
Barwise Completeness Theorems for Some Biprobability Logics.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 7-9, p. 133, doi. 10.1002/malq.19860320706
- By:
- Publication type:
- Article
6
A Syntactic Proof of Cut-Elimination For GL<sub>lin</sub>.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 7-9, p. 137, doi. 10.1002/malq.19860320707
- By:
- Publication type:
- Article
7
Theories Having Finitely Many Countable Homogeneous Models.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 7-9, p. 131, doi. 10.1002/malq.19860320705
- By:
- Publication type:
- Article