Works matching IS 0933-5846 AND VI 54 AND IP 3/4 AND DT 2015
Results: 12
Ideals on $${P_{\kappa}(\lambda)}$$ associated with games of uncountable length.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 291, doi. 10.1007/s00153-014-0412-9
- By:
- Publication type:
- Article
Unified characterizations of lowness properties via Kolmogorov complexity.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 329, doi. 10.1007/s00153-014-0413-8
- By:
- Publication type:
- Article
Open induction in a bounded arithmetic for TC.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 359, doi. 10.1007/s00153-014-0414-7
- By:
- Publication type:
- Article
Two-cardinal diamond and games of uncountable length.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 395, doi. 10.1007/s00153-014-0415-6
- By:
- Publication type:
- Article
A new proof of Ajtai's completeness theorem for nonstandard finite structures.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 413, doi. 10.1007/s00153-014-0416-5
- By:
- Publication type:
- Article
The modal logic of Reverse Mathematics.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 425, doi. 10.1007/s00153-015-0417-z
- By:
- Publication type:
- Article
Erratum to: Limit computable integer parts.
- Published in:
- 2015
- By:
- Publication type:
- Erratum
Square principles with tail-end agreement.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 439, doi. 10.1007/s00153-015-0419-x
- By:
- Publication type:
- Article
Σ-wellorders without collapsing.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 453, doi. 10.1007/s00153-015-0420-4
- By:
- Publication type:
- Article
A universal indestructibility theorem compatible with level by level equivalence.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 463, doi. 10.1007/s00153-015-0421-3
- By:
- Publication type:
- Article
Predicatively computable functions on sets.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 471, doi. 10.1007/s00153-015-0422-2
- By:
- Publication type:
- Article
The large cardinals between supercompact and almost-huge.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 257, doi. 10.1007/s00153-014-0410-y
- By:
- Publication type:
- Article