Completeness theorem for topological class models.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 1, p. 1, doi. 10.1007/s00153-006-0014-2
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2007 AND VI 46 AND IP 1
Results: 5
1
2
Preservation theorems for bounded formulas.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 1, p. 9, doi. 10.1007/s00153-006-0016-0
- By:
- Publication type:
- Article
3
A note on the schemes of replacement and collection.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 1, p. 43, doi. 10.1007/s00153-005-0289-8
- By:
- Publication type:
- Article
4
Ramsey’s theorem and König’s Lemma.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 1, p. 37, doi. 10.1007/s00153-006-0025-z
- By:
- Publication type:
- Article
5
Complex analysis in subsystems of second order arithmetic.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 1, p. 15, doi. 10.1007/s00153-006-0017-z
- By:
- Publication type:
- Article