Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments
VOL. 56 · NO. 1 | 2015
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 56 (1), (2015)
No abstract available
Articles
Salvatore Florio, Øystein Linnebo, Sean Walsh, Philip Welch
Notre Dame J. Formal Logic 56 (1), 1-2, (2015) DOI: 10.1215/00294527-2835020
No abstract available
A. R. D. Mathias, N. J. Bowler
Notre Dame J. Formal Logic 56 (1), 3-60, (2015) DOI: 10.1215/00294527-2835101
KEYWORDS: rudimentary recursion, provident set, provident closure, gentle function, attain, Delay, progress (canonical, strict, solid), 03E30, 03D65, 03E40, 03E45
Luís Cruz-Filipe, Fernando Ferreira
Notre Dame J. Formal Logic 56 (1), 61-79, (2015) DOI: 10.1215/00294527-2835110
KEYWORDS: Fregean arithmetic, strict predicativity, consistency, 03F25, 03F35, 03B30, 03F05, 03A05
Albert Visser
Notre Dame J. Formal Logic 56 (1), 81-119, (2015) DOI: 10.1215/00294527-2835029
KEYWORDS: interpretation, weak arithmetic, provability logic, $\Sigma_{1}$-sentence, 03F45, 03F30, 03F40, 03F25
Jouko Väänänen, Tong Wang
Notre Dame J. Formal Logic 56 (1), 121-134, (2015) DOI: 10.1215/00294527-2835038
KEYWORDS: second-order logic, arithmetic, categoricity, Set theory, 03C85, 03B15, 03B30
Joel David Hamkins
Notre Dame J. Formal Logic 56 (1), 135-145, (2015) DOI: 10.1215/00294527-2835047
KEYWORDS: Continuum hypothesis, multiverse, 03E50
Gabriel Uzquiano
Notre Dame J. Formal Logic 56 (1), 147-166, (2015) DOI: 10.1215/00294527-2835056
KEYWORDS: indefinite extensibility, set, plural quantification, 00A30, 03E30, 03A05
Daisuke Ikegami, Jouko Väänänen
Notre Dame J. Formal Logic 56 (1), 167-190, (2015) DOI: 10.1215/00294527-2835065
KEYWORDS: Boolean-valued second-order logic, full second-order logic, $\Omega$-logic, Boolean validity, 03-06, 03C95, 03E40, 03E57
Toby Meadows
Notre Dame J. Formal Logic 56 (1), 191-212, (2015) DOI: 10.1215/00294527-2835074
KEYWORDS: Cantor’s theorem, Set theory, the liar paradox, Truth, Tarski, Kripkean truth, Forcing, generic elements, 03A05, Y002, 03E99
P. D. Welch
Notre Dame J. Formal Logic 56 (1), 213-242, (2015) DOI: 10.1215/00294527-2835083
KEYWORDS: large cardinals, inner models, determinacy, 03A05, 03E55, 03E60, 03E45
Jonathan Payne
Notre Dame J. Formal Logic 56 (1), 243-261, (2015) DOI: 10.1215/00294527-2835092
KEYWORDS: modal set theory, abstraction, second-order logic, plural logic, 03A05, 00A30
Back to Top