Generalizing Kruskal's theorem to pairs of cohabitating trees.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 37, doi. 10.1007/s00153-015-0457-4
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2016 AND VI 55 AND IP 1/2
Results: 14
1
2
ZF + DC + AX.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 239, doi. 10.1007/s00153-015-0469-0
- By:
- Publication type:
- Article
3
Indestructibility and destructible measurable cardinals.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 3, doi. 10.1007/s00153-015-0470-7
- By:
- Publication type:
- Article
4
Baire spaces and infinite games.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 85, doi. 10.1007/s00153-015-0461-8
- By:
- Publication type:
- Article
5
Dedicated to Richard Laver.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 1, doi. 10.1007/s00153-015-0468-1
- Publication type:
- Article
6
Superstrong and other large cardinals are never Laver indestructible.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 19, doi. 10.1007/s00153-015-0458-3
- By:
- Publication type:
- Article
7
Strong measure zero in separable metric spaces and Polish groups.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 105, doi. 10.1007/s00153-015-0459-2
- By:
- Publication type:
- Article
8
Laver's results and low-dimensional topology.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 49, doi. 10.1007/s00153-015-0460-9
- By:
- Publication type:
- Article
9
Laver and set theory.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 133, doi. 10.1007/s00153-015-0462-7
- By:
- Publication type:
- Article
10
The Weak Ultrafilter Axiom.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 319, doi. 10.1007/s00153-015-0467-2
- By:
- Publication type:
- Article
11
A remark on hereditarily nonparadoxical sets.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 165, doi. 10.1007/s00153-015-0463-6
- By:
- Publication type:
- Article
12
Left division in the free left distributive algebra on many generators.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 177, doi. 10.1007/s00153-015-0464-5
- By:
- Publication type:
- Article
13
Equiconsistencies at subcompact cardinals.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 207, doi. 10.1007/s00153-015-0465-4
- By:
- Publication type:
- Article
14
Martin's maximum revisited.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 1/2, p. 295, doi. 10.1007/s00153-015-0466-3
- By:
- Publication type:
- Article