Definable connectedness of randomizations of groups.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 1019, doi. 10.1007/s00153-021-00773-8
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2021 AND VI 60 AND IP 7/8
Results: 13
1
2
The abstract type of the real numbers.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 1005, doi. 10.1007/s00153-021-00772-9
- By:
- Publication type:
- Article
3
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 995, doi. 10.1007/s00153-021-00771-w
- By:
- Publication type:
- Article
4
Pointwise complexity of the derivative of a computable function.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 981, doi. 10.1007/s00153-021-00769-4
- By:
- Publication type:
- Article
5
Factorizing the Top–Loc adjunction through positive topologies.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 967, doi. 10.1007/s00153-021-00768-5
- By:
- Publication type:
- Article
6
On the spectra of cardinalities of branches of Kurepa trees.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 927, doi. 10.1007/s00153-021-00767-6
- By:
- Publication type:
- Article
7
The automorphism group and definability of the jump operator in the ω-enumeration degrees.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 909, doi. 10.1007/s00153-021-00766-7
- By:
- Publication type:
- Article
8
The theories of Baldwin–Shi hypergraphs and their atomic models.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 879, doi. 10.1007/s00153-021-00765-8
- By:
- Publication type:
- Article
9
Monotonic modal logics with a conjunction.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 857, doi. 10.1007/s00153-021-00764-9
- By:
- Publication type:
- Article
10
Hereditary G-compactness.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 837, doi. 10.1007/s00153-021-00763-w
- By:
- Publication type:
- Article
11
Short note: Least fixed points versus least closed points.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 831, doi. 10.1007/s00153-021-00761-y
- By:
- Publication type:
- Article
12
Generalised stability of ultraproducts of finite residue rings.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 815, doi. 10.1007/s00153-021-00760-z
- By:
- Publication type:
- Article
13
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 7/8, p. 783, doi. 10.1007/s00153-020-00759-y
- By:
- Publication type:
- Article