External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 53, Issue 2

    133 -- 154Thomas F. Icard III, Joost J. Joosten. Provability and Interpretability Logics with Restricted Realizations
    155 -- 174Gunter Fuchs, Philipp Lücke. Iteratively Changing the Heights of Automorphism Towers
    175 -- 186Michael A. Tychonievich. The Set of Restricted Complex Exponents for Expansions of the Reals
    187 -- 192Gian Aldo Antonelli. A Note on Induction, Abstraction, and Dedekind-Finiteness
    193 -- 201Isaac Goldbring. Definable Operators on Hilbert Spaces
    203 -- 222Yoshihiro Horihata. Weak Theories of Concatenation and Arithmetic
    223 -- 244José M. Méndez, Gemma Robles. A General Characterization of the Variable-Sharing Property by Means of Logical Matrices
    245 -- 265Alexander Kreuzer. Primitive Recursion and the Chain Antichain Principle
    runs on