Reclassifying the antithesis of Specker's theorem.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 687, doi. 10.1007/s00153-012-0292-9
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2012 AND VI 51 AND IP 7/8
Results: 12
1
2
The axiom of real Blackwell determinacy.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 671, doi. 10.1007/s00153-012-0291-x
- By:
- Publication type:
- Article
3
On omega-categorical simple theories.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 709, doi. 10.1007/s00153-012-0294-7
- By:
- Publication type:
- Article
4
Glivenko theorems and negative translations in substructural predicate logics.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 695, doi. 10.1007/s00153-012-0293-8
- By:
- Publication type:
- Article
5
Some consequences of Rado's selection lemma.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 739, doi. 10.1007/s00153-012-0296-5
- By:
- Publication type:
- Article
6
On involutive FL-monoids.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 719, doi. 10.1007/s00153-012-0295-6
- By:
- Publication type:
- Article
7
A variant of Mathias forcing that preserves $${\mathsf{ACA}_0}$$.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 751, doi. 10.1007/s00153-012-0297-4
- By:
- Publication type:
- Article
8
On some questions concerning strong compactness.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 819, doi. 10.1007/s00153-012-0300-0
- By:
- Publication type:
- Article
9
Homogeneity in relatively free groups.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 781, doi. 10.1007/s00153-012-0298-3
- By:
- Publication type:
- Article
10
Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 789, doi. 10.1007/s00153-012-0299-2
- By:
- Publication type:
- Article
11
Algebraizable logics with a strong conjunction and their semi-lattice based companions.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 831, doi. 10.1007/s00153-012-0301-z
- By:
- Publication type:
- Article
12
A model with a measurable which does not carry a normal measure.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 863, doi. 10.1007/s00153-012-0302-y
- By:
- Publication type:
- Article