Indestructibility and the linearity of the Mitchell ordering.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 473, doi. 10.1007/s00153-024-00908-7
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2024 AND VI 63 AND IP 3/4
Results: 13
1
2
The second-order version of Morley's theorem on the number of countable models does not require large cardinals.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 483, doi. 10.1007/s00153-024-00907-8
- By:
- Publication type:
- Article
3
Vector spaces with a union of independent subspaces.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 499, doi. 10.1007/s00153-024-00906-9
- By:
- Publication type:
- Article
4
Weak essentially undecidable theories of concatenation, part II.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 353, doi. 10.1007/s00153-023-00898-y
- By:
- Publication type:
- Article
5
L-domains as locally continuous sequent calculi.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 405, doi. 10.1007/s00153-023-00903-4
- By:
- Publication type:
- Article
6
Cut elimination for coherent theories in negation normal form.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 427, doi. 10.1007/s00153-023-00902-5
- By:
- Publication type:
- Article
7
Regressive versions of Hindman's theorem.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 447, doi. 10.1007/s00153-023-00901-6
- By:
- Publication type:
- Article
8
Prenex normalization and the hierarchical classification of formulas.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 391, doi. 10.1007/s00153-023-00899-x
- By:
- Publication type:
- Article
9
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 491, doi. 10.1007/s00153-024-00904-x
- By:
- Publication type:
- Article
10
Maximal Tukey types, P-ideals and the weak Rudin–Keisler order.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 325, doi. 10.1007/s00153-023-00897-z
- By:
- Publication type:
- Article
11
On diagonal functions for equivalence relations.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 259, doi. 10.1007/s00153-023-00896-0
- By:
- Publication type:
- Article
12
On Harrop disjunction property in intermediate predicate logics.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 317, doi. 10.1007/s00153-023-00895-1
- By:
- Publication type:
- Article
13
Stably embedded submodels of Henselian valued fields.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 279, doi. 10.1007/s00153-023-00894-2
- By:
- Publication type:
- Article