Volume 53; Issue 7-8

Archive for Mathematical Logic

Volume 53; Issue 7-8
1

On the separation of regularity properties of the reals

Laguzzi, Giorgio
Journal:
Archive for Mathematical Logic
Year:
2014
Language:
english
File:
PDF, 271 KB
english, 2014
3

Natural factors of the Medvedev lattice capturing IPC

Kuyper, Rutger
Journal:
Archive for Mathematical Logic
Year:
2014
Language:
english
File:
PDF, 255 KB
english, 2014
4

Simple types in discretely ordered structures

Ilić, Dejan
Journal:
Archive for Mathematical Logic
Year:
2014
Language:
english
File:
PDF, 275 KB
english, 2014
5

Linear model theory for Lipschitz structures

Bagheri, Seyed-Mohammad
Journal:
Archive for Mathematical Logic
Year:
2014
Language:
english
File:
PDF, 341 KB
english, 2014
6

On idealized versions of Pr1(μ+,μ+,μ+, cf(μ))

Eisworth, Todd
Journal:
Archive for Mathematical Logic
Year:
2014
Language:
english
File:
PDF, 236 KB
english, 2014
7

From hierarchies to well-foundedness

Flumini, Dandolo, Sato, Kentaro
Journal:
Archive for Mathematical Logic
Year:
2014
Language:
english
File:
PDF, 173 KB
english, 2014
9

Admissibility and refutation: some characterisations of intermediate logics

Goudsmit, Jeroen P.
Journal:
Archive for Mathematical Logic
Year:
2014
Language:
english
File:
PDF, 998 KB
english, 2014
10

Good and bad points in scales

Lambie-Hanson, Chris
Journal:
Archive for Mathematical Logic
Year:
2014
Language:
english
File:
PDF, 349 KB
english, 2014
11

The de Jongh property for Basic Arithmetic

Ardeshir, Mohammad, Mojtahedi, S. Mojtaba
Journal:
Archive for Mathematical Logic
Year:
2014
Language:
english
File:
PDF, 254 KB
english, 2014
12

On the complexity of the closed fragment of Japaridze’s provability logic

Pakhomov, Fedor
Journal:
Archive for Mathematical Logic
Year:
2014
Language:
english
File:
PDF, 290 KB
english, 2014