Sommaire du Fascicule no. 1

Review: A. S. Troelstra, H. Schwichtenberg, Basic Proof Theory

Dyckhoff, Roy

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Errata: 2001 Annual Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF


Project Euclid
[Omnibus Review]

Balogh, Zoltan T.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: L. Beklemishev, Another Pathological Well-Ordering

Mints, G.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: James E. Baumgartner, Alan Taylor, Stanley Wagon, Angus Macintyre, Leszek Pacholski, Jeff Paris, Ideals on Uncountable Cardinals; J. E. Baumgartner, A. D. Taylor, S. Wagon, Structural Properties of Ideals; James E. Baumgartner, Alan D. Taylor, Saturation Properties of Ideals in Generic Extensions

Jech, Thomas

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Kai F. Wehmeier, Fragments of HA Based on $\Sigma_1$-Induction

Pfeiffer, Helmut

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Joseph R. Shoenfield, Mathematical Logic

Monk, J. Donald

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Errata: 2000 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium 2000

Text on Project Euclid
PDF
Alt PDF


Project Euclid
XII Brazilian Logic Conference

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Mitsuru Tada, Makoto Tatsuta, The Function $\lfloor a/m \rfloor$ in Sharply Bounded Arithmetic

Ferreira, Fernando

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Explicit Provability and Constructive Semantics

Artemov, Sergei N.

Text on Project Euclid
PDF
Alt PDF
p. 1-36

Project Euclid
Diophantine Geometry from Model Theory

Scanlon, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 37-57

Project Euclid
Review: George Boolos, Richard Jeffrey, Logic, Logic, and Logic

McGee, Vann

Text on Project Euclid
PDF
Alt PDF
p. 58-62

Project Euclid
Review: Dirk van Dalen, Mystic, Geometer, and Intuitionist. The Life of L. E. J. Brouwer. Volume 1. The Dawning Revolution

von Plato, Jan

Text on Project Euclid
PDF
Alt PDF
p. 62-65

Project Euclid
Review: Martin Davis, The Universal Computer. The Road from Leibniz to Turing

Dawson, John W.

Text on Project Euclid
PDF
Alt PDF
p. 65-66

Project Euclid
Review: Yu. L. Ershov, S. S. Goncharov, A. Nerode, J. B. Remmel, V. W. Marek, Handbook of Recursive Mathematics. Volume 1, Recursive Model Theory

Khoussainov, Bakhadyr

Text on Project Euclid
PDF
Alt PDF
p. 66-69

Project Euclid
Review: Yu. L. Ershov, S. S. Goncharov, A. Nerode, J. B. Remmel, V. W. Marek, Handbook of Recursive Mathematics. Volume 2, Recursive Algebra, Analysis and Combinatorics

Crossley, John N.

Text on Project Euclid
PDF
Alt PDF
p. 69-71

Project Euclid
Review: P. G. Odifreddi, Classical Recursion Theory

Hinman, Peter G.

Text on Project Euclid
PDF
Alt PDF
p. 71-73

Project Euclid
Review: Richard A. Shore, Theodore A. Slaman, Defining the Turing Jump

Jockusch, Carl G.

Text on Project Euclid
PDF
Alt PDF
p. 73-75

Project Euclid
Review: Ulrich Kohlenbach, On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness

Beklemishev, Lev

Text on Project Euclid
PDF
Alt PDF
p. 75-77

Project Euclid
Review: Toshiyasu Arai, Some Results on Cut-Elimination, Provable Well-Orderings, Induction and Reflection

Avigad, Jeremy

Text on Project Euclid
PDF
Alt PDF
p. 77-78

Project Euclid
Review: C. Stephen Layman, The Power of Logic

Swoyer, Chris

Text on Project Euclid
PDF
Alt PDF
p. 79-81

Project Euclid
2000 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium 2000

Text on Project Euclid
PDF
Alt PDF
p. 82-163

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 164-168

Project Euclid
The Prospects for Mathematical Logic in the Twenty-First Century

Buss, Samuel R. ; Kechris, Alexander S. ; Pillay, Anand ; Shore, Richard A.

Text on Project Euclid
PDF
Alt PDF
p. 169-196

Project Euclid
Tautologies from Pseudo-Random Generators

Krajicek, Jan

Text on Project Euclid
PDF
Alt PDF
p. 197-212

Project Euclid
On the Unusual Effectiveness of Logic in Computer Science

Halpern, Joseph Y. ; Harper, Robert ; Immerman, Neil ; Kolaitis, Phokion G. ; Vardi, Moshe Y. ; Vianu, Victor

Text on Project Euclid
PDF
Alt PDF
p. 213-236

Project Euclid
Relations between Some Cardinals in the Absence of the Axiom of Choice

Halbeisen, Lorenz ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 237-261

Project Euclid
Grothendieck Rings of $\mathbb{Z}$-Valued Fields

Cluckers, Raf ; Haskell, Deirdre

Text on Project Euclid
PDF
Alt PDF
p. 262-269

Project Euclid
Review: Solomon Feferman, In the Light of Logic

Antonelli, G. Aldo

Text on Project Euclid
PDF
Alt PDF
p. 270-277

Project Euclid
Review: Jose Ferreiros, Labyrinth of Thought. A History of Set Theory and Its Role in Modern Mathematics

Kanamori, Akihiro

Text on Project Euclid
PDF
Alt PDF
p. 277-278

Project Euclid
Review: Marcus Kracht, Tools and Techniques in Modal Logic

Bezhanishvili, Guram

Text on Project Euclid
PDF
Alt PDF
p. 278-279

Project Euclid
Review: Ulrich Kohlenbach, Mathematically Strong Subsystems of Analysis with Low Rate of Growth of Provably Recursive Functionals

Berger, Ulrich

Text on Project Euclid
PDF
Alt PDF
p. 280-281

Project Euclid
[Omnibus Review]

Maddux, R. D.

Text on Project Euclid
PDF
Alt PDF
p. 281-283

Project Euclid
Review: Uri Abraham, Aronszajn Trees on $\mathscr{N}_2$ and $\mathscr{N}_3$; James Cummings, Matthew Foreman, The Tree Property; Menachem Magidor, Saharon Shelah, The Tree Property at Successors of Singular Cardinals

Apter, Arthur W.

Text on Project Euclid
PDF
Alt PDF
p. 283-285

Project Euclid
[Omnibus Review]

Eklof, Paul C.

Text on Project Euclid
PDF
Alt PDF
p. 285-286

Project Euclid
Australasian Association for Logic 2000 Annual Conference

Text on Project Euclid
PDF
Alt PDF
p. 287-290

Project Euclid
International Conference on Theoretical Computer Science (IFIP TCS2000)

Text on Project Euclid
PDF
Alt PDF
p. 291-292

Project Euclid
7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000)

Text on Project Euclid
PDF
Alt PDF
p. 293-294

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 296-299

Project Euclid
Square in Core Models

Schimmerling, Ernest ; Zeman, Martin

Text on Project Euclid
PDF
Alt PDF
p. 305-314

Project Euclid
Full Frobenius Groups of Finite Morley Rank and the Feit-Thompson Theorem

Jaligot, Eric

Text on Project Euclid
PDF
Alt PDF
p. 315-328

Project Euclid
On the Complexity of the Classification Problem for Torsion-Free Abelian Groups of Finite Rank

Thomas, Simon

Text on Project Euclid
PDF
Alt PDF
p. 329-344

Project Euclid
On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and the Next Stable Set

Welch, P. D.

Text on Project Euclid
PDF
Alt PDF
p. 345-360

Project Euclid
Polish Metric Spaces: Their Classification and Isometry Groups

Clemens, John D. ; Gao, Su ; Kechris, Alexander S.

Text on Project Euclid
PDF
Alt PDF
p. 361-375

Project Euclid
Review: Jon Barwise, John Etchemendy, Language, Proof and Logic; Gerard Allwein, Dave Barker-Plummer, Jon Barwise, John Etchemendy, Albert Liu, LPL Software Manual

Grim, Patrick

Text on Project Euclid
PDF
Alt PDF
p. 377-379

Project Euclid
Review: John Etchemendy, The Concept of Logical Consequence

McGee, Vann

Text on Project Euclid
PDF
Alt PDF
p. 379-380

Project Euclid
Review: Harold Simmons, Derivation and Computation. Taking the Curry-Howard Correspondence Seriously

Danner, Norman

Text on Project Euclid
PDF
Alt PDF
p. 380-383

Project Euclid
Review: C. J. Ash, J. Knight, Computable Structures and the Hyperarithmetical Hierarchy

Harizanov, Valentina

Text on Project Euclid
PDF
Alt PDF
p. 383-385

Project Euclid
[Omnibus Review]

Debs, Gabriel

Text on Project Euclid
PDF
Alt PDF
p. 385-388

Project Euclid
[Omnibus Review]

Laflamme, Claude

Text on Project Euclid
PDF
Alt PDF
p. 388-389

Project Euclid
Review: Jeremy Avigad, Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic

Marcone, Alberto

Text on Project Euclid
PDF
Alt PDF
p. 390-391

Project Euclid
Review: Wilfried Buchholz, An Intuitionistic Fixed Point Theory

Palmgren, Erik

Text on Project Euclid
PDF
Alt PDF
p. 391-392

Project Euclid
In Memoriam: Joseph R. Shoenfield, 1927-2000

Jockusch, Carl G.

Text on Project Euclid
PDF
Alt PDF
p. 393-396

Project Euclid
2000-2001 Winter Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 397-403

Project Euclid
2000-2001 Winter Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 404-412

Project Euclid
2000-2001 Spring Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 413-419

Project Euclid
2001 Annual Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 420-435

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 436-440

Project Euclid
The Road to Modern Logic-An Interpretation

Ferreiros, Jose

Text on Project Euclid
PDF
Alt PDF
p. 441-484

Project Euclid
The ABC's of Mice

Schimmerling, Ernest

Text on Project Euclid
PDF
Alt PDF
p. 485-503

Project Euclid
Second-Order Logic and Foundations of Mathematics

Vaananen, Jouko

Text on Project Euclid
PDF
Alt PDF
p. 504-520

Project Euclid
Review: Bruno Poizat, Moses Klein, A Course in Model Theory. An Introduction to Contemporary Mathematical Logic

Cherlin, Gregory

Text on Project Euclid
PDF
Alt PDF
p. 521-522

Project Euclid
Review: Sy D. Friedman, Fine Structure and Class Forcing

Stanley, M. C.

Text on Project Euclid
PDF
Alt PDF
p. 522-525

Project Euclid
Review: Neil Immerman, Descriptive Complexity

Lindell, Steven

Text on Project Euclid
PDF
Alt PDF
p. 525-527

Project Euclid
Review: Greg Restall, An Introduction to Substructural Logics

Dosen, Kosta

Text on Project Euclid
PDF
Alt PDF
p. 527-530

Project Euclid
Review: G. Aldo Antonelli, Proto-Semantics for Positive Free Logic

Gumb, Raymond D.

Text on Project Euclid
PDF
Alt PDF
p. 531-532

Project Euclid
Review: Wolfgang Burr, Volker Hartung, A Characterization of the $\Sigma_1$-Definable Functions of KP$\omega$ + (Uniform AC)

Kahle, Reinhard

Text on Project Euclid
PDF
Alt PDF
p. 532-533

Project Euclid
Review: Masahiro Hamano, Mitsuhiro Okada, A Direct Independence Proof of Buchholz's Hydra Game on Finite Labeled Trees

Gordeev, Lev

Text on Project Euclid
PDF
Alt PDF
p. 534-535

Project Euclid
Review: Thomas Strahm, Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion

Cantini, Andrea

Text on Project Euclid
PDF
Alt PDF
p. 535-536

Project Euclid
[Omnibus Review]

Balogh, Zoltan T.

Text on Project Euclid
PDF
Alt PDF
p. 536-537

Project Euclid
Review: Randall Dougherty, Matthew Foreman, Banach-Tarski Paradox Using Pieces with the Property of Baire; Randall Dougherty, Matthew Foreman, Banach-Tarski Decompositions Using Sets with the Property of Baire

Wagon, Stan

Text on Project Euclid
PDF
Alt PDF
p. 537-538

Project Euclid
Review: James E. Baumgartner, On the Size of Closed Unbounded Sets

Friedman, Sy D.

Text on Project Euclid
PDF
Alt PDF
p. 538-539

Project Euclid
Review: James E. Baumgartner, Generic Graph Construction; Matthew Foreman, Richard Laver, Some Downwards Transfer Properties for $\mathscr{N}_2$; Saharon Shelah, A. Baker, B. Bollobas, A. Hajnal, Incompactness for Chromatic Numbers of Graphs

Komjath, Peter

Text on Project Euclid
PDF
Alt PDF
p. 539-541

Project Euclid
Review: Greg Hjorth, Alexander S. Kechris, Analytic Equivalence Relations and Ulm-Type Classifications; Greg Hjorth, Alexander S. Kechris, Alain Louveau, Borel Equivalence Relations Induced by Actions of the Symmetric Group

Solecki, Slawomir

Text on Project Euclid
PDF
Alt PDF
p. 541-544

Project Euclid
Review: Matthew Foreman, M. Foreman, A. S. Kechris, A. Louveau, B. Weiss, A Descriptive View of Ergodic Theory; Alexander S. Kechris, Descriptive Dynamics

Hjorth, Greg

Text on Project Euclid
PDF
Alt PDF
p. 545-546

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 547-550

Project Euclid
Individual Members 2001

Text on Project Euclid
PDF
Alt PDF
p. 551-597

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 598-601

Project Euclid