The existence of states based on Glivenko semihoops.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 1145, doi. 10.1007/s00153-022-00830-w
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2022 AND VI 61 AND IP 7/8
Results: 12
1
2
Implicit recursion-theoretic characterizations of counting classes.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 1129, doi. 10.1007/s00153-022-00828-4
- By:
- Publication type:
- Article
3
Δ10 variants of the law of excluded middle and related principles.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 1113, doi. 10.1007/s00153-022-00827-5
- By:
- Publication type:
- Article
4
Destructibility and axiomatizability of Kaufmann models.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 1091, doi. 10.1007/s00153-022-00826-6
- By:
- Publication type:
- Article
5
Enhancing induction in a contraction free logic with unrestricted abstraction: from Z to Z2.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 1007, doi. 10.1007/s00153-022-00824-8
- By:
- Publication type:
- Article
6
Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 1053, doi. 10.1007/s00153-022-00823-9
- By:
- Publication type:
- Article
7
On extendability to Fσ ideals.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 881, doi. 10.1007/s00153-022-00822-w
- By:
- Publication type:
- Article
8
Disjunctive logic programs, answer sets, and the cut rule.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 903, doi. 10.1007/s00153-022-00821-x
- By:
- Publication type:
- Article
9
Weak essentially undecidable theories of concatenation.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 939, doi. 10.1007/s00153-022-00820-y
- By:
- Publication type:
- Article
10
On decidability of amenability in computable groups.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 891, doi. 10.1007/s00153-022-00819-5
- By:
- Publication type:
- Article
11
On well-splitting posets.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 995, doi. 10.1007/s00153-022-00818-6
- By:
- Publication type:
- Article
12
Dividing lines in unstable theories and subclasses of Baire 1 functions.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 7/8, p. 977, doi. 10.1007/s00153-022-00816-8
- By:
- Publication type:
- Article