Volume 168; Issue 5

Annals of Pure and Applied Logic

Volume 168; Issue 5

1

Mitchell's theorem revisited

Gilton, Thomas, Krueger, John

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 3.49 MB

english, 2017

2

Spatial logic of tangled closure operators and modal mu-calculus

Goldblatt, Robert, Hodkinson, Ian

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 2.76 MB

english, 2017

3

Characterizing large cardinals in terms of layered posets

Cox, Sean, Lücke, Philipp

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 1.03 MB

english, 2017

4

Honest elementary degrees and degrees of relative provability without the cupping property

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 863 KB

english, 2017

5

Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles

Guingona, Vincent, Hill, Cameron Donnay, Scow, Lynn

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

6

Germinal theories in Łukasiewicz logic

Cabrer, Leonardo Manuel, Mundici, Daniele

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 2.42 MB

english, 2017