Works matching IS 02190613 AND DT 2014 AND VI 14 AND IP 1
Results: 6
Interpretable groups are definable.
- Published in:
- Journal of Mathematical Logic, 2014, v. 14, n. 1, p. -1, doi. 10.1142/S0219061314500020
- By:
- Publication type:
- Article
Denjoy, Demuth and density.
- Published in:
- Journal of Mathematical Logic, 2014, v. 14, n. 1, p. -1, doi. 10.1142/S0219061314500044
- By:
- Publication type:
- Article
Nontame mouse from the failure of square at a singular strong limit cardinal.
- Published in:
- Journal of Mathematical Logic, 2014, v. 14, n. 1, p. -1, doi. 10.1142/S0219061314500032
- By:
- Publication type:
- Article
The axiom of multiple choice and models for constructive set theory.
- Published in:
- Journal of Mathematical Logic, 2014, v. 14, n. 1, p. -1, doi. 10.1142/S0219061314500056
- By:
- Publication type:
- Article
Ultrafilters in reverse mathematics.
- Published in:
- Journal of Mathematical Logic, 2014, v. 14, n. 1, p. -1, doi. 10.1142/S0219061314500019
- By:
- Publication type:
- Article
Determinacy in L(ℝ, μ).
- Published in:
- Journal of Mathematical Logic, 2014, v. 14, n. 1, p. -1, doi. 10.1142/S0219061314500068
- By:
- Publication type:
- Article