VOL. 57 · NO. 1 | 2016
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 57 (1), (2016)
No abstract available
Articles
Jared Corduan, Marcia Groszek
Notre Dame J. Formal Logic 57 (1), 1-25, (2016) DOI: 10.1215/00294527-3314771
KEYWORDS: reverse mathematics, Ramsey, partitions, partial orderings, 03B30, 05C55, 03F35
Matthew Jura
Notre Dame J. Formal Logic 57 (1), 27-44, (2016) DOI: 10.1215/00294527-3321905
KEYWORDS: reverse mathematics, coloring number, graph, computability theory, 03B30, 03D80, 05C15
Ekaterina Fokina, Andrey Frolov, Iskander Kalimullin
Notre Dame J. Formal Logic 57 (1), 45-57, (2016) DOI: 10.1215/00294527-3322017
KEYWORDS: computable structure, rigid structure, computably categorical, categoricity spectrum, degree of categoricity, 03C57, 03D45
Christina Goddard
Notre Dame J. Formal Logic 57 (1), 59-71, (2016) DOI: 10.1215/00294527-3328289
KEYWORDS: raw tree hierarchy, weakly scattered theories, bounds on Scott rank, 03C70, 03D60
Jonathan Stephenson
Notre Dame J. Formal Logic 57 (1), 73-93, (2016) DOI: 10.1215/00294527-3328401
KEYWORDS: effective packing dimension, limit-computable approximation, Complexity, pruned clumpy trees, 03D32, 68Q30
Lloyd Humberstone
Notre Dame J. Formal Logic 57 (1), 95-103, (2016) DOI: 10.1215/00294527-3315588
KEYWORDS: modal logic, Post completeness, congruential modal logics, neighborhood semantics, 03B45
Neil Tennant
Notre Dame J. Formal Logic 57 (1), 105-125, (2016) DOI: 10.1215/00294527-3346463
KEYWORDS: Structural rules, logical rules, cut, thinning, reflexivity, cut-elimination, Thinning-elimination, logical strength, 03F03, 03F05
Ermek S. Nurkhaidarov, Erez Shochat
Notre Dame J. Formal Logic 57 (1), 127-139, (2016) DOI: 10.1215/00294527-3339587
KEYWORDS: saturation, bounded saturation, automorphism groups, models of Peano Arithmetic, 03C62
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
Notre Dame J. Formal Logic 57 (1), 141-150, (2016) DOI: 10.1215/00294527-3339473
KEYWORDS: Boolean algebra, Glivenko theorem, Visser logic, 03G05, 03G25, 06D20, 03B20
Notre Dame J. Formal Logic 57 (1), 151, (2016) DOI: 10.1215/00294527-3486386
No abstract available
Back to Top