MV-algebras, infinite dimensional polyhedra, and natural dualities.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 21, doi. 10.1007/s00153-016-0512-9
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2017 AND VI 56 AND IP 1/2
Results: 10
1
2
An induction principle over real numbers.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 43, doi. 10.1007/s00153-016-0513-8
- By:
- Publication type:
- Article
3
Constructions of categories of setoids from proof-irrelevant families.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 51, doi. 10.1007/s00153-016-0514-7
- By:
- Publication type:
- Article
4
Relations between the $${\mathcal {I}}$$ -ultrafilters.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 161, doi. 10.1007/s00153-016-0520-9
- By:
- Publication type:
- Article
5
Locally compact groups which are separably categorical structures.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 67, doi. 10.1007/s00153-016-0516-5
- By:
- Publication type:
- Article
6
Definable types in the theory of closed ordered differential fields.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 119, doi. 10.1007/s00153-016-0517-4
- By:
- Publication type:
- Article
7
$$I_0$$ and combinatorics at $$\lambda ^+$$.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 131, doi. 10.1007/s00153-016-0518-3
- By:
- Publication type:
- Article
8
Computable Ramsey's theorem for pairs needs infinitely many $$\Pi ^0_2$$ sets.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 155, doi. 10.1007/s00153-016-0519-2
- By:
- Publication type:
- Article
9
An order-theoretic characterization of the Howard-Bachmann-hierarchy.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 79, doi. 10.1007/s00153-016-0515-6
- By:
- Publication type:
- Article
10
Generic Vopěnka's Principle, remarkable cardinals, and the weak Proper Forcing Axiom.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 1, doi. 10.1007/s00153-016-0511-x
- By:
- Publication type:
- Article