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
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
Your publication in Project Euclid
Discovery service partners
Publisher tools
Bulletin of Symbolic Logic
Info
All issues
Search
Bull. Symbolic Logic
← Previous issue
Next issue →
Volume 6, Number 2
June, 2000
Select/deselect all
Export citations
Miscellaneous front pages,
Bull. Symbolic Logic
, Volume 6, Number 2 (2000)
Abstract
Zermelo and the Skolem Paradox
Dirk Van Dalen
and
Heinz-Dieter Ebbinghaus
; 145 - 161
More by Dirk Van Dalen
Search this author in:
Google Scholar
Project Euclid
More by Heinz-Dieter Ebbinghaus
Search this author in:
Google Scholar
Project Euclid
Abstract
Formalization in Philosophy
Sven Ove Hansson
; 162 - 175
More by Sven Ove Hansson
Search this author in:
Google Scholar
Project Euclid
Abstract
Communications
Proper Forcing and Remarkable Cardinals
Ralf-Dieter Schindler
; 176 - 184
More by Ralf-Dieter Schindler
Search this author in:
Google Scholar
Project Euclid
Abstract
Definable Encodings in the Computably Enumerable Sets
Peter A. Cholak
and
Leo A. Harrington
; 185 - 196
More by Peter A. Cholak
Search this author in:
Google Scholar
Project Euclid
More by Leo A. Harrington
Search this author in:
Google Scholar
Project Euclid
Abstract
Degree Spectra of Relations on Computable Structures
Denis R. Hirschfeldt
; 197 - 212
More by Denis R. Hirschfeldt
Search this author in:
Google Scholar
Project Euclid
Abstract
Reviews
Review: Lou van den Dries, Angus Macintyre, David Marker,
The Elementary Theory of Restricted Analytic Fields with Exponentiation
; Lou van den Dries, Angus Macintyre, David Marker,
Logarithmic-Exponential Power Series
Chris Miller
; 213 - 216
More by Chris Miller
Search this author in:
Google Scholar
Project Euclid
Abstract
Review: Lou van den Dries,
Tame Topology and O-Minimal Structures
Alessandro Berarducci
; 216 - 218
More by Alessandro Berarducci
Search this author in:
Google Scholar
Project Euclid
Abstract
Review: H. Garth Dales, W. Hugh Woodin,
Super-Real Fields. Totally Ordered Fields with Additional Structure
M. Dickmann
; 218 - 221
More by M. Dickmann
Search this author in:
Google Scholar
Project Euclid
Abstract
Review: Arnold Beckmann, Wolfram Pohlers,
Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory
Dag Normann
; 221 - 222
More by Dag Normann
Search this author in:
Google Scholar
Project Euclid
Abstract
Review: Andreas Weiermann,
Sometimes Slow Growing Is Fast Growing
Martin Ruckert
; 222 - 223
More by Martin Ruckert
Search this author in:
Google Scholar
Project Euclid
Abstract
Review: Franco Montagna, Giulia Simi, Andrea Sorbi,
Logic and Probabilistic Systems
J. B. Paris
; 223 - 225
More by J. B. Paris
Search this author in:
Google Scholar
Project Euclid
Abstract
Review: Bart Jacobs,
Categorical Logic and Type Theory
R. A. G. Seely
; 225 - 229
More by R. A. G. Seely
Search this author in:
Google Scholar
Project Euclid
Abstract
In Memoriam: Hugues Leblanc March 19, 1924-September 10, 1999
Raymond D. Gumb
; 230 - 231
More by Raymond D. Gumb
Search this author in:
Google Scholar
Project Euclid
Abstract
1999-2000 Winter Meeting of the Association for Symbolic Logic
232 - 247
Abstract
Australasian Association for Logic 1999 Annual Conference Co-Sponsored by the Association for Symbolic Logic
248 - 255
Abstract
Notices
256 - 262
Abstract
In Memoriam: Jon Barwise, 1942-2000
263
Abstract
Miscellaneous back pages,
Bull. Symbolic Logic
, Volume 6, Number 2 (2000)
Abstract
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.
© 2017 Association for Symbolic Logic
Top
Association for Symbolic Logic
Editorial Board
For Authors
Subscriptions
Association for Symbolic Logic homepage
Journal of Symbolic Logic
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?
