Sommaire du Fascicule no. 1

In Memoriam: Jon Barwise, 1942-2000

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Helmut Schwichtenberg, Finite Notations for Infinite Terms

Jervell, Herman Ruge

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17-19, 1946)

Tarski, Alfred ; Sinaceur, Hourya

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

Project Euclid
Towards a Re-Evaluation of Julius König's Contribution to Logic

Franchella, Miriam

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

Project Euclid
Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: An Overview

Bars, Jean-Marie Le

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

Project Euclid
Review: Samuel R. Buss, Handbook of Proof Theory: The Logic of Provability

Arai, Toshiyasu

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

Project Euclid
Review: Saharon Shelah, Proper and Improper Forcing

Komjáth, Péter

Text on Project Euclid
PDF
Alt PDF
p. 83-86

Project Euclid
Ten Papers by Arthur Apter on Large Cardinals

Cummings, James W.

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

Project Euclid
Review: Donald Nute, Defeasible Deontic Logic

van der Hoek, Wiebe

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

Project Euclid
Review: Jean Goubault-Larrecq, Ian Mackie, Proof Theory and Automated Deduction

Hudelmaier, Jörg

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

Project Euclid
Review: Jan Dejnožka, Bertrand Russell on Modality and Logical Relevance

Linsky, Bernard

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

Project Euclid
In Memoriam: Jerzy Łoś, 1920-1998

Pacholski, Leszek

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

Project Euclid
In Memoriam: Kurt Schütte, 1909-1998

Pohlers, Wolfram

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

Project Euclid
1999 European Summer Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 103-137

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 138-144

Project Euclid
Zermelo and the Skolem Paradox

Dalen, Dirk Van ; Ebbinghaus, Heinz-Dieter

Text on Project Euclid
PDF
Alt PDF
p. 145-161

Project Euclid
Formalization in Philosophy

Hansson, Sven Ove

Text on Project Euclid
PDF
Alt PDF
p. 162-175

Project Euclid
Proper Forcing and Remarkable Cardinals

Schindler, Ralf-Dieter

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

Project Euclid
Definable Encodings in the Computably Enumerable Sets

Cholak, Peter A. ; Harrington, Leo A.

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

Project Euclid
Degree Spectra of Relations on Computable Structures

Hirschfeldt, Denis R.

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

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

Miller, Chris

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

Project Euclid
Review: Lou van den Dries, Tame Topology and O-Minimal Structures

Berarducci, Alessandro

Text on Project Euclid
PDF
Alt PDF
p. 216-218

Project Euclid
Review: H. Garth Dales, W. Hugh Woodin, Super-Real Fields. Totally Ordered Fields with Additional Structure

Dickmann, M.

Text on Project Euclid
PDF
Alt PDF
p. 218-221

Project Euclid
Review: Arnold Beckmann, Wolfram Pohlers, Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory

Normann, Dag

Text on Project Euclid
PDF
Alt PDF
p. 221-222

Project Euclid
Review: Andreas Weiermann, Sometimes Slow Growing Is Fast Growing

Ruckert, Martin

Text on Project Euclid
PDF
Alt PDF
p. 222-223

Project Euclid
Review: Franco Montagna, Giulia Simi, Andrea Sorbi, Logic and Probabilistic Systems

Paris, J. B.

Text on Project Euclid
PDF
Alt PDF
p. 223-225

Project Euclid
Review: Bart Jacobs, Categorical Logic and Type Theory

Seely, R. A. G.

Text on Project Euclid
PDF
Alt PDF
p. 225-229

Project Euclid
In Memoriam: Hugues Leblanc March 19, 1924-September 10, 1999

Gumb, Raymond D.

Text on Project Euclid
PDF
Alt PDF
p. 230-231

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

Text on Project Euclid
PDF
Alt PDF
p. 232-247

Project Euclid
Australasian Association for Logic 1999 Annual Conference Co-Sponsored by the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 248-255

Project Euclid
Notices

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

Project Euclid
Machines, Logic and Quantum Physics

Deutsch, David ; Ekert, Artur ; Lupacchini, Rossella

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

Project Euclid
Brouwer and Fraenkel on Intuitionism

Dalen, Dirk Van

Text on Project Euclid
PDF
Alt PDF
p. 284-310

Project Euclid
Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings

Krajíček, Jan ; Scanlon, Thomas

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

Project Euclid
Applications of Nonstandard Analysis in Additive Number Theory

Jin, Renling

Text on Project Euclid
PDF
Alt PDF
p. 331-341

Project Euclid
Review: Petr Hájek, Metamathematics of Fuzzy Logic

Pelletier, Francis Jeffry

Text on Project Euclid
PDF
Alt PDF
p. 342-346

Project Euclid
Review: Petr Hájek, Lluis Godo, Francesc Esteva, A Complete Many-Valued Logic with Product-Conjunction

Montagna, Franco

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

Project Euclid
Review: Patrick Grim, Gary Mar, Paul St. Denis, The Philosophical Computer. Exploratory Essays in Philosophical Computer Modeling

Hájek, Petr

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

Project Euclid
Review: Pablo Domínguez Prieto, Nossa, Jara, Indeterminación y verdad. La polivalencia lógica en la escuela de Lvóv-Varsovia

D'Ottaviano, Itala M. L.

Text on Project Euclid
PDF
Alt PDF
p. 349-351

Project Euclid
Review: Stephen Bellantoni, Stephen Cook, A New Recursion-Theoretic Characterization of the Polytime Functions; Arnold Beckmann, Andreas Weiermann, A Term Rewriting Characterization of the Polytime Functions and Related Complexity Classes

Niggl, Karl-Heinz

Text on Project Euclid
PDF
Alt PDF
p. 351-353

Project Euclid
Review: Yuri Gurevich, Saharon Shelah, On Finite Rigid Structures

Stolboushkin, Alexei P.

Text on Project Euclid
PDF
Alt PDF
p. 353-355

Project Euclid
Review: Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto, How to Define a Linear Order on Finite Models

Otto, M.

Text on Project Euclid
PDF
Alt PDF
p. 355-356

Project Euclid
Review: Grigori Mints, Sergei Tupailo, Wilfried Buchholz, Epsilon Substitution Method for Elementary Analysis

Kohlenbach, Ulrich

Text on Project Euclid
PDF
Alt PDF
p. 356-357

Project Euclid
Review: Michael Rathjen, Recent Advances in Ordinal Analysis: $\prod_{2}^{1}$-$CA$ and Related Systems

Carlson, Timothy J.

Text on Project Euclid
PDF
Alt PDF
p. 357-358

Project Euclid
Review: Michael Woods, David Wiggins, Conditionals; Dorothy Edgington, Commentary

Harper, William

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

Project Euclid
2000 Annual Meeting of the Association for Symbolic Logic

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

Project Euclid
Notices

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

Project Euclid
Does Mathematics Need New Axioms?

Feferman, Solomon ; Friedman, Harvey M. ; Maddy, Penelope ; Steel, John R.

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

Project Euclid
An Interpolation Theorem

Otto, Martin

Text on Project Euclid
PDF
Alt PDF
p. 447-462

Project Euclid
Review: Samuel R. Buss, Handbook of Proof Theory: Preface

Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 463-464

Project Euclid
Review: Samuel R. Buss, Handbook of Proof Theory: An Introduction to Proof Theory

Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 464-465

Project Euclid
Review: Samuel R. Buss, Handbook of Proof Theory: First-Order Proof Theory of Arithmetic

Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 465-466

Project Euclid
Review: Samuel R. Buss, Handbook of Proof Theory: Hierarchies of Provably Recursive Functions

Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 466-467

Project Euclid
Review: Samuel R. Buss, Handbook of Proof Theory: Subsystems of Set Theory and Second-Order Number Theory

Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 467-469

Project Euclid
Review: Samuel R. Buss, Handbook of Proof Theory: Gödel's Functional ("Dialectica") Interpretation

Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 469-470

Project Euclid
Review: Samuel R. Buss, Handbook of Proof Theory: Realizability

Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 470-471

Project Euclid
Review: Samuel R. Buss, Handbook of Proof Theory: The Lengths of Proofs

Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 473-475

Project Euclid
Review: Samuel R. Buss, Handbook of Proof Theory: A Proof-Theoretic Framework for Logic Programming

Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 475-476

Project Euclid
Review: Samuel R. Buss, Handbook of Proof Theory: Types in Logic, Mathematics and Programming

Arai, Toshiyasu

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

Project Euclid
Review: Anton Setzer, Well-Ordering Proofs for Martin-Löf Type Theory

Buchholz, Wilfried

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

Project Euclid
Review: Dov M. Gabbay, C. J. Hogger, J. A. Robinson, D. Nute, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain Reasoning

Antonelli, G. Aldo

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

Project Euclid
Review: Grigoris Antoniou, Nonmonotonic Reasoning

Suchenek, Marek A.

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

Project Euclid
Review: Maarten Marx, Yde Venema, Multi-Dimensional Modal Logic

Vakarelov, Dimiter

Text on Project Euclid
PDF
Alt PDF
p. 490-495

Project Euclid
Review: James E. Baumgartner, Sacks Forcing and the Total Failure of Martin's Axiom; James E. Baumgartner, Peter Dordal, Adjoining Dominating Functions

Dow, Alan

Text on Project Euclid
PDF
Alt PDF
p. 495-497

Project Euclid
Review: James E. Baumgartner, Bases for Aronszajn Trees; James E. Baumgartner, Polarized Partition Relations and Almost-Disjoint Functions

Todorcevic, Stevo

Text on Project Euclid
PDF
Alt PDF
p. 497-498

Project Euclid
[Omnibus Review]

Demopoulos, William

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

Project Euclid
In Memoriam: Kenneth Jon Barwise, 1942-2000

Feferman, Solomon

Text on Project Euclid
PDF
Alt PDF
p. 505-508

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 509-566

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 567-570

Project Euclid