Well quasi orders in a categorical setting.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 501, doi. 10.1007/s00153-018-0649-9
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2019 AND VI 58 AND IP 3/4
Results: 16
1
2
Elementary theories and hereditary undecidability for semilattices of numberings.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 485, doi. 10.1007/s00153-018-0647-y
- By:
- Publication type:
- Article
3
Distinct volume subsets via indiscernibles.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 469, doi. 10.1007/s00153-018-0646-z
- By:
- Publication type:
- Article
4
Conjugacy for homogeneous ordered graphs.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 457, doi. 10.1007/s00153-018-0645-0
- By:
- Publication type:
- Article
5
A continuity principle equivalent to the monotone Π10 fan theorem.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 443, doi. 10.1007/s00153-018-0644-1
- By:
- Publication type:
- Article
6
On uniformly continuous functions between pseudometric spaces and the Axiom of Countable Choice.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 353, doi. 10.1007/s00153-018-0643-2
- By:
- Publication type:
- Article
7
Dickson's lemma and weak Ramsey theory.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 413, doi. 10.1007/s00153-018-0642-3
- By:
- Publication type:
- Article
8
A note on Gentzen's ordinal assignment.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 347, doi. 10.1007/s00153-018-0641-4
- By:
- Publication type:
- Article
9
On the non-existence of mad families.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 325, doi. 10.1007/s00153-018-0640-5
- By:
- Publication type:
- Article
10
A note on iterated consistency and infinite proofs.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 339, doi. 10.1007/s00153-018-0639-y
- By:
- Publication type:
- Article
11
Degree spectra of real closed fields.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 387, doi. 10.1007/s00153-018-0638-z
- By:
- Publication type:
- Article
12
A Laver-like indestructibility for hypermeasurable cardinals.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 275, doi. 10.1007/s00153-018-0637-0
- By:
- Publication type:
- Article
13
Maehara-style modal nested calculi.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 359, doi. 10.1007/s00153-018-0636-1
- By:
- Publication type:
- Article
14
On positive local combinatorial dividing-lines in model theory.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 289, doi. 10.1007/s00153-018-0635-2
- By:
- Publication type:
- Article
15
Some remarks on inp-minimal and finite burden groups.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 267, doi. 10.1007/s00153-018-0634-3
- By:
- Publication type:
- Article
16
Diamond, scales and GCH down to ℵω2.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 427, doi. 10.1007/s00153-018-0633-4
- By:
- Publication type:
- Article