Convexity and constructive infima (English)
- New search for: Berger, Josef
- New search for: Svindland, Gregor
- New search for: Berger, Josef
- New search for: Svindland, Gregor
In:
Archive for Mathematical Logic
;
55
, 7
;
873-881
;
2016
- Article (Journal) / Electronic Resource
-
Title:Convexity and constructive infima
-
Contributors:Berger, Josef ( author ) / Svindland, Gregor ( author )
-
Published in:Archive for Mathematical Logic ; 55, 7 ; 873-881
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2016-08-31
-
Size:9 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 55, Issue 7
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 847
-
Perfect independent sets with respect to infinitely many relationsDoležal, Martin / Kubiś, Wiesław et al. | 2016
- 857
-
Mathias forcing and ultrafiltersPawlikowski, Janusz / Stadnicki, Wojciech et al. | 2016
- 867
-
Topological equivalences of Formula Not Shown and Formula Not ShownSilva, S. G. et al. | 2016
- 867
-
Topological equivalences of $$\mathbf {CUT}$$ and $$\mathbf {CUT(Fin)}$$da Silva, Samuel G. et al. | 2016
- 867
-
Topological equivalences of andSilva, Samuel G. et al. | 2016
- 873
-
Convexity and constructive infimaBerger, Josef / Svindland, Gregor et al. | 2016
- 883
-
Katětov and Katětov-Blass orders on $$F_\sigma $$-idealsMinami, Hiroaki / Sakai, Hiroshi et al. | 2016
- 883
-
Katětov and Katětov-Blass orders on Formula Not Shown -idealsMinami, H. / Sakai, H. et al. | 2016
- 883
-
Katětov and Katětov-Blass orders on -idealsMinami, Hiroaki / Sakai, Hiroshi et al. | 2016
- 899
-
Fragments of Kripke–Platek set theory and the metamathematics of -recursion theoryFriedman, Sy-David / Li, Wei / Wong, Tin Lok et al. | 2016
- 899
-
Fragments of Kripke–Platek set theory and the metamathematics of $$\alpha $$-recursion theoryFriedman, Sy-David / Li, Wei / Wong, Tin Lok et al. | 2016
- 899
-
Fragments of Kripke–Platek set theory and the metamathematics of Formula Not Shown -recursion theoryFriedman, S. D. / Li, W. / Wong, T. L. et al. | 2016
- 925
-
Subgroups of $$SF(\omega )$$ and the relation of almost containednessMajcher-Iwanow, Barbara et al. | 2016
- 925
-
Subgroups of Formula Not Shown and the relation of almost containednessMajcher-Iwanow, B. et al. | 2016
- 925
-
Subgroups of and the relation of almost containednessMajcher-Iwanow, Barbara et al. | 2016
- 939
-
The classification of $${\mathbb {Z}}_p$$-modules with partial decomposition bases in $$L_{\infty \omega }$$Jacoby, Carol / Loth, Peter et al. | 2016
- 939
-
The classification of -modules with partial decomposition bases inJacoby, Carol / Loth, Peter et al. | 2016
- 939
-
The classification of Formula Not Shown -modules with partial decomposition bases in Formula Not ShownJacoby, C. / Loth, P. et al. | 2016
- 955
-
Structural completeness in propositional logics of dependenceIemhoff, Rosalie / Yang, Fan et al. | 2016
- 977
-
Homogenizable structures and model completenessAhlman, Ove et al. | 2016
- 997
-
Division by zeroJeřábek, Emil et al. | 2016
- 1015
-
Reverse mathematics and marriage problems with finitely many solutionsHirst, Jeffry L. / Hughes, Noah A. et al. | 2016
- 1025
-
Cofinality of the laver idealRepický, Miroslav et al. | 2016