|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
14 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A partially non-proper ordinal beyond L ( V λ + 1 ) |
Dimonte, Vincenzo |
2012 |
163 | 9 |
p. 1309-1321 13 p. |
article |
|
| 2 | Craig interpolation for networks of sentences |
Jerome Keisler, H. |
2012 |
163 | 9 |
p. 1322-1344 23 p. |
article |
|
| 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. |
article |
|
| 4 | Forcing by non-scattered sets |
Kurilić, Miloš S. |
2012 |
163 | 9 |
p. 1299-1308 10 p. |
article |
|
| 5 | Indestructible strong compactness but not supercompactness |
Apter, Arthur W. |
2012 |
163 | 9 |
p. 1237-1242 6 p. |
article |
|
| 6 | Interpreting groups and fields in simple, finitary AECs |
Hyttinen, Tapani |
2012 |
163 | 9 |
p. 1141-1162 22 p. |
article |
|
| 7 | Isometry of Polish metric spaces |
Clemens, John D. |
2012 |
163 | 9 |
p. 1196-1209 14 p. |
article |
|
| 8 | On n -tardy sets |
Cholak, Peter A. |
2012 |
163 | 9 |
p. 1252-1270 19 p. |
article |
|
| 9 | Polarized partitions on the second level of the projective hierarchy |
Brendle, Jörg |
2012 |
163 | 9 |
p. 1345-1357 13 p. |
article |
|
| 10 | Propositional proofs and reductions between NP search problems |
Buss, Samuel R. |
2012 |
163 | 9 |
p. 1163-1182 20 p. |
article |
|
| 11 | Realization for justification logics via nested sequents: Modularity through embedding |
Goetschi, Remo |
2012 |
163 | 9 |
p. 1271-1298 28 p. |
article |
|
| 12 | Reverse mathematics and properties of finite character |
Dzhafarov, Damir D. |
2012 |
163 | 9 |
p. 1243-1251 9 p. |
article |
|
| 13 | The bounded functional interpretation of bar induction |
Engrácia, Patrícia |
2012 |
163 | 9 |
p. 1183-1195 13 p. |
article |
|
| 14 | The relational model is injective for multiplicative exponential linear logic (without weakenings) |
de Carvalho, Daniel |
2012 |
163 | 9 |
p. 1210-1236 27 p. |
article |
14 results found