The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.
Volume 53, Number 2
Publication Date: 2012
Table of Contents to Volume 53, Number 2
Provability and Interpretability Logics with Restricted Realizations
Thomas F. Icard and Joost J. Joosten; 133-154
Iteratively Changing the Heights of Automorphism Towers
Gunter Fuchs and Philipp Lücke; 155-174
The Set of Restricted Complex Exponents for Expansions of the Reals
Michael A. Tychonievich; 175-186
A Note on Induction, Abstraction, and Dedekind-Finiteness
G. Aldo Antonelli; 187-192
Definable Operators on Hilbert Spaces
Isaac Goldbring; 193-201
Weak Theories of Concatenation and Arithmetic
Yoshihiro Horihata; 203-222
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices
José M. Méndez and Gemma Robles; 223-244
Primitive Recursion and the Chain Antichain Principle
Alexander P. Kreuzer; 245-265
Back Page to Volume 53, Number 2
Notre Dame Journal of Formal Logic
