Volume 59; Issue 3

Notre Dame Journal of Formal Logic

Volume 59; Issue 3
1

Semigroups in Stable Structures

Halevi, Yatir
Journal:
Notre Dame Journal of Formal Logic
Year:
2018
Language:
english
File:
PDF, 416 KB
english, 2018
2

Coding and Definability in Computable Structures

Montalbán, Antonio
Journal:
Notre Dame Journal of Formal Logic
Year:
2018
Language:
english
File:
PDF, 449 KB
english, 2018
4

The Admissible Rules of ${{\mathsf{BD}_{2}}}$ and ${\mathsf{GSc}}$

Goudsmit, Jeroen P.
Journal:
Notre Dame Journal of Formal Logic
Year:
2018
Language:
english
File:
PDF, 548 KB
english, 2018
5

A Partition Theorem of $\omega^{\omega^{\alpha}}$

Piña, Claribet
Journal:
Notre Dame Journal of Formal Logic
Year:
2018
Language:
english
File:
PDF, 404 KB
english, 2018