no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A classification of orbits admitting a unique invariant measure
|
Ackerman, Nathanael |
|
2017 |
168 |
1 |
p. 19-36 18 p. |
article |
2 |
Bounded stationary reflection II
|
Lambie-Hanson, Chris |
|
2017 |
168 |
1 |
p. 50-71 22 p. |
article |
3 |
Cardinal characteristics at κ in a small u ( κ ) model
|
Brooke-Taylor, A.D. |
|
2017 |
168 |
1 |
p. 37-49 13 p. |
article |
4 |
Editorial Board
|
|
|
2017 |
168 |
1 |
p. ii- 1 p. |
article |
5 |
Effective results on a fixed point algorithm for families of nonlinear mappings
|
Sipoş, Andrei |
|
2017 |
168 |
1 |
p. 112-128 17 p. |
article |
6 |
Labeled sequent calculus for justification logics
|
Ghari, Meghdad |
|
2017 |
168 |
1 |
p. 72-111 40 p. |
article |
7 |
Products of Menger spaces: A combinatorial approach
|
Szewczak, Piotr |
|
2017 |
168 |
1 |
p. 1-18 18 p. |
article |
8 |
Proof complexity of intuitionistic implicational formulas
|
Jeřábek, Emil |
|
2017 |
168 |
1 |
p. 150-190 41 p. |
article |
9 |
Pseudo real closed fields, pseudo p-adically closed fields and NTP2
|
Montenegro, Samaria |
|
2017 |
168 |
1 |
p. 191-232 42 p. |
article |
10 |
Vaught's conjecture for quite o-minimal theories
|
Kulpeshov, B.Sh. |
|
2017 |
168 |
1 |
p. 129-149 21 p. |
article |