Works matching IS 09335846 AND DT 2015 AND VI 54 AND IP 1/2
Results: 12
Isomorphic and strongly connected components.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 35, doi. 10.1007/s00153-014-0399-2
- By:
- Publication type:
- Article
Reverse mathematics and marriage problems with unique solutions.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 49, doi. 10.1007/s00153-014-0401-z
- By:
- Publication type:
- Article
Friedberg numberings in the Ershov hierarchy.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 59, doi. 10.1007/s00153-014-0402-y
- By:
- Publication type:
- Article
Full and hat inductive definitions are equivalent in NBG.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 75, doi. 10.1007/s00153-014-0403-x
- By:
- Publication type:
- Article
Arithmetical algorithms for elementary patterns.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 113, doi. 10.1007/s00153-014-0404-9
- By:
- Publication type:
- Article
A forcing notion related to Hindman's theorem.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 133, doi. 10.1007/s00153-014-0405-8
- By:
- Publication type:
- Article
Adding a club with finite conditions, Part II.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 161, doi. 10.1007/s00153-014-0406-7
- By:
- Publication type:
- Article
Strong partition cardinals and determinacy in $${K(\mathbb{R})}$$.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 173, doi. 10.1007/s00153-014-0407-6
- By:
- Publication type:
- Article
Well-partial-orderings and the big Veblen number.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 193, doi. 10.1007/s00153-014-0408-5
- By:
- Publication type:
- Article
Between Polish and completely Baire.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 231, doi. 10.1007/s00153-014-0409-4
- By:
- Publication type:
- Article
Forking geometry on theories with an independent predicate.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 247, doi. 10.1007/s00153-014-0411-x
- By:
- Publication type:
- Article
Partially definable forcing and bounded arithmetic.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 1, doi. 10.1007/s00153-014-0398-3
- By:
- Publication type:
- Article