Sommaire

Index of Reviews: Volumes 59-60

Text on Project Euclid
PDF
Alt PDF
p. 1331-1336

Project Euclid
Review: Daniel J. Velleman, How to prove it. A structed approach

Barrett, Jeffrey A.

Text on Project Euclid
PDF
Alt PDF
p. 1329-1330

Project Euclid
Review: Cary G. DeBessonet, A many-valued approach to deduction and reasoning for artificial intelligence

Stark, Robert

Text on Project Euclid
PDF
Alt PDF
p. 1328-1329

Project Euclid
Review: K. R. Apt, J. W. de Bakker, J. J. M. M. Rutten, Logic Programming Languages, Constraints, Functions, and objects; Maria Alpuente, Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, The semantics of equational logic programming as an instance of CLP

Schmitt, Peter H.

Text on Project Euclid
PDF
Alt PDF
p. 1327-1328

Project Euclid
Review: Zohar Manna, Richard Waldinger, The logical basis for computer programming. Volume I. Deductive reasoning; Zohar Manna, Richard Waldinger, The logical basis for computer programming. Volume II. Deductive Systems

Buning, Hans Klene

Text on Project Euclid
PDF
Alt PDF
p. 1326-1327

Project Euclid
Review: Raymond M. Smullyan, Recursion theory for metamathematics

Odifreddi, Piergiorgio

Text on Project Euclid
PDF
Alt PDF
p. 1324-1326

Project Euclid
Review: Raymond M. Sullyan, Godel's incompleteness theorems

Uspensky, Vladimir A. ; Plisko, Valery Ye.

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

Project Euclid
Review: Vladimir A. Uspensky, Godel's incompleteness theorem

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Petr Hajek, Pavel Pudlak, Matemathematics of first-order arithmetic

Kaye, Richard

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

Project Euclid
Review: George Boolos, The logic of provability

Artemov, Sergei

Text on Project Euclid
PDF
Alt PDF
p. 1316-1317

Project Euclid
Review: Anil Gupta, Nuel Belnap, The revision theory of truth

Sheard, Michael

Text on Project Euclid
PDF
Alt PDF
p. 1314-1316

Project Euclid
Review: Jody Azzouni, Metaphysical myths, mathematical practice. The ontology and epistemology of the exact sciences

Balaguer, Mark

Text on Project Euclid
PDF
Alt PDF
p. 1312-1314

Project Euclid
Review: Geoffrey Hellman, Mathematics without numbers. Towards a modal-structural interpretation

Clark, Peter

Text on Project Euclid
PDF
Alt PDF
p. 1310-1312

Project Euclid
An Analogue of Hilbert's Tenth Problem for p-Adic Entire Functions

Lipshitz, Leonard ; Pheidas, Thanases

Text on Project Euclid
PDF
Alt PDF
p. 1301-1309

Project Euclid
Analytic Equivalence Relations and Ulm-Type Classifications

Hjorth, Greg ; Kechris, Alexander S.

Text on Project Euclid
PDF
Alt PDF
p. 1273-1300

Project Euclid
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories. Part B

Hyttinen, Tapani ; Shelah, Saharon

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

Project Euclid
The Geometry of Forking and Groups of Finite Morley Rank

Pillay, Anand

Text on Project Euclid
PDF
Alt PDF
p. 1251-1259

Project Euclid
The Existence of Finitely Based Lower Covers for Finitely Based Equational Theories

Jezek, Jaroslav ; McNulty, George F.

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

Project Euclid
Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis

Damnjanovic, Zlatan

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

Project Euclid
A Dichotomy for the Definable Universe

Hjorth, Greg

Text on Project Euclid
PDF
Alt PDF
p. 1199-1207

Project Euclid
Embeddability and the Word Problem

Dekov, Deko V.

Text on Project Euclid
PDF
Alt PDF
p. 1194-1198

Project Euclid
An Induction Principle and Pigeonhole Principles for K-Finite Sets

Blass, Andreas

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

Project Euclid
Amoeba Reals

Judah, Haim ; Repicky, Miroslav

Text on Project Euclid
PDF
Alt PDF
p. 1168-1185

Project Euclid
Comparing Notions of Similarity For Uncountable Models

Huuskonen, Taneli

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

Project Euclid
A Reflection Principle and its Applications to Nonstandard Models

Schmerl, James H.

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

Project Euclid
The Undecidability of the II$^_4$ Theory for the R. E. Wtt and Turing Degrees

Lempp, Steffen ; Nies, Andre

Text on Project Euclid
PDF
Alt PDF
p. 1118-1136

Project Euclid
The Axiom of Choice for Well-Ordered Families and for Families of Well- Orderable Sets

Howard, Paul ; Rubin, Jean E.

Text on Project Euclid
PDF
Alt PDF
p. 1115-1117

Project Euclid
The Syntax and Semantics of Entailment in Duality Theory

Davey, B. A. ; Haviar, M. ; Priestley, H. A.

Text on Project Euclid
PDF
Alt PDF
p. 1087-1114

Project Euclid
Storage Operators and Directed Lambda-Calculus

David, Rene ; Nour, Karim

Text on Project Euclid
PDF
Alt PDF
p. 1054-1086

Project Euclid
Determinacy and the Sharp Function on Objects of Type k

Dubose, Derrick Albert

Text on Project Euclid
PDF
Alt PDF
p. 1025-1053

Project Euclid
Review: Moti Gitik, Saharon Shelah, Forcings with ideals and simple forcing notions; M. Gitik, S. Shelah, More on simple forcing Notions and forcing with ideals; D. H. Fremin, Real-valued-measurable cardinals

Burke, Maxim R.

Text on Project Euclid
PDF
Alt PDF
p. 1022-1024

Project Euclid
Review: Y. N. Moschovakis, Logic from computer science, Proceedings of a workshop held November 13-17 1989; , Logics for Negation as Failure

Schwichtenberg, Helmut

Text on Project Euclid
PDF
Alt PDF
p. 1021-1022

Project Euclid
Review: Thomas Streicher, Semantics of type Theory. Correctness, Completeness and Independence Results

Marzetta, Markus

Text on Project Euclid
PDF
Alt PDF
p. 1020-1021

Project Euclid
Review: Ming Li, Paul Vitanyi, An introduction to Kolmogorov complexity and its applications

Uspensky, V. A. ; Shen, A.

Text on Project Euclid
PDF
Alt PDF
p. 1017-1020

Project Euclid
Review: Peter Clote, Jan Krajicek, Arithmetic, proof theory, and computational complexity

Ferreira, Fernando

Text on Project Euclid
PDF
Alt PDF
p. 1014-1017

Project Euclid
Review: H.-D. Ebbinghaus, J. Flum, W. Thomas, Jorg Flum, W. Thomas, Ann S. Ferebee, Margit Mebmer, Mathematical logic

Lemp, Steffen

Text on Project Euclid
PDF
Alt PDF
p. 1013-1014

Project Euclid
Review: Clark Glymour, Thinking things through. An introduction to philosophical issues and achievements

Russinoff, Susan

Text on Project Euclid
PDF
Alt PDF
p. 1012-1013

Project Euclid
Review: Alexander George, Mathematics and mind

Hale, Bob

Text on Project Euclid
PDF
Alt PDF
p. 1009-1012

Project Euclid
Review: Ruth Barcan Marcus, Modalities, Philosophical essays

Bacon, John

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

Project Euclid
A Model in which Every Boolean Algebra has many Subalgebras

Cummings, James ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 992-1004

Project Euclid
Expressibility of Properties of Relations

Andreka, Hajnal ; Duntsch, Ivo ; Nemeti, Istvan

Text on Project Euclid
PDF
Alt PDF
p. 970-991

Project Euclid
Tailoring Recursion for Complexity

Gradel, Erich ; Gurevich, Yuri

Text on Project Euclid
PDF
Alt PDF
p. 952-969

Project Euclid
Superatomic Boolean Algebras Constructed from Morasses

Koepke, Peter ; Martinez, Juan Carlos

Text on Project Euclid
PDF
Alt PDF
p. 940-951

Project Euclid
A Sheaf Representation and Duality for Finitely Presented Heyting Algebras

Ghilardi, Silvio ; Zawadowski, Marek

Text on Project Euclid
PDF
Alt PDF
p. 911-939

Project Euclid
Separably Closed Fields with Higher Derivations

Messmer, Margit ; Wood, Carol

Text on Project Euclid
PDF
Alt PDF
p. 898-910

Project Euclid
Some Questions Concerning the Confinality of Sym (k)

Sharp, James D. ; Thomas, Simon

Text on Project Euclid
PDF
Alt PDF
p. 892-897

Project Euclid
A Special Class of Almost Disjoint Families

Leathrum, Thomas E.

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

Project Euclid
Pretopologies and Completeness Proofs

Sambin, Giovanni

Text on Project Euclid
PDF
Alt PDF
p. 861-878

Project Euclid
Canonical Forms for Definable Subsets of Algebraically Closed and Real Closed Valued Fields

Holly, Jan E.

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

Project Euclid
A Solution to the Completeness Problem for Weakly Aggregative Modal Logic

Apostoli, Peter ; Brown, Bryson

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

Project Euclid
On O-Minimal Expansions of Archimedean Ordered Groups

Laskowski, Michael C. ; Steinhorn, Charles

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

Project Euclid
Defining Multiplication in O-Minimal Expansions of the Additive Reals

Poston, Robert J.

Text on Project Euclid
PDF
Alt PDF
p. 797-816

Project Euclid
Perfect Extensions and Derived Algebras

Andreka, Hajnal ; Givant, Steven ; Nemeti, Istvan

Text on Project Euclid
PDF
Alt PDF
p. 775-796

Project Euclid
The Finite Model Property in Tense Logic

Wolter, Frank

Text on Project Euclid
PDF
Alt PDF
p. 757-774

Project Euclid
Degree Theoretic Definitions of the Low$_2$ Recursively Enumerable sets

Downey, Rod ; Shore, Richard A.

Text on Project Euclid
PDF
Alt PDF
p. 727-756

Project Euclid
Generic Trees

Spinas, Otmar

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

Project Euclid
Review: Menachem Magidor, Representing Sets of Ordinals as Countable Unions of Sets in the Core Model

Welch, Philip

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

Project Euclid
[Omnibus Review]

Baumgartner, James E.

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

Project Euclid
Review: Stan Wagon, The Branch-Tarski Paradox; Stan Wagon, The Branch-Tarski Paradox

Foreman, Matthew

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Paul C. Eklof, Alan H. Mekler, Almost Free Modules. Set-Theoretic Methods

Dow, Alan ; Steprans, Juris

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

Project Euclid
Review: Dimiter G. Skordev, Computability in Combinatory Spaces. An Algebraic Generalization of Abstract First Order Computability

Normann, Dag

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

Project Euclid
Review: Jonathan Chapman, Frederick Rowbottom, Relative Category Theory and Geometric Morphisms. A Logical Approach

Moerdijk, I.

Text on Project Euclid
PDF
Alt PDF
p. 694-695

Project Euclid
Review: Andrew M. Pitts, David W. Kueker, Edgar G. K. Lopez-Escobar, Carl H. Smith, Interpolation and Conceptual Completeness for Pretoposes via Category Theory; Andrew M. Pitts, Conceptual Completeness for First-order Intutionistic Logic: An Application of Categorical Logic

Zawadowski, Marek

Text on Project Euclid
PDF
Alt PDF
p. 692-694

Project Euclid
Review: Rene Cori, Daniel Lascar, J.-L. Krivine, Logique Mathematique. Cours et Exercices. Tome I. Calcul Propostionnel, Algebres de Boole, Calcul des Predicats; Rene Cori, Daniel Lascar, J.-L. Krivine, Logique Mathematique. Cours et Exercices. Tome II. Fonctions Recursives, Theoreme de Godel, Theorie des Ensembles, Theorie des Modeles

Belair, Luc

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

Project Euclid
Review: Wilfrid Hodges, Model Theory

Pillay, Anand

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

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

Lucas, Billy Joe

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

Project Euclid
Review: Fred Landman, Structures for Semantics

ter Meulen, Alice

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

Project Euclid
Review: R. I. G. Hughes, A Philosophical Companion to First-order Logic

Schumm, George F.

Text on Project Euclid
PDF
Alt PDF
p. 684-685

Project Euclid
Compactly Expandable Models and Stability

Casanovas, Enrique

Text on Project Euclid
PDF
Alt PDF
p. 673-683

Project Euclid
Model Completions and Omitting Types

Millar, Terrence

Text on Project Euclid
PDF
Alt PDF
p. 654-672

Project Euclid
Models of Intuitionistic TT and N

Dzierzgowski, Daniel

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

Project Euclid
Ultrafilters on $\omega$

Baumgartner, James E.

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

Project Euclid
Cylindric Modal Logic

Venema, Yde

Text on Project Euclid
PDF
Alt PDF
p. 591-623

Project Euclid
A Star-free Semantics for $\mathbf{R}$

Mares, Edwin D.

Text on Project Euclid
PDF
Alt PDF
p. 579-590

Project Euclid
A Geometric Proof of the Completeness of the Lukasiewicz Calculus

Panti, Giovanni

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

Project Euclid
Elimination des Quantificateurs Dans des Paires de Corps

Leloup, G.

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

Project Euclid
Possible Behaviours of the Reflection Ordering of Stationary Sets

Witzany, Jiri

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

Project Euclid
Corps et Chirurgie

Pillay, Anand ; Poizat, Bruno

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

Project Euclid
Complete Problems for Fixed-Point Logics

Grohe, Martin

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

Project Euclid
The Isomorphism Property for Nonstandard Universes

Schmerl, James H.

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

Project Euclid
The Thickness Lemma From $P_- + I\sum_1 + \urcorner B\sum_2$

Yang, Yue

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

Project Euclid
The Decidability of Dependency in Intuitionistic Propositional Logi

de Jongh, Dick ; Chagrova, L. A.

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

Project Euclid
Anneaux de Fonctions $p$-Adiques

Belair, Luc

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

Project Euclid
On the Basic Logic of STIT with a Single Agent

Xu, Ming

Text on Project Euclid
PDF
Alt PDF
p. 459-483

Project Euclid
Hechler Reals

Labedzki, Grzegorz ; Repicky, Miroslav

Text on Project Euclid
PDF
Alt PDF
p. 444-458

Project Euclid
On the Equivalence of Certain Consequences of the Proper Forcing Axiom

Nyikos, Peter ; Piatkiewicz, Leszek

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

Project Euclid
Ultrafilters Generated by a Closed Set of Functions

Bishop, Greg

Text on Project Euclid
PDF
Alt PDF
p. 415-430

Project Euclid
The Dimension of the Negation of Transitive Closure

McColm, Gregory L.

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

Project Euclid
Martin's Axiom and the Continuum

Judah, Haim ; Roslanowski, Andrzej

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

Project Euclid
Weight $\omega$ in Stable Theories with Few Types

Herwig, Bernhard

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

Project Euclid
Review: Joseph Brent, Charles Sanders Peirce. A Life

Dipert, Randall R.

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

Project Euclid
Review: Peter Ohrstrom, Per Hasle, A. N. Prior's Rediscovery of Tense Logic

Cocchiarella, Nino B.

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

Project Euclid
Review: Robert Goldblatt, Logics of Time and Computation

Parikh, Rohit

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Solomon Feferman, Reflecting on Incompleteness

Cantini, Andrea

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

Project Euclid
Review: Solomon Feferman, Toward Useful Type-Free Theories I

Cantini, Andrea

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

Project Euclid
Review: Saunders Mac Lane, Ieke Moerdjik, Sheaves in Geometry and Logic. A First Introduction to Topos Theory

Pitts, Andrew M.

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

Project Euclid
Review: Moti Gitik, The Strength of the Failure of the Singular Cardinal Hypothesis

Cummings, James

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Moti Gitik, Menachem Magidor, The Singular Cardinal Hypothesis Revisited

Cummings, James

Text on Project Euclid
PDF
Alt PDF
p. 339-340

Project Euclid
Review: Moti Gitik, On the Mitchell and Rudin-Keisler Orderings of Ultrafilters

Cummings, James

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

Project Euclid
A Semantics of Evidence for Classical Arithmetic

Coquand, Thierry

Text on Project Euclid
PDF
Alt PDF
p. 325-337

Project Euclid
Uniqueness, Collection, and External Collapse of Cardinals in Ist and Models of Peano Arithmetic

Kanovei, V.

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

Project Euclid
Fine Hierarchies and Boolean Terms

Selivanov, V. L.

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

Project Euclid
Hereditarily Structurally Complete Modal Logics

Rybakov, V. V.

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

Project Euclid
Abstract Classes with few Models have `Homogeneous-Universal' Models

Baldwin, J. ; Shelah, S.

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

Project Euclid
Requirement Systems

Knight, Julia F.

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

Project Euclid
Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-Examined

Bell, J. L.

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

Project Euclid
Weak Presentations of Computable Fields

Jockusch, Carl G. ; Shlapentokh, Alexandra

Text on Project Euclid
PDF
Alt PDF
p. 199-208

Project Euclid
New Set-Theoretic Axioms Derived from a Lean Metamathematics

Mycielski, Jan

Text on Project Euclid
PDF
Alt PDF
p. 191-198

Project Euclid
The Equivalence of NF-Style Set Theories with "Tangled" Theories; The Construction of $\omega$-Models of Predicative NF (and more)

Holmes, M. Randall

Text on Project Euclid
PDF
Alt PDF
p. 178-190

Project Euclid
The Consistency of One Fixed Omega

Henle, J. M.

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

Project Euclid
Scott Incomplete Boolean Ultrapowers of the Real Line

Ozawa, Masanao

Text on Project Euclid
PDF
Alt PDF
p. 160-171

Project Euclid
Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof

Chuaqui, Rolando ; Suppes, Patrick

Text on Project Euclid
PDF
Alt PDF
p. 122-159

Project Euclid
Delineating Classes of Computational Complexity via Second Order Theories with Weak Set Existence Principles. I

Ignjatovic, Aleksandar

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

Project Euclid
$T$-Convexity and Tame Extensions

Dries, Lou Van Den ; Lewenberg, Adam H.

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

Project Euclid
The Bounded Proper Forcing Axiom

Goldstern, Martin ; Shelah, Saharon

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

Project Euclid
The Combinatorics of Combinatorial Coding by a Real

Shelah, Saharon ; Stanley, Lee J.

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

Project Euclid
A Combinatorial Forcing for Coding the Universe by a Real when there are no Sharps

Shelah, Saharon ; Stanley, Lee J.

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

Project Euclid