Construction of models of bounded arithmetic by restricted reduced powers.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 625, doi. 10.1007/s00153-016-0484-9
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2016 AND VI 55 AND IP 5/6
Results: 14
1
2
SPFA by finite conditions.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 649, doi. 10.1007/s00153-016-0485-8
- By:
- Publication type:
- Article
3
Continuity of SU-rank in unidimensional supersimple theories.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 663, doi. 10.1007/s00153-016-0486-7
- By:
- Publication type:
- Article
4
On the n-uniqueness of types in rosy theories.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 677, doi. 10.1007/s00153-016-0487-6
- By:
- Publication type:
- Article
5
The strength of the Grätzer-Schmidt theorem.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 687, doi. 10.1007/s00153-016-0488-5
- By:
- Publication type:
- Article
6
$$\mathcal {F}$$ -finite embeddabilities of sets and ultrafilters.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 705, doi. 10.1007/s00153-016-0489-4
- By:
- Publication type:
- Article
7
Definable choice for a class of weakly o-minimal theories.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 735, doi. 10.1007/s00153-016-0490-y
- By:
- Publication type:
- Article
8
Definable sets in Stone algebras.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 749, doi. 10.1007/s00153-016-0491-x
- By:
- Publication type:
- Article
9
Elementary epimorphisms between models of set theory.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 759, doi. 10.1007/s00153-016-0492-9
- By:
- Publication type:
- Article
10
Menger remainders of topological groups.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 767, doi. 10.1007/s00153-016-0493-8
- By:
- Publication type:
- Article
11
The definable tree property for successors of cardinals.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 785, doi. 10.1007/s00153-016-0494-7
- By:
- Publication type:
- Article
12
Cofinality of normal ideals on $$[\lambda ]^{<\kappa }$$ I.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 799, doi. 10.1007/s00153-016-0496-5
- By:
- Publication type:
- Article
13
Fresh subsets of ultrapowers.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 835, doi. 10.1007/s00153-016-0497-4
- By:
- Publication type:
- Article
14
R-analytic functions.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 605, doi. 10.1007/s00153-016-0483-x
- By:
- Publication type:
- Article