Few new reals.
- Published in:
- Journal of Mathematical Logic, 2024, v. 24, n. 2, p. 1, doi. 10.1142/S0219061323500095
- By:
- Publication type:
- Article
Works matching IS 02190613 AND DT 2024 AND VI 24 AND IP 2
Results: 5
1
2
Logical metatheorems for accretive and (generalized) monotone set-valued operators.
- Published in:
- Journal of Mathematical Logic, 2024, v. 24, n. 2, p. 1, doi. 10.1142/S0219061323500083
- By:
- Publication type:
- Article
3
Ramsey's theorem for pairs, collection, and proof size.
- Published in:
- Journal of Mathematical Logic, 2024, v. 24, n. 2, p. 1, doi. 10.1142/S0219061323500071
- By:
- Publication type:
- Article
4
Henselian expansions of NIP fields.
- Published in:
- Journal of Mathematical Logic, 2024, v. 24, n. 2, p. 1, doi. 10.1142/S021906132350006X
- By:
- Publication type:
- Article
5
Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics.
- Published in:
- Journal of Mathematical Logic, 2024, v. 24, n. 2, p. 1, doi. 10.1142/S0219061323500058
- By:
- Publication type:
- Article