Mathias forcing and ultrafilters.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 857, doi. 10.1007/s00153-016-0499-2
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2016 AND VI 55 AND IP 7/8
Results: 13
1
2
Katětov and Katětov-Blass orders on $$F_\sigma $$ -ideals.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 883, doi. 10.1007/s00153-016-0500-0
- By:
- Publication type:
- Article
3
Fragments of Kripke-Platek set theory and the metamathematics of $$\alpha $$ -recursion theory.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 899, doi. 10.1007/s00153-016-0501-z
- By:
- Publication type:
- Article
4
Convexity and constructive infima.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 873, doi. 10.1007/s00153-016-0502-y
- By:
- Publication type:
- Article
5
Subgroups of $$SF(\omega )$$ and the relation of almost containedness.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 925, doi. 10.1007/s00153-016-0503-x
- By:
- Publication type:
- Article
6
Topological equivalences of $$\mathbf {CUT}$$ and $$\mathbf {CUT(Fin)}$$.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 867, doi. 10.1007/s00153-016-0504-9
- By:
- Publication type:
- Article
7
Structural completeness in propositional logics of dependence.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 955, doi. 10.1007/s00153-016-0505-8
- By:
- Publication type:
- Article
8
The classification of $${\mathbb {Z}}_p$$ -modules with partial decomposition bases in $$L_{\infty \omega }$$.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 939, doi. 10.1007/s00153-016-0506-7
- By:
- Publication type:
- Article
9
Homogenizable structures and model completeness.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 977, doi. 10.1007/s00153-016-0507-6
- By:
- Publication type:
- Article
10
Division by zero.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 997, doi. 10.1007/s00153-016-0508-5
- By:
- Publication type:
- Article
11
Reverse mathematics and marriage problems with finitely many solutions.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 1015, doi. 10.1007/s00153-016-0509-4
- By:
- Publication type:
- Article
12
Cofinality of the laver ideal.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 1025, doi. 10.1007/s00153-016-0510-y
- By:
- Publication type:
- Article
13
Perfect independent sets with respect to infinitely many relations.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 847, doi. 10.1007/s00153-016-0498-3
- By:
- Publication type:
- Article