Satisfaction Classes and Combinatorial Sentences Independent From PA.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 8-12, p. 149, doi. 10.1002/malq.19820280804
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1982 AND VI 28 AND IP 8-12
Results: 5
1
2
Invisible Ordinals and Inductive Definitions.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 8-12, p. 137, doi. 10.1002/malq.19820280803
- By:
- Publication type:
- Article
3
On Complexity of Complete First-Order Theories.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 8-12, p. 93, doi. 10.1002/malq.19820280802
- By:
- Publication type:
- Article
4
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 8-12, p. fmi, doi. 10.1002/malq.19820280801
- Publication type:
- Article
5
Relativized Cylindrification.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 8-12, p. 167, doi. 10.1002/malq.19820280805
- By:
- Publication type:
- Article