Sommaire

Review: D. M. Gabbay, What is a Logical System?

Sher, G. Y.

Text on Project Euclid
PDF
Alt PDF
p. 1396-1400

Project Euclid
Review: Eric M. Hammer, Logic and Visual Information

Luengo, Isabel

Text on Project Euclid
PDF
Alt PDF
p. 1395-1396

Project Euclid
Review: Steven G. Krantz, The Elements of Advanced Mathematics

Simco, Nancy

Text on Project Euclid
PDF
Alt PDF
p. 1394-1395

Project Euclid
Review: Winfried Just, Martin Weese, Discovering Modern Set Theory. I. The Basics

Steprans, Juris

Text on Project Euclid
PDF
Alt PDF
p. 1393-1394

Project Euclid
Review: T. E. Forster, Set Theory with a Universal Set. Exploring an Untyped Universe

Holmes, M. Randall

Text on Project Euclid
PDF
Alt PDF
p. 1392-1393

Project Euclid
Review: A. D. Irvine, G. A. Wedeking, Russell and Analytic Philosophy

Urquhart, Alasdair

Text on Project Euclid
PDF
Alt PDF
p. 1391-1392

Project Euclid
Review: Michael Dummett, Frege. Philosophy of Mathematics

Simons, Peter

Text on Project Euclid
PDF
Alt PDF
p. 1389-1391

Project Euclid
Review: Lawrence S. Moss, Power Set Recursion

Normann, Dag

Text on Project Euclid
PDF
Alt PDF
p. 1388-1389

Project Euclid
Review: Richard Sommer, Transfinite Induction within Peano Arithmetic

Rathjen, Michael

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Phokion G. Kolaitis, Jouko A. Vaananen, Generalized Quantifiers and Pebble Games on Finite Structures

Stewart, I. A.

Text on Project Euclid
PDF
Alt PDF
p. 1387-1388

Project Euclid
On Countably Closed Complete Boolean Algebras

Jech, Thomas ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1380-1386

Project Euclid
The $\Pi^0_2$ Enumeration Degrees are Not Dense

Calhoun, William C. ; Slaman, Theodore A.

Text on Project Euclid
PDF
Alt PDF
p. 1364-1379

Project Euclid
Noncappable Enumeration Degrees Below $0'_e$

Cooper, S. Barry ; Sorbi, Andrea

Text on Project Euclid
PDF
Alt PDF
p. 1347-1363

Project Euclid
Simple Gentzenizations for the Formal Formulae of Contraction-Less Logics

Brady, Ross T.

Text on Project Euclid
PDF
Alt PDF
p. 1321-1346

Project Euclid
Forcing Isomorphism II

Laskowski, M. C. ; Shelah, S.

Text on Project Euclid
PDF
Alt PDF
p. 1305-1320

Project Euclid
Boolean Operations, Borel Sets, and Hausdorff's Question

Dasgupta, Abhijit

Text on Project Euclid
PDF
Alt PDF
p. 1287-1304

Project Euclid
Countable Models of Trivial Theories which Admit Finite Coding

Loveys, James ; Tanovic, Predrag

Text on Project Euclid
PDF
Alt PDF
p. 1279-1286

Project Euclid
If There is an Exactly $\lambda$-Free Abelian Group Then There is an Exactly $\lambda$-Separable one in $\lambda$

Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1261-1278

Project Euclid
Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality

Dellunde, Pilar ; Jansana, Ramon

Text on Project Euclid
PDF
Alt PDF
p. 1242-1260

Project Euclid
A Recursive Nonstandard Model of Normal Open Induction

Berarducci, Alessandro ; Otero, Margarita

Text on Project Euclid
PDF
Alt PDF
p. 1228-1241

Project Euclid
Uniformization, Choice Functions and Well Orders in the Class of Trees

Lifsches, Shmuel ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1206-1227

Project Euclid
Strong Termination for the Epsilon Substitution Method

Mints, Grigori

Text on Project Euclid
PDF
Alt PDF
p. 1193-1205

Project Euclid
Minimal Complementation Below Uniform Upper Bounds for the Arithmetical Degrees

Kumabe, Masahiro

Text on Project Euclid
PDF
Alt PDF
p. 1158-1192

Project Euclid
Cauchy Completeness in Elementary Logic

Cifuentes, J. C. ; Sette, A. M. ; Mundici, D.

Text on Project Euclid
PDF
Alt PDF
p. 1153-1157

Project Euclid
Some Model Theory for Almost Real Closed Fields

Delon, Francoise ; Farre, Rafel

Text on Project Euclid
PDF
Alt PDF
p. 1121-1152

Project Euclid
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics

Gabbay, D. M.

Text on Project Euclid
PDF
Alt PDF
p. 1057-1120

Project Euclid
Review: Sally Popkorn, First Steps in Modal Logic

Gore, Rajeev

Text on Project Euclid
PDF
Alt PDF
p. 1055-1056

Project Euclid
Review: Raymond M. Smullyan, Diagonalization and Self-Reference

Beklemishev, Lev

Text on Project Euclid
PDF
Alt PDF
p. 1052-1055

Project Euclid
Review: Lutz Heindorf, Elementare Beweistheorie

Buchholz, Wilfried

Text on Project Euclid
PDF
Alt PDF
p. 1051-1052

Project Euclid
Review: Heinz-Dieter Ebbinghaus, Jorg Flum, Finite Model Theory

McColm, G. L.

Text on Project Euclid
PDF
Alt PDF
p. 1049-1050

Project Euclid
Review: Kevin T. Kelly, Oliver Schulte, The Computable Testability of Theories Making Uncomputable Predictions

Leeds, Stephen

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Richard Kaye, Dugald Macpherson, Automorphisms of First-order Structures

Cherlin, Gregory

Text on Project Euclid
PDF
Alt PDF
p. 1045-1048

Project Euclid
Generalized Quantification as Substructural Logic

Alechina, Natasha ; van Lambalgen, Michiel

Text on Project Euclid
PDF
Alt PDF
p. 1006-1044

Project Euclid
Stable Structures with Few Substructures

Laskowski, Michael C. ; Mayer, Laura L.

Text on Project Euclid
PDF
Alt PDF
p. 985-1005

Project Euclid
A Definable Continuous Rank for Nonmultidimensional Superstable Theories

Chowdhury, Ambar ; Loveys, James ; Tanovic, Predrag

Text on Project Euclid
PDF
Alt PDF
p. 967-984

Project Euclid
Notes on Polynomially Bounded Arithmetic

Zambella, Domenico

Text on Project Euclid
PDF
Alt PDF
p. 942-966

Project Euclid
The Morley Rank of a Banach Space

Iovino, Jose

Text on Project Euclid
PDF
Alt PDF
p. 928-941

Project Euclid
A Few Special Ordinal Ultrafilters

Laflamme, Claude

Text on Project Euclid
PDF
Alt PDF
p. 920-927

Project Euclid
On $\aleph_1$ Many Minimal Models

Hjorth, Greg

Text on Project Euclid
PDF
Alt PDF
p. 906-919

Project Euclid
Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices

Ambos-Spies, Klaus ; Fejer, Peter A. ; Lempp, Steffen ; Lerman, Manuel

Text on Project Euclid
PDF
Alt PDF
p. 880-905

Project Euclid
On Boolean Subalgebras of $\mathscr{P}(\omega_1)/ctble$

Dow, Alan

Text on Project Euclid
PDF
Alt PDF
p. 873-879

Project Euclid
Relational and Partial Variable Sets and Basic Predicate Logic

Ghilardi, Silvio ; Meloni, Giancarlo

Text on Project Euclid
PDF
Alt PDF
p. 843-872

Project Euclid
Some Theories with Positive Induction of Ordinal Strength $\varphi\omega 0$

Jager, Gerhard ; Strahm, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 818-842

Project Euclid
The Hierarchy Theorem for Generalized Quantifiers

Hella, Lauri ; Luosto, Kerkko ; Vaananen, Jouko

Text on Project Euclid
PDF
Alt PDF
p. 802-817

Project Euclid
Reflecting in Epistemic Arithmetic

Horsten, Leon

Text on Project Euclid
PDF
Alt PDF
p. 788-801

Project Euclid
Identities on Cardinals Less Than $\aleph_\omega$

Gilchrist, M. ; Shelah, S.

Text on Project Euclid
PDF
Alt PDF
p. 780-787

Project Euclid
On the Relationships between $ATR_0$ And $\widehat{ID}_{< \omega}$

Avigad, Jeremy

Text on Project Euclid
PDF
Alt PDF
p. 768-779

Project Euclid
Some Elementary Results in Intutionistic Model Theory

Veldman, Wim ; Waaldijk, Frank

Text on Project Euclid
PDF
Alt PDF
p. 745-767

Project Euclid
Intuitionistic Sets and Ordinals

Taylor, Paul

Text on Project Euclid
PDF
Alt PDF
p. 705-744

Project Euclid
Review: Martin D. Davis, Ron Sigal, Elaine J. Weyuker, Computability, Complexity, and Languages. Fundamentals of Theoretical Computer Science

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF
p. 703-704

Project Euclid
Review: Robert W Floyd, Richard Beigel, The Language of Machines. An Introduction to Computability and Formal Languages

Gumb, Raymond D.

Text on Project Euclid
PDF
Alt PDF
p. 701-703

Project Euclid
Review: Erwin Engeler, Peter Lauchli, Ronald Peikert, Berechnungstheorie fur Informatiker; Arnold Oberschelp, Rekursionstheorie; Walter Felscher, Berechenbarkeit. Rekursive und Programmierbare Funktionen

Hajek, Petr

Text on Project Euclid
PDF
Alt PDF
p. 699-701

Project Euclid
Review: Wilfried Sieg, Logic and Computation, Proceedings of a Workshop held at Carnegie Mellon University, June 30-July 2, 1987

Hudelmaier, Jorg

Text on Project Euclid
PDF
Alt PDF
p. 697-699

Project Euclid
Review: Erwin Engeler, K. Aberer, B. Amrhein, O. Gloor, M. von Mohrenschildt, D. Otth, G. Schwarzler, T. Weibel, The Combinatory Programme

Davenport, James

Text on Project Euclid
PDF
Alt PDF
p. 696-697

Project Euclid
Review: Raymond Turner, Truth and Modality for Knowledge Representation

Martini, Simone

Text on Project Euclid
PDF
Alt PDF
p. 693-696

Project Euclid
Review: J. Michael Dunn, Anil Gupta, Truth or Consequences, Essays in Honor of Nuel Belnap

Schurz, Gerhard

Text on Project Euclid
PDF
Alt PDF
p. 691-693

Project Euclid
Review: Wolfgang Carl, Frege's Theory of Sense and Reference. Its Origins and Scope

Gabriel, Gottfried

Text on Project Euclid
PDF
Alt PDF
p. 689-691

Project Euclid
Review: Richard Dedekind, What are Numbers and What should they Be?

Grattan-Guinness, Ivor

Text on Project Euclid
PDF
Alt PDF
p. 688-689

Project Euclid
Review: Alexandre Borovik, Ali Nesin, Groups of Finite Morley Rank

Lascar, Daniel

Text on Project Euclid
PDF
Alt PDF
p. 687-688

Project Euclid
Did Tarski Commit "Tarski's Fallacy"?

Sher, G. Y.

Text on Project Euclid
PDF
Alt PDF
p. 653-686

Project Euclid
Automorphism-Invariant Measures on $\aleph_0$-Categorical Structures without the Independence Property

Ensley, Douglas E.

Text on Project Euclid
PDF
Alt PDF
p. 640-652

Project Euclid
Fine Structure for Tame Inner Models

Schimmerling, E. ; Steel, J. R.

Text on Project Euclid
PDF
Alt PDF
p. 621-639

Project Euclid
Fluted Formulas and the Limits of Decidability

Purdy, William C.

Text on Project Euclid
PDF
Alt PDF
p. 608-620

Project Euclid
On External Scott Algebras in Nonstandard Models of Peano Arithmetic

Kanovei, Vladimir

Text on Project Euclid
PDF
Alt PDF
p. 586-607

Project Euclid
Stretchings

Finkel, O. ; Ressayre, J. P.

Text on Project Euclid
PDF
Alt PDF
p. 563-585

Project Euclid
On Finite Rigid Structures

Gurevich, Yuri ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 549-562

Project Euclid
The Undecidability of Second Order Linear Logic without Exponentials

Lafont, Yves

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

Project Euclid
Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate

Cegielski, Patrick ; Matiyasevich, Yuri ; Richard, Denis

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

Project Euclid
Set Theoretic Naturalism

Maddy, Penelope

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

Project Euclid
On Power Set in Explicit Mathematics

Glass, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 468-489

Project Euclid
The Sacks Density Theorem and $\Sigma_2$-Bounding

Groszek, Marcia J. ; Mytilinaios, Michael E. ; Slaman, Theodore A.

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

Project Euclid
Canonical Formulas for K4. Part II: Cofinal Subframe Logics

Zakharyaschev, Michael

Text on Project Euclid
PDF
Alt PDF
p. 421-449

Project Euclid
Gentzenizations of Relevant Logics with Distribution

Brady, Ross T.

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

Project Euclid
Gentzenizations of Relevant Logics without Distribution. II

Brady, Ross T.

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

Project Euclid
Gentzenizations of Relevant Logics without Distribution. I

Brady, Ross T.

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

Project Euclid
Review: Raymond M. Smullyan, First-Order Logic

Avigad, Jeremy

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Allan Ramsay, Formal Methods in Artificial Intelligence

Pelletier, Francis Jeffry

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

Project Euclid
Review: J. B. Paris, The Uncertain Reasoner's Companion. A Mathematical Perspective

Kyburg, Henry E.

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

Project Euclid
Review: L. T. F. Gamut, Logic, Language, and Meaning. Volume I. Introduction to Logic; Grammar., L. T. F. Gamut, Logic, Language, and Meaning. Volume II. Intensional Logic and Logical

Link, Godehard

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

Project Euclid
Review: Sun-Joo Shin, The Logical Status of Diagrams

Hammer, Eric M.

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

Project Euclid
Review: Alan Ross Anderson, Entailment. The Logic of Relevance and Necessity

Maksimova, Larisa

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

Project Euclid
Review: Jean-Yves Girard, Linear Logic; A. S. Troelstra, Lectures on Linear Logic

Jervell, Herman Ruge

Text on Project Euclid
PDF
Alt PDF
p. 336-338

Project Euclid
Review: Akihiro Kanamori, The Higher Infinite. Large Cardinals in Set Theory from their Beginnings

Levy, Azriel

Text on Project Euclid
PDF
Alt PDF
p. 334-336

Project Euclid
On Atomic or Saturated Sets

Newelski, Ludomir

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

Project Euclid
Possible PCF Algebras

Jech, Thomas ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 313-317

Project Euclid
Countable Unions of Simple Sets in the Core Model

Welch, P. D.

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

Project Euclid
An Addition to Rosser's Theorem

Kotlarski, Henryk

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

Project Euclid
Existentially Closed Models via Constructible Sets: There are $2^{\aleph_0}$ Existentially Closed Pairwise Non Elementarily Equivalent Existentially Closed Ordered Groups

Khelif, Anatole

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

Project Euclid
Asymptotic Conditional Probabilities: The Non-Unary Case

Grove, Adam J. ; Halpern, Joseph Y. ; Koller, Daphne

Text on Project Euclid
PDF
Alt PDF
p. 250-276

Project Euclid
Lebesque Measure Zero Subsets of the Real Line and an Infinite Game

Scheepers, Marion

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

Project Euclid
Omitting Types in Incomplete Theories

Casanovas, Enrique ; Farre, Rafel

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

Project Euclid
Ad and Patterns of Singular Cardinals Below $\Theta$

Apter, Arthur W.

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

Project Euclid
Self-Commuting Quantifiers

Westerstahl, Dag

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

Project Euclid
The Proofs of $\alpha \rightarrow \alpha$ in $P - W$

Hirokawa, Sachio

Text on Project Euclid
PDF
Alt PDF
p. 195-211

Project Euclid
Mathias Absoluteness and the Ramsey Property

Halbeisen, Lorenz ; Judah, Haim

Text on Project Euclid
PDF
Alt PDF
p. 177-194

Project Euclid
The Expressive Power of Fixed-Point Logic with Counting

Otto, Martin

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

Project Euclid
Monotone Inductive Definitions in Explicit Mathematics

Rathjen, Michael

Text on Project Euclid
PDF
Alt PDF
p. 125-146

Project Euclid
Bimodal Logics for Extensions of Arithmetical Theories

Beklemishev, Lev D.

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

Project Euclid
Adding One Random Real

Bartoszynski, Tomek ; Roslanowski, Andrzej ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 80-90

Project Euclid
Two Remarks on the Lifschitz Realizability Topos

van Oosten, Jaap

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

Project Euclid
How to Characterize Provably Total Functions by Local Predicativity

Weiermann, Andreas

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

Project Euclid
Variations of the Martin-Solovay Tree

Hjorth, Greg

Text on Project Euclid
PDF
Alt PDF
p. 40-51

Project Euclid
Branching-Time Logic with Quantification over Branches: The Point of View of Modal Logic

Zanardo, Alberto

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

Project Euclid