Works matching IS 09335846 AND DT 2023 AND VI 62 AND IP 5/6
Results: 12
The axiom of choice in metric measure spaces and maximal δ-separated sets.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 735, doi. 10.1007/s00153-023-00868-4
- By:
- Publication type:
- Article
Ideals with Smital properties.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 831, doi. 10.1007/s00153-023-00867-5
- By:
- Publication type:
- Article
Involutive symmetric Gödel spaces, their algebraic duals and logic.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 789, doi. 10.1007/s00153-023-00866-6
- By:
- Publication type:
- Article
Independent families and some notions of finiteness.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 689, doi. 10.1007/s00153-022-00858-y
- By:
- Publication type:
- Article
Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 843, doi. 10.1007/s00153-023-00865-7
- By:
- Publication type:
- Article
Towers, mad families, and unboundedness.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 811, doi. 10.1007/s00153-023-00861-x
- By:
- Publication type:
- Article
Some implications of Ramsey Choice for families of n-element sets.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 703, doi. 10.1007/s00153-022-00860-4
- By:
- Publication type:
- Article
The structure of κ-maximal cofinitary groups.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 641, doi. 10.1007/s00153-022-00859-x
- By:
- Publication type:
- Article
Glivenko sequent classes and constructive cut elimination in geometric logics.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 657, doi. 10.1007/s00153-022-00857-z
- By:
- Publication type:
- Article
A topological completeness theorem for transfinite provability logic.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 751, doi. 10.1007/s00153-023-00863-9
- By:
- Publication type:
- Article
Generic existence of interval P-points.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 619, doi. 10.1007/s00153-022-00853-3
- By:
- Publication type:
- Article
Bachmann–Howard derivatives.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 5/6, p. 581, doi. 10.1007/s00153-022-00851-5
- By:
- Publication type:
- Article