Towards a homotopy domain theory.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 559, doi. 10.1007/s00153-022-00856-0
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2023 AND VI 62 AND IP 3/4
Results: 12
1
2
Tameness in generalized metric structures.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 531, doi. 10.1007/s00153-022-00852-4
- By:
- Publication type:
- Article
3
On the topological dynamics of automorphism groups: a model-theoretic perspective.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 505, doi. 10.1007/s00153-022-00850-6
- By:
- Publication type:
- Article
4
Big Ramsey degrees in universal inverse limit structures.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 471, doi. 10.1007/s00153-022-00849-z
- By:
- Publication type:
- Article
5
Preservation properties for products and sums of metric structures.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 427, doi. 10.1007/s00153-022-00848-0
- By:
- Publication type:
- Article
6
sQ1-degrees of computably enumerable sets.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 401, doi. 10.1007/s00153-022-00847-1
- By:
- Publication type:
- Article
7
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 369, doi. 10.1007/s00153-022-00845-3
- By:
- Publication type:
- Article
8
On forcing over L(R).
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 359, doi. 10.1007/s00153-022-00844-4
- By:
- Publication type:
- Article
9
On the rigidity of Souslin trees and their generic branches.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 419, doi. 10.1007/s00153-022-00843-5
- By:
- Publication type:
- Article
10
Wellfoundedness proof with the maximal distinguished set.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 333, doi. 10.1007/s00153-022-00840-8
- By:
- Publication type:
- Article
11
An ordinal-connection axiom as a weak form of global choice under the GCH.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 321, doi. 10.1007/s00153-022-00838-2
- By:
- Publication type:
- Article
12
An infinitary propositional probability logic.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 3/4, p. 291, doi. 10.1007/s00153-022-00835-5
- By:
- Publication type:
- Article