Sommaire du Fascicule no. 1

Review: Michael Rathjen, Samuel R. Buss, Petr Hájek, Pavel Pudlák, The Superjump in Martin-Löf Type Theory

Möllerfeld, Michael

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001)

Ito, Takayasu

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Martin Davis, Engines of Logic. Mathematicians and the Origin of the Computer

Dawson, John W.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
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$

Hart, Klaas Pieter

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Anita Burdman Feferman, From Trotsky to Godel. The Life of Jean van Heijenoort

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Thomas Jech, Singular Cardinal Problem: Shelah's Theorem on $2^{\aleph_{\omega}}$

Kojman, Menachiem

Text on Project Euclid
PDF
Alt PDF


Project Euclid
The Problem of Logical Constants

Gomez-Torrente, Mario

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

Project Euclid
Groups and Algebras of Binary Relations

Givant, Steven ; Andreka, Hajnal

Text on Project Euclid
PDF
Alt PDF
p. 38-64

Project Euclid
Fixed Point Logics

Dawar, Anuj ; Gurevich, Yuri

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

Project Euclid
Review: Stewart Shapiro, Thinking about Mathematics. The Philosophy of Mathematics

Balaguer, Mark

Text on Project Euclid
PDF
Alt PDF
p. 89-91

Project Euclid
Review: W. Hugh Woodin, The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

Larson, Paul B.

Text on Project Euclid
PDF
Alt PDF
p. 91-93

Project Euclid
[Omnibus Review]

Becker, Howard S.

Text on Project Euclid
PDF
Alt PDF
p. 94-95

Project Euclid
Review: Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev, Advances in Modal Logic

Mares, Edwin D.

Text on Project Euclid
PDF
Alt PDF
p. 95-97

Project Euclid
Review: Fred Sommers, George Englebretsen, An Invitation to Formal Reasoning. The Logic of Terms

Purdy, William C.

Text on Project Euclid
PDF
Alt PDF
p. 97-100

Project Euclid
Review: Alasdair Urquhart, The Complexity of Linear Logic with Weakening

Jervell, Herman Ruge

Text on Project Euclid
PDF
Alt PDF
p. 100-101

Project Euclid
Review: Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics; Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding

Prisco, Carlos Augusto Di

Text on Project Euclid
PDF
Alt PDF
p. 101-104

Project Euclid
In Memoriam: Willard van Orman Quine, 1908-2000

Follesdal, Dagfinn ; Parsons, Charles

Text on Project Euclid
PDF
Alt PDF
p. 105-110

Project Euclid
2001 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '01

Text on Project Euclid
PDF
Alt PDF
p. 111-180

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 181-184

Project Euclid
Types in Logic and Mathematics before 1940

Kamareddine, Fairouz ; Laan, Twan ; Nederpelt, Rob

Text on Project Euclid
PDF
Alt PDF
p. 185-245

Project Euclid
Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen

Schroeder-Heister, Peter

Text on Project Euclid
PDF
Alt PDF
p. 246-265

Project Euclid
A General Notion of Realizability

Birkedal, Lars

Text on Project Euclid
PDF
Alt PDF
p. 266-282

Project Euclid
The Group Configuration in Simple Theories and Its Applications

Ben-Yaacov, Itay ; Tomasic, Ivan ; Wagner, Frank O.

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

Project Euclid
Review: Patrick Blackburn, Maarten de Rijke, Yde Venema, Modal Logic

Kracht, Marcus

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

Project Euclid
Review: Michael Alekhnovich, Sam Buss, Shlomo Moran, Toniann Pitassi, Minimum Propositional Proof Length Is NP-Hard to Linearly Approximate

Razborov, Alexander

Text on Project Euclid
PDF
Alt PDF
p. 301-302

Project Euclid
Review: Lev D. Beklemishev, Induction Rules, Reflection Principles, and Provably Recursive Functions

Halbach, Volker

Text on Project Euclid
PDF
Alt PDF
p. 302-303

Project Euclid
Review: Uri Abraham, Matatyahu Rubin, Saharon Shelah, On the Consistency of Some Partition Theorems for Continuous Colorings, and the Structure of $\aleph_1$-Dense Real Order Types

Steprans, J.

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

Project Euclid
Review: Z. Szentmiklossy, A. Csaszar, S-Spaces and L-Spaces under Martin's Axiom; Zoltan Balogh, On Compact Hausdorff Spaces of Countable Tightness

Koszmider, Piotr

Text on Project Euclid
PDF
Alt PDF
p. 306-307

Project Euclid
Review: Maxim R. Burke, Menachem Magidor, Shelah's pcf Theory and Its Applications

Kojman, Menachem

Text on Project Euclid
PDF
Alt PDF
p. 307-308

Project Euclid
[Omnibus Review]

Matet, Pierre

Text on Project Euclid
PDF
Alt PDF
p. 309-311

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

Hjorth, Greg

Text on Project Euclid
PDF
Alt PDF
p. 312-318

Project Euclid
Eighth Workshop on Logic, Language, Information and Computation (WoLLIC '2001)

de Queiroz, Ruy J. G. B.

Text on Project Euclid
PDF
Alt PDF
p. 319-320

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 322-327

Project Euclid
Arguments for the Continuity Principle

van Atten, Mark ; van Dalen, Dirk

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

Project Euclid
Provability with Finitely Many Variables

Hirsch, Robin ; Hodkinson, Ian ; Maddux, Roger D.

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

Project Euclid
Some Aspects of Model Theory and Finite Structures

Rosen, Eric

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

Project Euclid
Hyperclassical Logic (A.K.A. IF Logic) and Its Implications for Logical Theory

Hintikka, Jaakko

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

Project Euclid
Review: J. P. Mayberry, The Foundations of Mathematics in the Theory of Sets

Tait, W. W.

Text on Project Euclid
PDF
Alt PDF
p. 424-426

Project Euclid
Review: Oliver Aberth, Computable Calculus

Bridges, Douglas

Text on Project Euclid
PDF
Alt PDF
p. 426-428

Project Euclid
Review: John Arnold Kalman, Automated Reasoning with Otter

Myers, Dale

Text on Project Euclid
PDF
Alt PDF
p. 428-429

Project Euclid
Review: Melvin Fitting, Richard L. Mendelsohn, First-Order Modal Logic

Girle, Roderic A.

Text on Project Euclid
PDF
Alt PDF
p. 429-431

Project Euclid
Review: Vincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin Jørgensen, Proof Theory, History and Philosophical Significance

von Plato, Jan

Text on Project Euclid
PDF
Alt PDF
p. 431-432

Project Euclid
Review: Sergei N. Artemov, Explicit Provability and Constructive Semantics

Avigad, Jeremy D.

Text on Project Euclid
PDF
Alt PDF
p. 432-433

Project Euclid
Review: , Incompleteness Theorems and $S^i_2$ versus $S^{i+1}_2$; Gaisi Takeuti, Gödel Sentences of Bounded Arithmetic

Beckmann, Arnold

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

Project Euclid
Review: Andreas Weiermann, How Is it That Infinitary Methods Can Be Applied to Finitary Mathematics? Gödel's T: A Case Study

Strahm, Thomas

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

Project Euclid
Review: Ulrich Kohlenbach, Relative Constructivity

Berger, Ulrich

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

Project Euclid
Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations; Wilfried Buchholz, Explaining Gentzen's Consistency Proof within Infinitary Proof Theory; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals

Arai, Toshiyasu ; Arai, Toshiyasu ; Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 437-439

Project Euclid
Review: Jeremy Avigad, A Realizability Interpretation for Classical Arithmetic

Berger, Ulrich

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

Project Euclid
Review: Albert Visser, Submodels of Kripke Models

Iemhoff, Rosalie

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

Project Euclid
[Omnibus Review]

Huisgen-Zimmermann, Birge

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

Project Euclid
[Omnibus Review]

Gruenhage, Gary

Text on Project Euclid
PDF
Alt PDF
p. 443-445

Project Euclid
2002 Spring Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 446-451

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 452-456

Project Euclid
Computability-Theoretic Complexity of Countable Structures

Harizanov, Valentina S.

Text on Project Euclid
PDF
Alt PDF
p. 457-477

Project Euclid
Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions

Taylor, R. Gregory

Text on Project Euclid
PDF
Alt PDF
p. 478-515

Project Euclid
Review: Mark Balaguer, Platonism and Anti-Platonism in Mathematics

Leng, Mary

Text on Project Euclid
PDF
Alt PDF
p. 516-518

Project Euclid
Review: Tomasz Placek, Mathematical Intuitionism and Intersubjectivity. A Critical Exposition of Arguments for Intuitionism

Horsten, Leon

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

Project Euclid
Review: Grigori Mints, A Short Introduction to Intuitionistic Logic

Schwichtenberg, Helmut

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

Project Euclid
Review: Frank O. Wagner, Simple Theories

Hart, Bradd

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

Project Euclid
Review: M. Holz, K. Steffens, E. Weitz, Introduction to Cardinal Arithmetic

Burke, Maxim R.

Text on Project Euclid
PDF
Alt PDF
p. 524-526

Project Euclid
Review: Stevo Todorcevic, Topics in Topology

Farah, Ilijas

Text on Project Euclid
PDF
Alt PDF
p. 526-528

Project Euclid
Review: R. G. Downey, M. R. Fellows, Parameterized Complexity

Flum, Jörg

Text on Project Euclid
PDF
Alt PDF
p. 528-529

Project Euclid
Review: Davide Sangiorgi, David Walker, The $\pi $-Calculus: A Theory of Mobile Processes

Hüttel, Hans

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

Project Euclid
Review: Sven Ove Hansson, The Structure of Values and Norms

Bailhache, Patrice

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

Project Euclid
Review: Wolfgang Burr, Fragments of Heyting Arithmetic

Beklemishev, Lev

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

Project Euclid
Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $

Ferreira, Fernando

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

Project Euclid
Review: Thomas Strahm, S. Barry Cooper, John K. Truss, First Steps into Metapredicativity in Explicit Mathematics

Cantini, Andrea

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

Project Euclid
Review: Toshiyasu Arai, Consistency Proof via Pointwise Induction

Weiermann, Andreas

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

Project Euclid
Review: Solomon Feferman, Computation on Abstract Data Types. The Extensional Approach, with an Application to Streams

Zucker, Jeffery

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

Project Euclid
Review: Saharon Shelah, Hugh Woodin, Large Cardinals Imply That Every Reasonably Definable Set of Reals Is Lebesgue Measurable

Bagaria, Joan

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

Project Euclid
Review: D. A. Martin, J. R. Steel, Iteration Trees

Mitchell, William

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

Project Euclid
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}$

Becker, Howard S.

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

Project Euclid
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})$

Larson, Paul B.

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

Project Euclid
[Omnibus Review]

Apter, Arthur W.

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

Project Euclid
Review: Andreas Blass, Haim Judah, Simple Cardinal Characteristics of the Continuum

Mildenberger, Heike

Text on Project Euclid
PDF
Alt PDF
p. 552-553

Project Euclid
The Entwining Snake Is Reborn

Drápal, Aleš

Text on Project Euclid
PDF
Alt PDF
p. 555-560

Project Euclid
Index of Reviews. Volumes 6-8. 2000-2002

Text on Project Euclid
PDF
Alt PDF
p. 561-572

Project Euclid
Association for Symbolic Logic: Officers And Committees of the ASL

Text on Project Euclid
PDF
Alt PDF
p. 573-576

Project Euclid
Members of the Association (corrected version, April 2003)

Text on Project Euclid
PDF
Alt PDF
p. 577-629

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 630-634

Project Euclid