Dependent choice as a termination principle.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 503, doi. 10.1007/s00153-019-00706-6
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2020 AND VI 59 AND IP 3/4
Results: 14
1
2
Induction rules in bounded arithmetic.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 461, doi. 10.1007/s00153-019-00702-w
- By:
- Publication type:
- Article
3
Scott sentences for equivalence structures.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 453, doi. 10.1007/s00153-019-00701-x
- By:
- Publication type:
- Article
4
Covering properties of ω-mad families.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 445, doi. 10.1007/s00153-019-00700-y
- By:
- Publication type:
- Article
5
Analytic computable structure theory and Lp-spaces part 2.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 427, doi. 10.1007/s00153-019-00697-4
- By:
- Publication type:
- Article
6
Absorbing the structural rules in the sequent calculus with additional atomic rules.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 389, doi. 10.1007/s00153-019-00696-5
- By:
- Publication type:
- Article
7
Square below a non-weakly compact cardinal.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 409, doi. 10.1007/s00153-019-00695-6
- By:
- Publication type:
- Article
8
Antichains of perfect and splitting trees.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 367, doi. 10.1007/s00153-019-00694-7
- By:
- Publication type:
- Article
9
A small ultrafilter number at smaller cardinals.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 325, doi. 10.1007/s00153-019-00693-8
- By:
- Publication type:
- Article
10
Weaker variants of infinite time Turing machines.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 335, doi. 10.1007/s00153-019-00692-9
- By:
- Publication type:
- Article
11
On the forking topology of a reduct of a simple theory.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 313, doi. 10.1007/s00153-019-00691-w
- By:
- Publication type:
- Article
12
Detecting properties from descriptions of groups.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 293, doi. 10.1007/s00153-019-00690-x
- By:
- Publication type:
- Article
13
Proof-theoretic strengths of the well-ordering principles.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 257, doi. 10.1007/s00153-019-00689-4
- By:
- Publication type:
- Article
14
Ordinal analyses for monotone and cofinal transfinite inductions.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 277, doi. 10.1007/s00153-019-00688-5
- By:
- Publication type:
- Article