Volume 164; Issue 12

Annals of Pure and Applied Logic

Volume 164; Issue 12
1

Topological completeness of the provability logic GLP

Beklemishev, Lev, Gabelaia, David
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 1.02 MB
english, 2013
3

Chain conditions in dependent groups

Kaplan, Itay, Shelah, Saharon
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 707 KB
english, 2013
4

Preface

Ambos-Spies, Klaus, Bagaria, Joan, Casanovas, Enrique, Kohlenbach, Ulrich
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 126 KB
english, 2013
5

Kolmogorov complexity and computably enumerable sets

Barmpalias, George, Li, Angsheng
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 356 KB
english, 2013
7

Consistency, optimality, and incompleteness

Chen, Yijia, Flum, Jörg, Müller, Moritz
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 288 KB
english, 2013
8

Fusion and large cardinal preservation

Friedman, Sy-David, Honzik, Radek, Zdomskyy, Lyubomyr
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 521 KB
english, 2013
9

Proof-theoretic conservations of weak weak intuitionistic constructive set theories

Gordeev, Lev
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 386 KB
english, 2013
10

An Analogy Principle in Inductive Logic

Hill, A., Paris, J.B.
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 415 KB
english, 2013
11

An exposition of Hrushovskiʼs New Strongly Minimal Set

Ziegler, Martin
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 267 KB
english, 2013
12

Reducing belief simpliciter to degrees of belief

Leitgeb, Hannes
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 1015 KB
english, 2013
13

Large cardinals and basic sequences

Lopez-Abad, Jordi
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 456 KB
english, 2013
14

Goodstein sequences for prominent ordinals up to the ordinal of

Weiermann, Andreas, Wilken, Gunnar
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 300 KB
english, 2013
16

Expressive completeness through logically tractable models

Otto, Martin
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 518 KB
english, 2013
17

Contents

Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 96 KB
english, 2013
18

Editorial Board

Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 30 KB
english, 2013