Structure of semisimple rings in reverse and computable mathematics.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 1083, doi. 10.1007/s00153-023-00885-3
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2023 AND VI 62 AND IP 7/8
Results: 15
1
2
On the complexity of the theory of a computably presented metric structure.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 1111, doi. 10.1007/s00153-023-00884-4
- By:
- Publication type:
- Article
3
Recursive Polish spaces.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 1101, doi. 10.1007/s00153-023-00883-5
- By:
- Publication type:
- Article
4
Mathias and silver forcing parametrized by density.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 965, doi. 10.1007/s00153-023-00881-7
- By:
- Publication type:
- Article
5
A syntactic approach to Borel functions: some extensions of Louveau's theorem.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 1041, doi. 10.1007/s00153-023-00880-8
- By:
- Publication type:
- Article
6
An AEC framework for fields with commuting automorphisms.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 1001, doi. 10.1007/s00153-023-00879-1
- By:
- Publication type:
- Article
7
The small index property for countable superatomic boolean algebras.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 991, doi. 10.1007/s00153-023-00876-4
- By:
- Publication type:
- Article
8
Definable Tietze extension property in o-minimal expansions of ordered groups.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 941, doi. 10.1007/s00153-023-00875-5
- By:
- Publication type:
- Article
9
On the non-existence of κ-mad families.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 1033, doi. 10.1007/s00153-023-00874-6
- By:
- Publication type:
- Article
10
Questions on cardinal invariants of Boolean algebras.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 947, doi. 10.1007/s00153-023-00872-8
- By:
- Publication type:
- Article
11
Models of ZFA in which every linearly ordered set can be well ordered.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 1131, doi. 10.1007/s00153-023-00871-9
- By:
- Publication type:
- Article
12
Correction to: Towers, mad families, and unboundedness.
- Published in:
- 2023
- By:
- Publication type:
- Correction Notice
13
Consistency and interpolation in linear continuous logic.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 931, doi. 10.1007/s00153-023-00869-3
- By:
- Publication type:
- Article
14
Ranks based on strong amalgamation Fraïssé classes.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 889, doi. 10.1007/s00153-023-00864-8
- By:
- Publication type:
- Article
15
A criterion for the strong cell decomposition property.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 871, doi. 10.1007/s00153-023-00862-w
- By:
- Publication type:
- Article