nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A partially non-proper ordinal beyond L ( V λ + 1 )
|
Dimonte, Vincenzo |
|
2012 |
163 |
9 |
p. 1309-1321 13 p. |
artikel |
2 |
Craig interpolation for networks of sentences
|
Jerome Keisler, H. |
|
2012 |
163 |
9 |
p. 1322-1344 23 p. |
artikel |
3 |
Erratum to “Representation theory of MV-algebras” [Ann. Pure Appl. Logic 161 (8) (2010)]
|
Dubuc, Eduardo J. |
|
2012 |
163 |
9 |
p. 1358- 1 p. |
artikel |
4 |
Forcing by non-scattered sets
|
Kurilić, Miloš S. |
|
2012 |
163 |
9 |
p. 1299-1308 10 p. |
artikel |
5 |
Indestructible strong compactness but not supercompactness
|
Apter, Arthur W. |
|
2012 |
163 |
9 |
p. 1237-1242 6 p. |
artikel |
6 |
Interpreting groups and fields in simple, finitary AECs
|
Hyttinen, Tapani |
|
2012 |
163 |
9 |
p. 1141-1162 22 p. |
artikel |
7 |
Isometry of Polish metric spaces
|
Clemens, John D. |
|
2012 |
163 |
9 |
p. 1196-1209 14 p. |
artikel |
8 |
On n -tardy sets
|
Cholak, Peter A. |
|
2012 |
163 |
9 |
p. 1252-1270 19 p. |
artikel |
9 |
Polarized partitions on the second level of the projective hierarchy
|
Brendle, Jörg |
|
2012 |
163 |
9 |
p. 1345-1357 13 p. |
artikel |
10 |
Propositional proofs and reductions between NP search problems
|
Buss, Samuel R. |
|
2012 |
163 |
9 |
p. 1163-1182 20 p. |
artikel |
11 |
Realization for justification logics via nested sequents: Modularity through embedding
|
Goetschi, Remo |
|
2012 |
163 |
9 |
p. 1271-1298 28 p. |
artikel |
12 |
Reverse mathematics and properties of finite character
|
Dzhafarov, Damir D. |
|
2012 |
163 |
9 |
p. 1243-1251 9 p. |
artikel |
13 |
The bounded functional interpretation of bar induction
|
Engrácia, Patrícia |
|
2012 |
163 |
9 |
p. 1183-1195 13 p. |
artikel |
14 |
The relational model is injective for multiplicative exponential linear logic (without weakenings)
|
de Carvalho, Daniel |
|
2012 |
163 |
9 |
p. 1210-1236 27 p. |
artikel |