VOL. 49 · NO. 2 | 2008
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 49 (2), (2008)
No abstract available
Articles
Frank Stephan, Jason Teutsch
Notre Dame J. Formal Logic 49 (2), 107-125, (2008) DOI: 10.1215/00294527-2008-001
KEYWORDS: sets of minimal indices, sets of random strings, immune sets, hyperimmune sets, Goedel numberings, Kolmogorov numberings, 03D28, 03D45
Stephen G. Simpson
Notre Dame J. Formal Logic 49 (2), 127-136, (2008) DOI: 10.1215/00294527-2008-002
KEYWORDS: mass problems, intuitionism, Brouwerian lattice, Heyting algebra, degrees of unsolvability, 03D30, 03D28, 03D80, 03B20, 03F55, 06D20
Rohan French
Notre Dame J. Formal Logic 49 (2), 137-142, (2008) DOI: 10.1215/00294527-2008-003
KEYWORDS: eventual permanence, translational embedding, tense logic, 03B44, 14E25
Mihai Prunescu
Notre Dame J. Formal Logic 49 (2), 143-151, (2008) DOI: 10.1215/00294527-2008-004
KEYWORDS: recurrent computation, double sequence, Turing machine, undecidable property, finite commutative algebra, 03D10
Alexander Paseau
Notre Dame J. Formal Logic 49 (2), 153-176, (2008) DOI: 10.1215/00294527-2008-005
KEYWORDS: Fitch, knowledge, type theory, knowability, epistemic paradox, epistemic logic, 03B42
Sakae Yaegasi
Notre Dame J. Formal Logic 49 (2), 177-183, (2008) DOI: 10.1215/00294527-2008-006
KEYWORDS: nonstandard models, Tennenbaum's theorem, Peano Arithmetic, 03H15, 03C62, 03F30
J. Soliveres Tur, J. Climent Vidal
Notre Dame J. Formal Logic 49 (2), 185-202, (2008) DOI: 10.1215/00294527-2008-007
KEYWORDS: functors of Lindenbaum-Tarski, $\ell$-congruence, schematic interpretation, adjoint cylinder, 03B05, 03B20, 18A15, 18A40, 18C20
Giangiacomo Gerla
Notre Dame J. Formal Logic 49 (2), 203-226, (2008) DOI: 10.1215/00294527-2008-008
KEYWORDS: fuzzy equivalence, , ,, approximate reasoning, point-free geometry, Poincaré paradox, 03B52, 03A05
Back Matter
Notre Dame J. Formal Logic 49 (2), (2008)
No abstract available
Back to Top