Volume 55; Issue 7-8

Archive for Mathematical Logic

Volume 55; Issue 7-8
1

Topological equivalences of\(\mathbf {CUT}\)and\(\mathbf {CUT(Fin)}\)

Year:
2016
Language:
english
File:
PDF, 369 KB
english, 2016
2

Division by zero

Year:
2016
Language:
english
File:
PDF, 474 KB
english, 2016
3

Reverse mathematics and marriage problems with finitely many solutions

Year:
2016
Language:
english
File:
PDF, 471 KB
english, 2016
4

Homogenizable structures and model completeness

Year:
2016
Language:
english
File:
PDF, 512 KB
english, 2016
5

Convexity and constructive infima

Year:
2016
Language:
english
File:
PDF, 391 KB
english, 2016
6

Perfect independent sets with respect to infinitely many relations

Year:
2016
Language:
english
File:
PDF, 419 KB
english, 2016
7

Mathias forcing and ultrafilters

Year:
2016
Language:
english
File:
PDF, 395 KB
english, 2016
9

Subgroups of\(SF(\omega )\)and the relation of almost containedness

Year:
2016
Language:
english
File:
PDF, 441 KB
english, 2016
10

Katětov and Katětov-Blass orders on\(F_\sigma \)-ideals

Year:
2016
Language:
english
File:
PDF, 463 KB
english, 2016
11

Structural completeness in propositional logics of dependence

Year:
2016
Language:
english
File:
PDF, 543 KB
english, 2016
13

Cofinality of the laver ideal

Year:
2016
Language:
english
File:
PDF, 551 KB
english, 2016