A criterion for uniform finiteness in the imaginary sorts.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 583, doi. 10.1007/s00153-021-00803-5
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2022 AND VI 61 AND IP 3/4
Results: 12
1
2
Coanalytic ultrafilter bases.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 567, doi. 10.1007/s00153-021-00801-7
- By:
- Publication type:
- Article
3
A note on cut-elimination for classical propositional logic.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 555, doi. 10.1007/s00153-021-00800-8
- By:
- Publication type:
- Article
4
Multiplicative finite embeddability vs divisibility of ultrafilters.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 535, doi. 10.1007/s00153-021-00799-y
- By:
- Publication type:
- Article
5
Efficient elimination of Skolem functions in LKh.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 503, doi. 10.1007/s00153-021-00798-z
- By:
- Publication type:
- Article
6
Model theory of monadic predicate logic with the infinity quantifier.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 465, doi. 10.1007/s00153-021-00797-0
- By:
- Publication type:
- Article
7
Hanf numbers for extendibility and related phenomena.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 437, doi. 10.1007/s00153-021-00796-1
- By:
- Publication type:
- Article
8
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 399, doi. 10.1007/s00153-021-00795-2
- By:
- Publication type:
- Article
9
Computability and the game of cops and robbers on graphs.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 373, doi. 10.1007/s00153-021-00794-3
- By:
- Publication type:
- Article
10
Definable groups in dense pairs of geometric structures.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 345, doi. 10.1007/s00153-021-00793-4
- By:
- Publication type:
- Article
11
Combinatory logic with polymorphic types.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 317, doi. 10.1007/s00153-021-00792-5
- By:
- Publication type:
- Article
12
Condensable models of set theory.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 299, doi. 10.1007/s00153-021-00786-3
- By:
- Publication type:
- Article