Advanced Search
Home > Journals > Bull. Symbolic Logic > Volume 8 > Issue 4
Bulletin of Symbolic Logic
VOL. 8 · NO. 4 | December 2002
 
VIEW ALL ABSTRACTS +
Articles
Computability-Theoretic Complexity of Countable Structures
Valentina S. Harizanov
Bull. Symbolic Logic 8 (4), 457-477, (December 2002) DOI: 10.2178/bsl/1182353917
No abstract available
Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions
R. Gregory Taylor
Bull. Symbolic Logic 8 (4), 478-515, (December 2002) DOI: 10.2178/bsl/1182353918
Read Abstract +
Reviews
Review: Mark Balaguer, Platonism and Anti-Platonism in Mathematics
Mary Leng
Bull. Symbolic Logic 8 (4), 516-518, (December 2002) DOI: 10.2178/bsl/1182353919
No abstract available
Review: Tomasz Placek, Mathematical Intuitionism and Intersubjectivity. A Critical Exposition of Arguments for Intuitionism
Leon Horsten
Bull. Symbolic Logic 8 (4), 518-520, (December 2002) DOI: 10.2178/bsl/1182353920
No abstract available
Review: Grigori Mints, A Short Introduction to Intuitionistic Logic
Helmut Schwichtenberg
Bull. Symbolic Logic 8 (4), 520-521, (December 2002) DOI: 10.2178/bsl/1182353921
No abstract available
Review: Frank O. Wagner, Simple Theories
Bradd Hart
Bull. Symbolic Logic 8 (4), 522-524, (December 2002) DOI: 10.2178/bsl/1182353922
No abstract available
Review: M. Holz, K. Steffens, E. Weitz, Introduction to Cardinal Arithmetic
Maxim R. Burke
Bull. Symbolic Logic 8 (4), 524-526, (December 2002) DOI: 10.2178/bsl/1182353923
No abstract available
Review: Stevo Todorcevic, Topics in Topology
Ilijas Farah
Bull. Symbolic Logic 8 (4), 526-528, (December 2002) DOI: 10.2178/bsl/1182353924
No abstract available
Review: R. G. Downey, M. R. Fellows, Parameterized Complexity
Jörg Flum
Bull. Symbolic Logic 8 (4), 528-529, (December 2002) DOI: 10.2178/bsl/1182353925
No abstract available
Review: Davide Sangiorgi, David Walker, The $\pi $-Calculus: A Theory of Mobile Processes
Hans Hüttel
Bull. Symbolic Logic 8 (4), 530-531, (December 2002) DOI: 10.2178/bsl/1182353926
No abstract available
Review: Sven Ove Hansson, The Structure of Values and Norms
Patrice Bailhache
Bull. Symbolic Logic 8 (4), 531-533, (December 2002) DOI: 10.2178/bsl/1182353927
No abstract available
Review: Wolfgang Burr, Fragments of Heyting Arithmetic
Lev Beklemishev
Bull. Symbolic Logic 8 (4), 533-534, (December 2002) DOI: 10.2178/bsl/1182353928
No abstract available
Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $
Fernando Ferreira
Bull. Symbolic Logic 8 (4), 534-535, (December 2002) DOI: 10.2178/bsl/1182353929
No abstract available
Review: Thomas Strahm, S. Barry Cooper, John K. Truss, First Steps into Metapredicativity in Explicit Mathematics
Andrea Cantini
Bull. Symbolic Logic 8 (4), 535-536, (December 2002) DOI: 10.2178/bsl/1182353930
No abstract available
Review: Toshiyasu Arai, Consistency Proof via Pointwise Induction
Andreas Weiermann
Bull. Symbolic Logic 8 (4), 536-537, (December 2002) DOI: 10.2178/bsl/1182353931
No abstract available
Review: Michael Rathjen, Samuel R. Buss, Petr Hájek, Pavel Pudlák, The Superjump in Martin-Löf Type Theory
Michael Möllerfeld
Bull. Symbolic Logic 8 (4), 538, (December 2002) DOI: 10.2178/bsl/1182353932
No abstract available
Review: Solomon Feferman, Computation on Abstract Data Types. The Extensional Approach, with an Application to Streams
Jeffery Zucker
Bull. Symbolic Logic 8 (4), 538-542, (December 2002) DOI: 10.2178/bsl/1182353933
No abstract available
Review: Saharon Shelah, Hugh Woodin, Large Cardinals Imply That Every Reasonably Definable Set of Reals Is Lebesgue Measurable
Joan Bagaria
Bull. Symbolic Logic 8 (4), 543-545, (December 2002) DOI: 10.2178/bsl/1182353934
No abstract available
Review: D. A. Martin, J. R. Steel, Iteration Trees
William Mitchell
Bull. Symbolic Logic 8 (4), 545-546, (December 2002) DOI: 10.2178/bsl/1182353935
No abstract available
Review: Steve Jackson, A New Proof of the Strong Partition Relation on $\omega _{1}$; Steve Jackson, Admissible Suslin Cardinals in $L({\bf R})$; Steve Jackson, A Computation of $\delta _{5}^{1}$
Howard S. Becker
Bull. Symbolic Logic 8 (4), 546-548, (December 2002) DOI: 10.2178/bsl/1182353936
No abstract available
Review: Itay Neeman, Jind?ich Zapletal, Proper Forcings and Absoluteness in $L({\Bbb R})$; Itay Neeman, Jind?ich Zapletal, Proper Forcing and $L({\Bbb R})$
Paul B. Larson
Bull. Symbolic Logic 8 (4), 548-550, (December 2002) DOI: 10.2178/bsl/1182353937
No abstract available
[Omnibus Review]
Arthur W. Apter
Bull. Symbolic Logic 8 (4), 550-552, (December 2002) DOI: 10.2178/bsl/1182353938
No abstract available
Review: Andreas Blass, Haim Judah, Simple Cardinal Characteristics of the Continuum
Heike Mildenberger
Bull. Symbolic Logic 8 (4), 552-553, (December 2002) DOI: 10.2178/bsl/1182353939
No abstract available
Review: B. Balcar, F. Franek, Independent Families in Complete Boolean Algebras; Bohuslav Balcar, Jan Pelant, Petr Simon, The Space of Ultrafilters on N Covered by Nowhere Dense Sets; Boban Velickovic, OCA and Automorphisms of $\scr{P}(\omega)/fin$
Klaas Pieter Hart
Bull. Symbolic Logic 8 (4), 554, (December 2002) DOI: 10.2178/bsl/1182353940
No abstract available
The Entwining Snake Is Reborn
Aleš Drápal
Bull. Symbolic Logic 8 (4), 555-560, (December 2002) DOI: 10.2178/bsl/1182353941
No abstract available
Indices, Lists & Notices
Index of Reviews. Volumes 6-8. 2000-2002
Bull. Symbolic Logic 8 (4), 561-572, (December 2002) DOI: 10.2178/bsl/1182353942
No abstract available
Association for Symbolic Logic: Officers And Committees of the ASL
Bull. Symbolic Logic 8 (4), 573-576, (December 2002) DOI: 10.2178/bsl/1182353943
No abstract available
Members of the Association (corrected version, April 2003)
Bull. Symbolic Logic 8 (4), 577-629, (December 2002) DOI: 10.2178/bsl/1182353944
No abstract available
Notices
Bull. Symbolic Logic 8 (4), 630-634, (December 2002) DOI: 10.2178/bsl/1182353945
No abstract available
Back to Top