VOL. 60 · NO. 3 | August 2019
Notre Dame J. Formal Logic 60 (3), (August 2019) Open Access
No abstract available
Clifton Ealy, Deirdre Haskell, Jana Maříková
Notre Dame J. Formal Logic 60 (3), 333-351, (August 2019) DOI: 10.1215/00294527-2019-0015
KEYWORDS: valued fields, ordered fields, stable domination, 03C64, 03C60, 12J10, 12J25
Brian Hill, Francesca Poggiolesi
Notre Dame J. Formal Logic 60 (3), 353-393, (August 2019) DOI: 10.1215/00294527-2019-0008
KEYWORDS: cut-elimination, logic of proofs, normalization, proof sequents, 03F05, 03B42
Vincenzo Dimonte
Notre Dame J. Formal Logic 60 (3), 395-405, (August 2019) DOI: 10.1215/00294527-2019-0009
KEYWORDS: Axiom I0, LD-algebra, elementary embeddings, non-proper ordinals, 03E55, 08-xx
Jie Fan
Notre Dame J. Formal Logic 60 (3), 407-435, (August 2019) DOI: 10.1215/00294527-2019-0010
KEYWORDS: strong noncontingency, completeness, expressivity, frame definability, bisimulation, 03B45, 03B42
Ari Meir Brodsky, Assaf Rinot
Notre Dame J. Formal Logic 60 (3), 437-455, (August 2019) DOI: 10.1215/00294527-2019-0011
KEYWORDS: Souslin-tree construction, microscopic approach, Prikry forcing, Magidor forcing, Radin forcing, Cohen forcing, Hechler forcing, parameterized proxy principle, square principle, outside guessing of clubs, 03E05, 03E35, 05C05, 03E65
John Mumma
Notre Dame J. Formal Logic 60 (3), 457-480, (August 2019) DOI: 10.1215/00294527-2019-0012
KEYWORDS: elementary geometry, diagrams, formalization, 03A05, 51M99, 03B30
Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari
Notre Dame J. Formal Logic 60 (3), 481-489, (August 2019) DOI: 10.1215/00294527-2019-0013
KEYWORDS: Basic Arithmetic, primitive recursive realizability, polynomially bounded realizability, 03F30, 03F50
Rodney G. Downey, Satyadev Nandakumar, André Nies
Notre Dame J. Formal Logic 60 (3), 491-502, (August 2019) DOI: 10.1215/00294527-2019-0017
KEYWORDS: algorithmic randomness, symbolic dynamics, mutiple recurrence, effectively closed sets, 03D32, 37A30
Brent Cody
Notre Dame J. Formal Logic 60 (3), 503-521, (August 2019) DOI: 10.1215/00294527-2019-0014
KEYWORDS: weak compactness, reflection, indescribability, Easton-support iteration, 03E35, 03E05, 03E55
Emanuele Frittaion
Notre Dame J. Formal Logic 60 (3), 523-550, (August 2019) DOI: 10.1215/00294527-2019-0018
KEYWORDS: Goodman, realizability, axiom of choice, extensionality, 03F03, 03F10, 03F30, 03F35, 03F50
Alexander R. Pruss
Notre Dame J. Formal Logic 60 (3), 551-558, (August 2019) DOI: 10.1215/00294527-2019-0019
KEYWORDS: conditionals, Probability, measure theory, measure algebra, conditional probability, 60A10, 60A99
Back to Top