The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 465, doi. 10.1007/s00153-007-0050-6
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2007 AND VI 46 AND IP 5/6
Results: 11
1
2
Provability in predicate product logic.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 365, doi. 10.1007/s00153-007-0036-4
- By:
- Publication type:
- Article
3
Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 385, doi. 10.1007/s00153-007-0039-1
- By:
- Publication type:
- Article
4
Δ<sub>1</sub> Ultrapowers are totally rigid.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 379, doi. 10.1007/s00153-007-0038-2
- By:
- Publication type:
- Article
5
Antichains in partially ordered sets of singular cofinality.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 457, doi. 10.1007/s00153-007-0049-z
- By:
- Publication type:
- Article
6
Normal forms for fuzzy logics: a proof-theoretic approach.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 347, doi. 10.1007/s00153-007-0033-7
- By:
- Publication type:
- Article
7
Fuzzy logics based on [0,1)-continuous uninorms.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 425, doi. 10.1007/s00153-007-0047-1
- By:
- Publication type:
- Article
8
Theories with constants and three countable models.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 517, doi. 10.1007/s00153-007-0054-2
- By:
- Publication type:
- Article
9
On some sheaves of special groups.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 481, doi. 10.1007/s00153-007-0051-5
- By:
- Publication type:
- Article
10
Generalized quantifier and a bounded arithmetic theory for LOGCFL.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 489, doi. 10.1007/s00153-007-0052-4
- By:
- Publication type:
- Article
11
A cardinal preserving extension making the set of points of countable V cofinality nonstationary.
- Published in:
- Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 451, doi. 10.1007/s00153-007-0048-0
- By:
- Publication type:
- Article