Axiomatic theory of betweenness.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 227, doi. 10.1007/s00153-020-00744-5
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2021 AND VI 60 AND IP 1/2
Results: 13
1
2
On countably saturated linear orders and certain class of countably saturated graphs.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 189, doi. 10.1007/s00153-020-00742-7
- By:
- Publication type:
- Article
3
A note on uniform density in weak arithmetical theories.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 211, doi. 10.1007/s00153-020-00741-8
- By:
- Publication type:
- Article
4
Characterising Brouwer's continuity by bar recursion on moduli of continuity.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 241, doi. 10.1007/s00153-020-00740-9
- By:
- Publication type:
- Article
5
Strong cell decomposition property in o-minimal traces.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 135, doi. 10.1007/s00153-020-00739-2
- By:
- Publication type:
- Article
6
Ring structure theorems and arithmetic comprehension.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 145, doi. 10.1007/s00153-020-00738-3
- By:
- Publication type:
- Article
7
Some complete ω-powers of a one-counter language, for any Borel class of finite rank.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 161, doi. 10.1007/s00153-020-00737-4
- By:
- Publication type:
- Article
8
Selection properties of the split interval and the Continuum Hypothesis.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 121, doi. 10.1007/s00153-020-00736-5
- By:
- Publication type:
- Article
9
First-order concatenation theory with bounded quantifiers.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 77, doi. 10.1007/s00153-020-00735-6
- By:
- Publication type:
- Article
10
Continuous logic and embeddings of Lebesgue spaces.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 105, doi. 10.1007/s00153-020-00734-7
- By:
- Publication type:
- Article
11
ADR implies that all sets of reals are Θ universally Baire.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 1, doi. 10.1007/s00153-020-00731-w
- By:
- Publication type:
- Article
12
Strong downward Löwenheim–Skolem theorems for stationary logics, I.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 17, doi. 10.1007/s00153-020-00730-x
- By:
- Publication type:
- Article
13
Logics of left variable inclusion and Płonka sums of matrices.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 49, doi. 10.1007/s00153-020-00727-6
- By:
- Publication type:
- Article