Project Euclid
mathematics and statistics online
Help
Contact
RSS
Log in
All
-----
Title
Author(s)
Abstract
Subject
Keyword
All Fields
Full Text
-----
About
or
Browse by
Title
Publisher
Discipline
About
News and events
Governance
Advisory Board
Project Euclid publishers
Policies
Ways to support Project Euclid
Contact Project Euclid
for Researchers
Manage my account
Accessing Project Euclid
Access levels
Pay-per-view and print-on-demand
for Librarians
Manage my account
Access levels
Collections, titles, and ordering
Librarian tools
for Publishers
Manage my account
Why partner with Project Euclid?
Benefits of Euclid Prime
Features of Project Euclid
Discovery service partners
Alloy — A Publishing Services Alliance
Publisher tools
Notre Dame Journal of Formal Logic
Info
Advance publication
Current issue
All issues
Search
Notre Dame J. Formal Logic
← Previous issue
Next issue →
Volume 48, Number 2
2007
Select/deselect all
Export citations
Table of Contents to Volume 48, Number 2
Abstract
Enhanced PDF
On the Symmetric Enumeration Degrees
Charles M. Harris
; 175 - 204
More by Charles M. Harris
Search this author in:
Google Scholar
Project Euclid
Abstract
PDF
Semantical Characterizations for Irreflexive and Generalized Modal Languages
SANO Katsuhiko
and
SATO Kentaro
; 205 - 228
More by SANO Katsuhiko
Search this author in:
Google Scholar
Project Euclid
More by SATO Kentaro
Search this author in:
Google Scholar
Project Euclid
Abstract
PDF
Permutation Models and SVC
Eric J. Hall
; 229 - 235
More by Eric J. Hall
Search this author in:
Google Scholar
Project Euclid
Abstract
PDF
The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility
Edwin D. Mares
; 237 - 251
More by Edwin D. Mares
Search this author in:
Google Scholar
Project Euclid
Abstract
PDF
Church's Thesis and the Conceptual Analysis of Computability
Michael Rescorla
; 253 - 280
More by Michael Rescorla
Search this author in:
Google Scholar
Project Euclid
Abstract
PDF
A Note on Weakly O-Minimal Structures and Definable Completeness
Alfred Dolich
; 281 - 292
More by Alfred Dolich
Search this author in:
Google Scholar
Project Euclid
Abstract
PDF
Hyperimmunity in 2\sp ℕ
Stephen Binns
; 293 - 316
More by Stephen Binns
Search this author in:
Google Scholar
Project Euclid
Abstract
PDF
Back Page to Volume 48, Number 2
Abstract
Enhanced PDF
Select/deselect all
Export citations
Export citations
Format:
Text (BibTeX)
Text (printer-friendly)
RIS (EndNote, ProCite, Reference Manager)
Delivery Method:
Download
Email
Please enter a valid email address.
Email sent.
© 2019 University of Notre Dame
Top
Duke University Press
Editorial Board
For Authors
Subscriptions
Credits
Note on Volumes 35-40
New content alerts
Email
RSS ToC
RSS Article
You have access to this content.
You have partial access to this content.
You do not have access to this content.
Turn Off MathJax
What is MathJax?