BCK is not Structurally Complete

JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic

Authors: Tomasz Kowalski

More on Generic Dimension Groups

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: Philip Scowcroft

The Lascar Group and the Strong Types of Hyperimaginaries

JOURNAL ARTICLE published 1 January 2013 in Notre Dame Journal of Formal Logic

Authors: Byunghan Kim

A Single-Sorted Theory of Multisets

JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic

Authors: Hoang-Vu Dang

Uniform Density in Lindenbaum Algebras

JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic

Authors: V. Yu. Shavrukov | Albert Visser

Regular Ultrapowers at Regular Cardinals

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: Juliette Kennedy | Saharon Shelah | Jouko Väänänen

Correction

JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic

End Extensions of Models of Weak Arithmetic Theories

JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic

Authors: Costas Dimitracopoulos | Vasileios S. Paschalis

Internal Categoricity in Arithmetic and Set Theory

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: Jouko Väänänen | Tong Wang

Local recursive theory.

JOURNAL ARTICLE published 1 February 1973 in Notre Dame Journal of Formal Logic

Authors: Vladeta Vučković

A new proof of completeness.

JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic

Authors: R. L. Goodstein

Tolerance geometry.

JOURNAL ARTICLE published 1 January 1973 in Notre Dame Journal of Formal Logic

Authors: Fred S. Roberts

The ontological theorem.

JOURNAL ARTICLE published 1 October 1978 in Notre Dame Journal of Formal Logic

Authors: Charles D. Brown

A new formalization of Newman algebra.

JOURNAL ARTICLE published 1 April 1972 in Notre Dame Journal of Formal Logic

Authors: Bolesław Sobociński

Semantics for ${rm S}4.1.2$.

JOURNAL ARTICLE published 1 July 1978 in Notre Dame Journal of Formal Logic

Authors: Dolph Ulrich

Rado's theorem and solvability of systems of equations.

JOURNAL ARTICLE published 1 February 1973 in Notre Dame Journal of Formal Logic

Authors: Alexander Abian

Sommers on empty domains and existence.

JOURNAL ARTICLE published 1 July 1972 in Notre Dame Journal of Formal Logic

Authors: George Englebretsen

On the number of overlapping subsets of a set.

JOURNAL ARTICLE published 1 February 1973 in Notre Dame Journal of Formal Logic

Authors: Paul J. Welsh

Sur une propriété de préservation.

JOURNAL ARTICLE published 1 October 1971 in Notre Dame Journal of Formal Logic

Authors: Jean Drabbe

A correction to my paper ``A sole sufficient operator''.

JOURNAL ARTICLE published 1 October 1975 in Notre Dame Journal of Formal Logic

Authors: T. C. Wesselkamper