VOL. 53 · NO. 4 | 2012
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 53 (4), (2012)
No abstract available
Articles
Gilles Dowek, Olivier Hermant
Notre Dame J. Formal Logic 53 (4), 439-456, (2012) DOI: 10.1215/00294527-1722692
KEYWORDS: deduction modulo, super-consistency, cut elimination, simple type theory, 03F05, 03B99, 03B15, 03C90
Giovanni Boniolo, Silvio Valentini
Notre Dame J. Formal Logic 53 (4), 457-478, (2012) DOI: 10.1215/00294527-1722701
KEYWORDS: objects, constructivism, constitutivism, formal topology, Kantian epistemology, 03A10, 03F65
Mingzhong Cai
Notre Dame J. Formal Logic 53 (4), 479-489, (2012) DOI: 10.1215/00294527-1722710
KEYWORDS: recursive functions, totality, provability, degree structure, 03D20, 03F99
Katalin Bimbó, J. Michael Dunn
Notre Dame J. Formal Logic 53 (4), 491-509, (2012) DOI: 10.1215/00294527-1722719
KEYWORDS: relevance logics, Ackermann constants, sequent calculi, admissibility of cut, ticket entailment, 03B47, 03F05, 03B25, 03F52
Silvia Barbina, Domenico Zambella
Notre Dame J. Formal Logic 53 (4), 511-523, (2012) DOI: 10.1215/00294527-1722728
KEYWORDS: generic automorphism, existentially closed structure, comeager conjugacy class, 03C10, 20B27, 03C50
Rodrigo A. Freire
Notre Dame J. Formal Logic 53 (4), 525-547, (2012) DOI: 10.1215/00294527-1722737
KEYWORDS: existence axioms, foundations of set theory, 03E30
Rohan French
Notre Dame J. Formal Logic 53 (4), 549-556, (2012) DOI: 10.1215/00294527-1722746
KEYWORDS: modal logic, post-completeness, propositional constants, 03B45
Alexandre Borovik, Renling Jin, Mikhail G. Katz
Notre Dame J. Formal Logic 53 (4), 557-570, (2012) DOI: 10.1215/00294527-1722755
KEYWORDS: Eudoxus, hyperreals, infinitesimals, limit ultrapower, universal hyperreal field, 26E35, 03C20
M. Randall Holmes
Notre Dame J. Formal Logic 53 (4), 571-580, (2012) DOI: 10.1215/00294527-1722764
KEYWORDS: New foundations, NF, urelements, homogeneity, models with automorphisms, 03E70
Lloyd Humberstone
Notre Dame J. Formal Logic 53 (4), 581-598, (2012) DOI: 10.1215/00294527-1722773
KEYWORDS: modal logic, translational embeddings, contexts, 03B45
Ehud Hrushovski, Anand Pillay, Pierre Simon
Notre Dame J. Formal Logic 53 (4), 599-605, (2012) DOI: 10.1215/00294527-1814705
KEYWORDS: Keisler measures, NIP, dependent, fsg, 03C45
Back to Top