Shelah's stability spectrum and homogeneity spectrum in finite diagrams.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 1, p. 1, doi. 10.1007/s001530200000
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2002 AND VI 41 AND IP 1
Results: 9
1
2
A note on the Σ[sub 1] spectrum of a theory.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 1, p. 33
- By:
- Publication type:
- Article
3
A term rewriting characterization of the functions computable in polynomial space.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 1, p. 35, doi. 10.1007/s001530200002
- By:
- Publication type:
- Article
4
A covering lemma for L(ℝ).
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 1, p. 49, doi. 10.1007/s001530200003
- By:
- Publication type:
- Article
5
A new conservation result of WKL[sub 0] over RCA[sub 0].
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 1, p. 55, doi. 10.1007/s001530200004
- By:
- Publication type:
- Article
6
Towards Martins minimum.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 1, p. 65, doi. 10.1007/s001530200005
- By:
- Publication type:
- Article
7
Fuzzy equational logic.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 1, p. 83
- By:
- Publication type:
- Article
8
Strong normalization of a symmetric lambda calculus for second-order classical logic.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 1, p. 91, doi. 10.1007/s001530200007
- By:
- Publication type:
- Article
9
ℋ-theories, fragments of HA and PA-normality.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 1, p. 101, doi. 10.1007/s001530200008
- By:
- Publication type:
- Article