Positive primitive formulae of modules over rings of semi-algebraic functions on a curve.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 587, doi. 10.1007/s00153-015-0429-8
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2015 AND VI 54 AND IP 5/6
Results: 15
1
2
A DNC function that computes no effectively bi-immune set.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 521, doi. 10.1007/s00153-015-0425-z
- By:
- Publication type:
- Article
3
Intuitionistic fixed point theories over set theories.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 531, doi. 10.1007/s00153-015-0426-y
- By:
- Publication type:
- Article
4
How high can Baumgartner's $${\mathcal{I}}$$ -ultrafilters lie in the P-hierarchy?
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 555, doi. 10.1007/s00153-015-0427-x
- By:
- Publication type:
- Article
5
Typical automorphism groups of finite nonrigid structures.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 571, doi. 10.1007/s00153-015-0428-9
- By:
- Publication type:
- Article
6
Elementary classes of finite VC-dimension.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 511, doi. 10.1007/s00153-015-0424-0
- By:
- Publication type:
- Article
7
Prefix and plain Kolmogorov complexity characterizations of 2-randomness: simple proofs.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 615, doi. 10.1007/s00153-015-0430-2
- By:
- Publication type:
- Article
8
Representing Scott sets in algebraic settings.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 631, doi. 10.1007/s00153-015-0431-1
- By:
- Publication type:
- Article
9
Simple proofs of $${\mathsf{SCH}}$$ from reflection principles without using better scales.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 639, doi. 10.1007/s00153-015-0432-0
- By:
- Publication type:
- Article
10
Families of sets with nonmeasurable unions with respect to ideals defined by trees.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 649, doi. 10.1007/s00153-015-0433-z
- By:
- Publication type:
- Article
11
A Wadge hierarchy for second countable spaces.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 659, doi. 10.1007/s00153-015-0434-y
- By:
- Publication type:
- Article
12
On the parameterized complexity of non-monotonic logics.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 685, doi. 10.1007/s00153-015-0435-x
- By:
- Publication type:
- Article
13
A definable E class containing no definable elements.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 711, doi. 10.1007/s00153-015-0436-9
- By:
- Publication type:
- Article
14
The stationarity of the collection of the locally regulars.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 725, doi. 10.1007/s00153-015-0437-8
- By:
- Publication type:
- Article
15
The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $${\theta}$$ -supercompact.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 491, doi. 10.1007/s00153-015-0423-1
- By:
- Publication type:
- Article