Sommaire

Index of Reviews

Text on Project Euclid
PDF
Alt PDF
p. 1854-1861

Project Euclid
Review: Olav K. Wiegand, Interpretationen der Modallogik. Ein Beitrag zur phanomenologischen Wissenschaftstheorie

Haddock, Guillermo E. Rosado

Text on Project Euclid
PDF
Alt PDF
p. 1849-1853

Project Euclid
Review: Jacek Pasniczek, The Logic of Intentional Objects. A Meinongian Version of Classical Logic

Jacquette, Dale

Text on Project Euclid
PDF
Alt PDF
p. 1847-1849

Project Euclid
Review: Philippe de Rouilhan, Russell et le cercle des paradoxes

da Costa, Newton C. A. ; Bueno, Otavio

Text on Project Euclid
PDF
Alt PDF
p. 1845-1847

Project Euclid
Review: Shaughan Lavine, Understanding the Infinite

Tappenden, Jamie

Text on Project Euclid
PDF
Alt PDF
p. 1843-1845

Project Euclid
Review: Lamber M. M. Royakkers, Extending Deontic Logic for the Formalisation of Legal Rules

Bailhache, Patrice

Text on Project Euclid
PDF
Alt PDF
p. 1841-1842

Project Euclid
Review: Henry Prakken, Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law

Loui, R. P.

Text on Project Euclid
PDF
Alt PDF
p. 1840-1841

Project Euclid
Review: J.-J. Ch. Meyer, W. van Der Hoek, Epistemic Logic for AI and Computer Science

Verbrugge, Rineke

Text on Project Euclid
PDF
Alt PDF
p. 1837-1840

Project Euclid
Review: Fahiem Bacchus, Representing and Reasoning with Probabilistic Knowledge. A Logical Approach to Probabilities

Grzymala-Busse, Jerzy W.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jon Barwise, Jerry Seligman, Information Flow. The Logic of Distributed Systems

de Rijke, Maarten

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Bob Carpenter, Type-Logical Semantics

Pentus, Mati

Text on Project Euclid
PDF
Alt PDF
p. 1835-1836

Project Euclid
Review: Jean-Pierre Ginisti, La Logique Combinatoire

Seldin, Jonathan P.

Text on Project Euclid
PDF
Alt PDF
p. 1833-1834

Project Euclid
Review: J. Roger Hindley, Basic Simple Type Theory

Setzer, Anton

Text on Project Euclid
PDF
Alt PDF
p. 1832-1833

Project Euclid
Review: Mikhail G. Peretyat'kin, Konechno Aksiomatiziruemye Teorii; F. R. Drake, D. Singh, Intermediate Set Theory; Winfried Just, Martin Weese, Discovering Modern Set Theory. II. Set-Theoretic Tools for Every Mathematician

Goldstern, Martin

Text on Project Euclid
PDF
Alt PDF
p. 1830-1832

Project Euclid
Review: Mikhail G. Peretyat'kin, Finitely Axiomatizable Theories

Morley, Vivienne

Text on Project Euclid
PDF
Alt PDF
p. 1828-1830

Project Euclid
Review: Heinrich Wansing, Proof Theory of Modal Logic

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF
p. 1825-1828

Project Euclid
Review: Paul W. Beame, Samuel R. Buss, Proof Complexity and Feasible Arithmetics, DIMACS Workshop, April 21-24, 1996

Razborov, Alexander A.

Text on Project Euclid
PDF
Alt PDF
p. 1823-1825

Project Euclid
Review: Jan Krajicek, Pavel Pudlak, Gaisi Takeuti, Bounded Arithmetic and the Polynomial Hierarchy; Samuel R. Buss, Relating the Bounded Arithmetic and Polynomial Time Hierarchies; Domenico Zambella, Notes on Polynomially Bounded Arithmetic

Cook, Stephen

Text on Project Euclid
PDF
Alt PDF
p. 1821-1823

Project Euclid
[Omnibus Review]

McKenzie, Ralph

Text on Project Euclid
PDF
Alt PDF
p. 1820-1821

Project Euclid
Some Results on Combinators in the System TRC

Jech, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 1811-1819

Project Euclid
Adjoining Cofinitary Permutations

Zhang, Yi

Text on Project Euclid
PDF
Alt PDF
p. 1803-1810

Project Euclid
The Complexity of Decision Procedures in Relevance Logic II

Urquhart, Alasdair

Text on Project Euclid
PDF
Alt PDF
p. 1774-1802

Project Euclid
Notions of Locality and Their Logical Characterizations Over Finite Models

Hella, Lauri ; Libkin, Leonid ; Nurmonen, Juha

Text on Project Euclid
PDF
Alt PDF
p. 1751-1773

Project Euclid
Classification of $\delta$-Invariant Amalgamation Classes

Aref'ev, Roman D. ; Baldwin, John T. ; Mazzucco, Marco

Text on Project Euclid
PDF
Alt PDF
p. 1743-1750

Project Euclid
On the Restraining Power of Guards

Gradel, Erich

Text on Project Euclid
PDF
Alt PDF
p. 1719-1742

Project Euclid
A $\Delta^0_2$ Set with Barely $\Sigma^0_2$ Degree

Downey, Rod ; Laforte, Geoffrey ; Lempp, Steffen

Text on Project Euclid
PDF
Alt PDF
p. 1700-1718

Project Euclid
Pseudo-Finite Homogeneity and Saturation

Flum, Jorg ; Ziegler, Martin

Text on Project Euclid
PDF
Alt PDF
p. 1689-1699

Project Euclid
On Measurable Limits of Compact Cardinals

Apter, Arthur W.

Text on Project Euclid
PDF
Alt PDF
p. 1675-1688

Project Euclid
Free Set Algebras Satisfying Systems of Equations

Antonelli, G. Aldo

Text on Project Euclid
PDF
Alt PDF
p. 1656-1674

Project Euclid
Standardization Principle of Nonstandard Universes

Murakami, Masahiko

Text on Project Euclid
PDF
Alt PDF
p. 1645-1655

Project Euclid
A Hierarchy of Maps between Compacta

Bankston, Paul

Text on Project Euclid
PDF
Alt PDF
p. 1628-1644

Project Euclid
A Minimal Counterexample to Universal Baireness

Hauser, Kai

Text on Project Euclid
PDF
Alt PDF
p. 1601-1627

Project Euclid
Stable Models and Reflexive Banach Spaces

Iovino, Jose

Text on Project Euclid
PDF
Alt PDF
p. 1595-1600

Project Euclid
No Elementary Embedding from V into V is Definable from Parameters

Suzuki, Akira

Text on Project Euclid
PDF
Alt PDF
p. 1591-1594

Project Euclid
Displaying the Modal Logic of Consistency

Wansing, Heinrich

Text on Project Euclid
PDF
Alt PDF
p. 1573-1590

Project Euclid
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables

Marx, Maarten ; Mikulas, Szabolcs

Text on Project Euclid
PDF
Alt PDF
p. 1563-1572

Project Euclid
A Note on a-Prime Models

Hart, Bradd ; Sokolovic, Zeljko ; Tanovic, Predrag

Text on Project Euclid
PDF
Alt PDF
p. 1557-1562

Project Euclid
Finite Sets and Frege Structures

Bell, John L.

Text on Project Euclid
PDF
Alt PDF
p. 1552-1556

Project Euclid
Cardinal Preserving Ideals

Gitik, Moti ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1527-1551

Project Euclid
The Complexity of the Collection of Countable Linear Orders of the Form I + I

Beleznay, Ferenc

Text on Project Euclid
PDF
Alt PDF
p. 1519-1526

Project Euclid
Cantor-Bendixson Rank of the Ziegler Spectrum Over a Commutative Valuation Domain

Puninski, Gennadi

Text on Project Euclid
PDF
Alt PDF
p. 1512-1518

Project Euclid
On the No-Counterexample Interpretation

Kohlenbach, Ulrich

Text on Project Euclid
PDF
Alt PDF
p. 1491-1511

Project Euclid
A Model with No Magic Set

Ciesielski, Krzysztof ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1467-1490

Project Euclid
Quine's 'Limits of Decision'

Purdy, William C.

Text on Project Euclid
PDF
Alt PDF
p. 1439-1466

Project Euclid
Ordre Fondamental D'une Theorie 1-Basee

Bagheri, Seyyed Mohammad

Text on Project Euclid
PDF
Alt PDF
p. 1426-1438

Project Euclid
Interpretability Over Peano Arithmetic

Strannegard, Claes

Text on Project Euclid
PDF
Alt PDF
p. 1407-1425

Project Euclid
Friedberg Splittings in $\Sigma^0_3$ Quotient Lattices of $\mathscr{E}$

Hammond, Todd

Text on Project Euclid
PDF
Alt PDF
p. 1403-1406

Project Euclid
Lowness for the Class of Random Sets

Kucera, Antonin ; Terwijn, Sebastiaan A.

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

Project Euclid
Geometry of *-Finite Types

Newelski, Ludomir

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

Project Euclid
Review: Gary Ostertag, Definite Descriptions, A Reader

Graff, Delia

Text on Project Euclid
PDF
Alt PDF
p. 1371-1374

Project Euclid
Review: Gregory Landini, Russell's Hidden Substitutional Theory

Urquhart, Alasdair

Text on Project Euclid
PDF
Alt PDF
p. 1370-1371

Project Euclid
Review: Lewis Carroll, Michael Zollner, Paul Good, Das Spiel der Logik

Stenning, Keith

Text on Project Euclid
PDF
Alt PDF
p. 1368-1370

Project Euclid
Review: Patrick Suppes, Introduction to Logic

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Martin Goldstern, Haim Judah, The Incompleteness Phenomenon. A New Course in Mathematical Logic

Johnson, Mark J.

Text on Project Euclid
PDF
Alt PDF
p. 1367-1368

Project Euclid
Review: Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 1. Bounded Set Theory; Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 2. External Universe over the Universe of Bounded Set Theory; Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 3. Partially Saturated Universes

Hrbacek, Karel

Text on Project Euclid
PDF
Alt PDF
p. 1365-1366

Project Euclid
Review: S. B. Cooper, T. A. Slaman, S. S. Wainer, Computability, Enumerability, Unsolvability, Directions in Recursion Theory

Chong, C. T.

Text on Project Euclid
PDF
Alt PDF
p. 1362-1365

Project Euclid
Review: Jan Krajicek, Bounded Arithmetic, Propositional Logic, and Complexity Theory

Clote, P.

Text on Project Euclid
PDF
Alt PDF
p. 1357-1362

Project Euclid
Review: Stephen G. Simpson, Subsystems of Second Order Arithmetic

Cholak, Peter

Text on Project Euclid
PDF
Alt PDF
p. 1356-1357

Project Euclid
Le Carre de L'Egalite

Poizat, Bruno

Text on Project Euclid
PDF
Alt PDF
p. 1339-1355

Project Euclid
Grafted Frames and S1-Completeness

Zhou, Beihai

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

Project Euclid
Solovay-Type Characterizations for Forcing-Algebras

Brendle, Jorg ; Lowe, Benedikt

Text on Project Euclid
PDF
Alt PDF
p. 1307-1323

Project Euclid
Finite Powers of Strong Measure Zero Sets

Scheepers, Marion

Text on Project Euclid
PDF
Alt PDF
p. 1295-1306

Project Euclid
A Weak Dodd-Jensen Lemma

Neeman, Itay ; Steel, John

Text on Project Euclid
PDF
Alt PDF
p. 1285-1294

Project Euclid
Lascar and Morley Ranks Differ in Differentially Closed Fields

Hrushovski, Ehud ; Scanlon, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 1280-1284

Project Euclid
Flat Morley Sequences

Newelski, Ludomir

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

Project Euclid
Combinatorial Properties of Filters and Open Covers for Sets of Real Numbers

Laflamme, Claude ; Scheepers, Marion

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

Project Euclid
Hyperfinite Type Structures

Normann, Dag ; Palmgren, Erik ; Stoltenberg-Hansen, Viggo

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

Project Euclid
The Emptiness Problem for Intersection Types

Urzyczyn, Pawel

Text on Project Euclid
PDF
Alt PDF
p. 1195-1215

Project Euclid
Freeness in Classes without Equality

Elgueta, Raimon

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

Project Euclid
Forking and Fundamental Order in Simple Theories

Lascar, Daniel ; Pillay, Anand

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

Project Euclid
There Exist Exactly Two Maximal Strictly Relevant Extensions of the Relevant Logic R

Swirydowicz, Kazimierz

Text on Project Euclid
PDF
Alt PDF
p. 1125-1154

Project Euclid
Heights of Models of ZFC and the Existence of End Elementary Extensions II

Villaveces, Andres

Text on Project Euclid
PDF
Alt PDF
p. 1111-1124

Project Euclid
A Finite Family Weak Square Principle

Schimmerling, Ernest

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

Project Euclid
Jonsson Cardinals, Erdos Cardinals, and the Core Model

Mitchell, W. J.

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

Project Euclid
Implicit Measurements of Dynamic Complexity Properties and Splittings of Speedable Sets

Jahn, Michael A.

Text on Project Euclid
PDF
Alt PDF
p. 1037-1064

Project Euclid
An Elementary Definability Theorem for First Order Logic

Butz, C. ; Moerdijk, I.

Text on Project Euclid
PDF
Alt PDF
p. 1028-1036

Project Euclid
Un Principe D'Ax-Kochen-Ershov Pour des Structures Intermediares Entre Groupes et Corps Values

Delon, Francoise ; Simonetta, Patrick

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

Project Euclid
The Ground-Negative Fragment of First-Order Logic is $\Pi^p_2$-Complete

Voronkov, Andrei

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

Project Euclid
Laver Sequences for Extendible and Super-Almost-Huge Cardinals

Corazza, Paul

Text on Project Euclid
PDF
Alt PDF
p. 963-983

Project Euclid
Model Completeness of the New Strongly Minimal Sets

Holland, Kitty L.

Text on Project Euclid
PDF
Alt PDF
p. 946-962

Project Euclid
On Recursive Enumerability with Finite Repetitions

Wehner, Stephan

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

Project Euclid
Review: Stewart Shapiro, Philosophy of Mathematics. Structure and Ontology

Hellman, Geoffrey

Text on Project Euclid
PDF
Alt PDF
p. 923-926

Project Euclid
Review: Michael D. Resnik, Mathematics as a Science of Patterns

Azzouni, Jody

Text on Project Euclid
PDF
Alt PDF
p. 922-923

Project Euclid
Review: John C. Mitchell, Foundations for Programming Languages

Avron, Arnon

Text on Project Euclid
PDF
Alt PDF
p. 918-922

Project Euclid
Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, Including the IBM-Compatible Windows Version of Tarski's World 4.0; Jon Barwise, John Etchemendy, Hyperproof

Fallis, Don

Text on Project Euclid
PDF
Alt PDF
p. 916-918

Project Euclid
[Omnibus Review]

Royer, James S.

Text on Project Euclid
PDF
Alt PDF
p. 914-916

Project Euclid
Review: Nicholas Pippenger, Theories of Computability

Huttel, Hans

Text on Project Euclid
PDF
Alt PDF
p. 913-914

Project Euclid
Review: Tomoyuki Yamakami, Polynomial Games and Determinacy

Griffor, Edward

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: A. J. Wilkie, Model Completeness Results for Expansions of the Ordered Field of Real Numbers by Restricted Pfaffian Functions and the Exponential Function

Steinhorn, Charles

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

Project Euclid
Review: Ya'acov Peterzil, Sergei Starchenko, A Trichotomy Theorem for O-Minimal Structures

Macpherson, Dugald

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

Project Euclid
Review: Ehud Hrushovski, Boris Zilber, Zariski Geometries

Pillay, A.

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

Project Euclid
Review: Anand Pillay, The Geometry of Forking and Groups of Finite Morley Rank

Cherlin, Gregory

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Andreas Baudisch, A New Uncountably Categorical Group

Cherlin, Gregory

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

Project Euclid
Review: Ehud Hrushovski, A New Strongly Minimal Set; Ehud Hrushovski, Strongly Minimal Expansions of Algebraically Closed Fields

Baldwin, John

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

Project Euclid
Interpolation, Preservation, and Pebble Games

Barwise, Jon ; van Benthem, Johan

Text on Project Euclid
PDF
Alt PDF
p. 881-903

Project Euclid
Unification in Intuitionistic Logic

Ghilardi, Silvio

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

Project Euclid
Interpolation and Preservation for Pebble Logics

Baltag, Alexandru

Text on Project Euclid
PDF
Alt PDF
p. 846-858

Project Euclid
Existentially Closed Models of the Theory of Artinian Local Rings

Schoutens, Hans

Text on Project Euclid
PDF
Alt PDF
p. 825-845

Project Euclid
Lascar Strong Types in Some Simple Theories

Buechler, Steven

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

Project Euclid
Stabilite Polynomiale des Corps Differentiels

Portier, Natacha

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

Project Euclid
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic

Okada, Mitsuhiro ; Terui, Kazushige

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

Project Euclid
Generic Expansions of $\omega$-Categorical Structures and Semantics of Generalized Quantifiers

Ivanov, A. A.

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

Project Euclid
Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics

Hirst, Jeffry L.

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

Project Euclid
Equations Generiques dans un Groupe Stable Nilpotent

Jaber, Khaled

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

Project Euclid
Undecidable Relativizations of Algebras of Relations

Mikulas, Szabolcs ; Marx, Maarten

Text on Project Euclid
PDF
Alt PDF
p. 747-760

Project Euclid
On a Class of M.A.D. Families

Zhang, Yi

Text on Project Euclid
PDF
Alt PDF
p. 737-746

Project Euclid
On the Cofinality of Ultrapowers

Blass, Andreas ; Mildenberger, Heike

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

Project Euclid
Unions of Rectifiable Curves in Euclidean Space and the Covering Number of the Meagre Ideal

Steprans, Juris

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

Project Euclid
Common Knowledge Logic and Game Logic

Kaneko, Mamoru

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

Project Euclid
Transfering Saturation, The Finite Cover Property, and Stability

Baldwin, John T. ; Grossberg, Rami ; Shelah, Saharon

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

Project Euclid
A Decidable Variety that is Finitely Undecidable

Jeong, Joohee

Text on Project Euclid
PDF
Alt PDF
p. 651-677

Project Euclid
The Cupping Theorem in R/M

Yuefei, Sui ; Zaiyue, Zhang

Text on Project Euclid
PDF
Alt PDF
p. 643-650

Project Euclid
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C

Hyttinen, Tapani ; Shelah, Saharon

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

Project Euclid
Prime E.C. Commutative Rings in Characteristic $n \geq 2$

Saracino, Dan

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

Project Euclid
Tensor Product and Theories of Modules

Prest, Mike

Text on Project Euclid
PDF
Alt PDF
p. 617-628

Project Euclid
$\Pi^1_3$ Sets and $\Pi^1_3$ Singletons

Hauser, Kai ; Woodin, W. Hugh

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

Project Euclid
Universal Classes of Simple Relation Algebras

Givant, Steven

Text on Project Euclid
PDF
Alt PDF
p. 575-589

Project Euclid
On Non-Wellfounded Iterations of the Perfect Set Forcing

Kanovei, Vladimir

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

Project Euclid
Explicit Mathematics with the Monotone Fixed Point Principle. II: Models

Rathjen, Michael

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

Project Euclid
Generalized Cohesiveness

Hummel, Tamara ; Jockusch, Carl G.

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

Project Euclid
Frege's Theorem in a Constructive Setting

Bell, John L.

Text on Project Euclid
PDF
Alt PDF
p. 486-488

Project Euclid
Cut-Elimination for Simple Type Theory with an Axiom of Choice

Mints, G.

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

Project Euclid
Countable Filters on $\omega$

Spinas, Otmar

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

Project Euclid
A Jump Operator for Subrecursion Theories

Heaton, A. J.

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

Project Euclid
The Largest Countable Inductive Set is a Mouse Set

Rudominer, Mitch

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

Project Euclid
Some Remarks on the Partition Calculus of Ordinals

Komjath, Peter

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

Project Euclid
Anti-Admissible Sets

Lurie, Jacob

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

Project Euclid
Erratum: The Logic of Recursive Equations

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Anil Nerode, Richard A. Shore, Logic for Applications

Bacchus, Fahiem

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

Project Euclid
Review: Michael Sipser, Introduction to the Theory of Computation

Fortnow, Lance

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Raymond M. Smullyan, Melvin Fitting, Set Theory and the Continuum Problem

Cummings, James

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

Project Euclid
[Omnibus Review]

Homer, Steven

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

Project Euclid
Review: Wilfried Sieg, Step by Recursive Step: Church's Analysis of Effective Calculability

Shapiro, Stewart

Text on Project Euclid
PDF
Alt PDF
p. 398-399

Project Euclid
Review: Geoffrey Hellman, Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem; Douglas S. Bridges, Constructive Mathematics and Unbounded Operators -- A Reply to Hellman; Geoffrey Hellman, Quantum Mechanical Unbounded Operators and Constructive Mathematics -- A Rejoinder to Bridges

Kushner, Boris A.

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

Project Euclid
Review: Richard H. Popkin, The Columbia History of Western Philosophy

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Penelope Maddy, Naturalism in Mathematics

Hale, Bob

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

Project Euclid
Review: John P. Burgess, Gideon Rosen, A Subject with no Object. Strategies for Nominalistic Interpretation of Mathematics

Parsons, Charles

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

Project Euclid
Logics Which Capture Complexity Classes Over the Reals

Cucker, Felipe ; Meer, Klaus

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

Project Euclid
The Independence of $\delta^1_n$

Leshem, Amir ; Magidor, Menachem

Text on Project Euclid
PDF
Alt PDF
p. 350-362

Project Euclid
The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength

Avigad, Jeremy ; Sommer, Richard

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

Project Euclid
Uniform Inseparability in Explicit Mathematics

Cantini, Andrea ; Minari, Pierluigi

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

Project Euclid
Intuitionistic Completeness for First Order Classical Logic

Berardi, Stefano

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

Project Euclid
Upper Bounds for Standardizations and an Application

Xi, Hongwei

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

Project Euclid
Deduction Theorems within RM and Its Extensions

Czelakowski, J. ; Dziobiak, W.

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

Project Euclid
Separation and Weak Konig's Lemma

Humphreys, A. James ; Simpson, Stephen G.

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

Project Euclid
Finite Algebras of Relations are Representable on Finite Sets

Andreka, H. ; Hodkinson, I. ; Nemeti, I.

Text on Project Euclid
PDF
Alt PDF
p. 243-267

Project Euclid
Cartesian Isomorphisms are Symmetric Monoidal: A Justification of Linear Logic

Dosen, Kosta ; Petric, Zoran

Text on Project Euclid
PDF
Alt PDF
p. 227-242

Project Euclid
Infinitary Properties of Valued and Ordered Vector Spaces

Kuhlmann, Salma

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

Project Euclid
The Independence of the Prime Ideal Theorem from the Order-Extension Principle

Felgner, U. ; Truss, J. K.

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

Project Euclid
Similar but Not the Same: Various Versions of $\clubsuit$ Do Not Coincide

Dzamonja, Mirna ; Shelah, Saharon

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

Project Euclid
Infinite Imprimitive Homogeneous 3-Edge-Colored Complete Graphs

Cherlin, Gregory L.

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

Project Euclid
Non-Distributive Upper Semilattice of Kleene Degrees

Muraki, Hisato

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

Project Euclid
Successive Weakly Compact or Singular Cardinals

Schindler, Ralf-Dieter

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

Project Euclid
Normal Monomodal Logics Can Simulate All Others

Kracht, Marcus ; Wolter, Frank

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

Project Euclid
An $\mathbb{S}_{max}$ Variation for One Souslin Tree

Larson, Paul

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

Project Euclid
Dominating and Unbounded Free Sets

Solecki, Slawomir ; Spinas, Otmar

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

Project Euclid
On Central Extensions of Algebraic Groups

Altinel, Tuna ; Cherlin, Gregory

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

Project Euclid
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories

Jager, Gerhard ; Kahle, Reinhard ; Setzer, Anton ; Strahm, Thomas

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

Project Euclid
Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1

Downey, Rod ; Jockusch, Carl G.

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

Project Euclid
Rado's Conjecture and Presaturation of the Nonstationary Ideal on $\omega_1$

Feng, Qi

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

Project Euclid
Computably Categorical Structures and Expansions by Constants

Cholak, Peter ; Goncharov, Sergey ; Khoussainov, Bakhadyr ; Shore, Richard A.

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

Project Euclid
On Closed Unbounded Sets Consisting of Former Regulars

Gitik, Moti

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

Project Euclid