Sommaire

Review: Jaakko Hintikka, The Principles of Mathematics Revisited

Hodes, Harold

Text on Project Euclid
PDF
Alt PDF
p. 1615-1623

Project Euclid
Review: G. Y. Sher, Partially-Ordered (Branching) Generalized Quantifiers: A General Definition

Westerstahl, Dag

Text on Project Euclid
PDF
Alt PDF
p. 1614-1615

Project Euclid
Review: Jon Barwise, On Branching Quantifiers in English; Dag Westerstahl, Peter Gardenfors, Branching Generalized Quantifiers and Natural Language. Generalized Quantifiers, Linguistic and Logical Approaches; Gila Sher, Ways of Branching Quantifiers

Hand, Michael

Text on Project Euclid
PDF
Alt PDF
p. 1611-1614

Project Euclid
Review: Christopher Gauker, Universal Instantiation: A Study of the Role of Context in Logic

Szabo, Zoltan Gendler

Text on Project Euclid
PDF
Alt PDF
p. 1610-1611

Project Euclid
Review: Philippe Besnard, An Introduction to Default Logic

Marek, V. Wiktor

Text on Project Euclid
PDF
Alt PDF
p. 1608-1610

Project Euclid
Review: Per Lindstrom, Aspects of Incompleteness

Beklemishev, Lev

Text on Project Euclid
PDF
Alt PDF
p. 1606-1608

Project Euclid
Review: A. S. Troelstra, H. Schwichtenberg, Basic Proof Theory

Dyckhoff, Roy

Text on Project Euclid
PDF
Alt PDF
p. 1605-1606

Project Euclid
Review: Howard Becker, Alexander S. Kechris, The Descriptive Set Theory of Polish Group Actions

Ramsay, Arlan

Text on Project Euclid
PDF
Alt PDF
p. 1604-1605

Project Euclid
Review: Paul Halmos, Steven Givant, Logic as Algebra

Comer, Stephen D.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: J. H. Conway, On Numbers and Games

Lurie, Jacob

Text on Project Euclid
PDF
Alt PDF
p. 1602-1604

Project Euclid
[Omnibus Review]

Demopoulos, William

Text on Project Euclid
PDF
Alt PDF
p. 1598-1602

Project Euclid
Correction to "T-Convexity and Tame Extensions II"

Dries, Lou Van Den

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Discretely Ordered Modules as a First-Order Extension of the Cutting Planes Proof System

Krajicek, Jan

Text on Project Euclid
PDF
Alt PDF
p. 1582-1596

Project Euclid
The Determinacy of Blackwell Games

Martin, Donald A.

Text on Project Euclid
PDF
Alt PDF
p. 1565-1581

Project Euclid
Rectangular Games

Venema, Yde

Text on Project Euclid
PDF
Alt PDF
p. 1549-1564

Project Euclid
The Interpretation of Unsolvable $\lambda$-Terms in Models of Untyped $\lambda$-Calculus

Kerth, Rainer

Text on Project Euclid
PDF
Alt PDF
p. 1529-1548

Project Euclid
Weakly O-Minimal Structures and Some of Their Properties

Kulpeshov, B. Sh.

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

Project Euclid
Large Cardinals and Large Dilators

Lewis, Andy

Text on Project Euclid
PDF
Alt PDF
p. 1496-1510

Project Euclid
CM-Triviality and Stable Groups

Wagner, Frank O.

Text on Project Euclid
PDF
Alt PDF
p. 1473-1495

Project Euclid
Quantifier Elimination for Neocompact Sets

Keisler, H. Jerome

Text on Project Euclid
PDF
Alt PDF
p. 1442-1472

Project Euclid
Preserving $\sigma$-Ideals

Zapletal, Jindrich

Text on Project Euclid
PDF
Alt PDF
p. 1437-1441

Project Euclid
The Shuffle Hopf Algebra and Noncommutative Full Completeness

Blute, R. F. ; Scott, P. J.

Text on Project Euclid
PDF
Alt PDF
p. 1413-1436

Project Euclid
The Least Measurable Can Be Strongly Compact and Indestructible

Apter, Arthur W. ; Gitik, Moti

Text on Project Euclid
PDF
Alt PDF
p. 1404-1412

Project Euclid
Foundation versus Induction in Kripke-Platek Set Theory

Zambella, Domenico

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

Project Euclid
The Complexity of the Core Model

Mitchell, William J.

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

Project Euclid
Compactness of Loeb Spaces

Jin, Renling ; Shelah, Saharon

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

Project Euclid
How is It That Infinitary Methods can be Applied to Finitary Mathematics? Godel's T: A Case Study

Weiermann, Andreas

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

Project Euclid
Bounding Minimal Degrees by Computably Enumerable Degrees

Li, Angsheng ; Yang, Dongping

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

Project Euclid
Invisible Genericity and 0$^{\sharp}$

Stanley, M. C.

Text on Project Euclid
PDF
Alt PDF
p. 1297-1318

Project Euclid
Termination and Confluence in Infinitary Term Rewriting

Rodenburg, P. H.

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

Project Euclid
Equivalence Elementaire et Decidabilite pour des Structures du Type Groupe Agissant sur un Groupe Abelien

Simonetta, Patrick

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

Project Euclid
Filtral Powers of Structures

Ouwehand, P. ; Rose, H.

Text on Project Euclid
PDF
Alt PDF
p. 1239-1254

Project Euclid
Relative Constructivity

Kohlenbach, Ulrich

Text on Project Euclid
PDF
Alt PDF
p. 1218-1238

Project Euclid
The Cylindric Algebras of Three-Valued Logic

Feldman, Norman

Text on Project Euclid
PDF
Alt PDF
p. 1201-1217

Project Euclid
[Omnibus Review]

Fallis, Don

Text on Project Euclid
PDF
Alt PDF
p. 1196-1200

Project Euclid
Review: Maria Manzano, Extensions of First Order Logic

Venema, Yde

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

Project Euclid
Review: Krzysztof Ciesielski, Set Theory for the Working Mathematician

Just, Winfried

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

Project Euclid
Review: Miodrag Raskovic, Radosav Dordevic, Probability Quantifiers and Operators

Keisler, H. Jerome

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

Project Euclid
Review: Sergei S. Goncharov, Schetnye bulevy algebry i razreshimost'. Russian Original of the Preceding; Anand Pillay, Geometric Stability Theory

Zil'Ber, Boris

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Sergei S. Goncharov, Countable Boolean Algebras and Decidability

Harizanov, Valentina

Text on Project Euclid
PDF
Alt PDF
p. 1188-1190

Project Euclid
Review: Murray Shanahan, Solving the Frame Problem. A Mathematical Investigation of the Common Sense Law of Inertia

Gelfond, Michael

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

Project Euclid
Review: Kosta Dosen, Deductive Completeness

Lambek, J.

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

Project Euclid
Review: Wolfram Pohlers, Pure Proof Theory. Aims, Methods and Results

Mints, G.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
[Omnibus Review]

Kyburg, Henry

Text on Project Euclid
PDF
Alt PDF
p. 1183-1184

Project Euclid
Review: W. D. Hart, The Philosophy of Mathematics

Hale, Bob

Text on Project Euclid
PDF
Alt PDF
p. 1180-1183

Project Euclid
[Omnibus Review]

Marion, Mathieu

Text on Project Euclid
PDF
Alt PDF
p. 1177-1180

Project Euclid
Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem

Koepke, Peter

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

Project Euclid
Chains of End Elementary Extensions of Models of Set Theory

Villaveces, Andres

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

Project Euclid
Witnessing Functions in Bounded Arithmetic and Search Problems

Chiari, Mario ; Krajicek, Jan

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

Project Euclid
Kolmogorov Complexity and Symmetric Relational Structures

Fouche, W. L. ; Potgieter, P. H.

Text on Project Euclid
PDF
Alt PDF
p. 1083-1094

Project Euclid
Completions of PA: Models and Enumerations of Representable Sets

McAllister, Alex M.

Text on Project Euclid
PDF
Alt PDF
p. 1063-1082

Project Euclid
On the Existence of Strong Chains in $\wp(\omega_1)$/Fin

Koszmider, Piotr

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

Project Euclid
Ideals Over $\omega$ and Cardinal Invariants of the Continuum

Matet, P. ; Pawlikowski, J.

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

Project Euclid
Proof Systems for Probabilistic Uncertain Reasoning

Paris, J. ; Vencovska, A.

Text on Project Euclid
PDF
Alt PDF
p. 1007-1039

Project Euclid
Nowhere Precipitousness of Some Ideals

Matsubara, Yo ; Shioya, Masahiro

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

Project Euclid
Small Fields

Wagner, Frank O.

Text on Project Euclid
PDF
Alt PDF
p. 995-1002

Project Euclid
The Fine Structure of Real Mice

Cunningham, Daniel W.

Text on Project Euclid
PDF
Alt PDF
p. 937-994

Project Euclid
A Note on Lascar Strong Types in Simple Theories

Kim, Byunghan

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

Project Euclid
Variations on a Theme by Weiermann

Arai, Toshiyasu

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

Project Euclid
On Automorphism Groups of Countable Structures

Gao, Su

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

Project Euclid
Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory Logic

Dekkers, Wil ; Bunder, Martin ; Barendregt, Henk

Text on Project Euclid
PDF
Alt PDF
p. 869-890

Project Euclid
Forcing on Bounded Arithmetic II

Takeuti, Gaisi ; Yasumoto, Masahiro

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

Project Euclid
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening

Avron, A.

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

Project Euclid
Automorphisms Moving all Non-Algebraic Points and an Application to NF

Korner, Friederike

Text on Project Euclid
PDF
Alt PDF
p. 815-830

Project Euclid
$\Sigma_2$ Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator

Chong, C. T. ; Yang, Yue

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

Project Euclid
Definability and Definable Groups in Simple Theories

Pillay, Anand

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

Project Euclid
Higher Gap Morasses, IA: Gap-Two Morasses and Condensation

Morgan, Charles

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

Project Euclid
Review: Luis E. Sanchis, Set Theory -- An Operational Approach

Mayberry, J. P.

Text on Project Euclid
PDF
Alt PDF
p. 751-752

Project Euclid
Review: S. Todorchevich, I. Farah, Some Applications of the Method of Forcing

Feng, Qi

Text on Project Euclid
PDF
Alt PDF
p. 750-751

Project Euclid
Review: L. A. Harrington, A. S. Kechris, A. Louveau, A Glimm-Effros Dichotomy for Borel Equivalence Relations

Hjorth, Greg

Text on Project Euclid
PDF
Alt PDF
p. 749-750

Project Euclid
Review: Richard Lassaigne, Michel de Rougemont, Logique et complexite

Therien, Denis

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Yuri L. Ershov, Definability and Computability

Soskov, Ivan

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

Project Euclid
Review: David Marker, Introduction to the Model Theory of Fields

Chatzidakis, Zoe

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

Project Euclid
Review: Ehud Hrushovski, The Mordell-Lang Conjecture for Function Fields

Marker, David E.

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

Project Euclid
A Note on Valuation Definable Expansions of Fields

Haskell, Deirdre ; Macpherson, Dugald

Text on Project Euclid
PDF
Alt PDF
p. 739-743

Project Euclid
Frege Proof System and TNC$^\circ$

Takeuti, Gaisi

Text on Project Euclid
PDF
Alt PDF
p. 709-738

Project Euclid
A Many Permutation Group Result for Unstable Theories

Schlatter, Mark D.

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

Project Euclid
An Absoluteness Principle for Borel Sets

Hjorth, Greg

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

Project Euclid
Ultrafilters which Extend Measures

Benedikt, Michael

Text on Project Euclid
PDF
Alt PDF
p. 638-662

Project Euclid
Relational Semantics and a Relational Proof System for Full Lambek Calculus

MacCaull, Wendy

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

Project Euclid
On the Computational Content of the Axiom of Choice

Berardi, Stefano ; Bezem, Marc ; Coquand, Thierry

Text on Project Euclid
PDF
Alt PDF
p. 600-622

Project Euclid
Changing Cardinal Invariants of the Reals without Changing Cardinals or the Reals

Mildenberger, Heike

Text on Project Euclid
PDF
Alt PDF
p. 593-599

Project Euclid
The Rudin-Blass Ordering of Ultrafilters

Laflamme, Claude ; Zhu, Jian-Ping

Text on Project Euclid
PDF
Alt PDF
p. 584-592

Project Euclid
Sequentially Continuous Linear Mappings in Constructive Analysis

Bridges, Douglas ; Mines, Ray

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

Project Euclid
Paires De Structures O-Minimales

Baisalov, Yerzhan ; Poizat, Bruno

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

Project Euclid
A Strong Version of Herbrand's Theorem for Introvert Sentences

Langholm, Tore

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

Project Euclid
Superdestructibility: A Dual to Laver's Indestructibility

Hamkins, Joel David ; Shelah, Saharon

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

Project Euclid
Some Two-Cardinal Results for O-Minimal Theories

Bays, Timothy

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

Project Euclid
Explicit Mathematics with the Monotone Fixed Point Principle

Rathjen, Michael

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

Project Euclid
There are 2$^\aleph\circ$ Many almost Strongly Minimal Generalized n-Gons that do not Interpret and Infinite Group

Debonis, Mark J. ; Nesin, Ali

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

Project Euclid
Amalgamation in Relation Algebras

Marx, Maarten

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

Project Euclid
The Logic of Recursive Equations

Hurkens, A. J. C. ; McArthur, Monica ; Moschovakis, Yiannis N. ; Moss, Lawrence S. ; Whitney, Glen T.

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

Project Euclid
The Representation Theories of Elementarily Equivalent Rings

Prest, Mike

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

Project Euclid
DOP and FCP in Generic Structures

Baldwin, John T. ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 427-438

Project Euclid
On Minimal Structures

Belegradek, Oleg V.

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

Project Euclid
Relative Enumerability in the Difference Hierarchy

Arslanov, Marat M. ; Laforte, Geoffrey L. ; Slaman, Theodore A.

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

Project Euclid
Solving Pell Equations Locally in Models of I$\Delta_0$

D'Aquino, Paola

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

Project Euclid
Undecidable Extensions of Skolem Arithmetic

Bes, Alexis ; Richard, Denis

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

Project Euclid
Definability and Descent

Ballard, David ; Boshuck, William

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

Project Euclid
The Effective Content of Surreal Algebra

Lurie, Jacob

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

Project Euclid
Review: Maarten Marx, Laszlo Polos, Michael Masuch, Arrow Logic and Multi-Modal Logic

Maddux, Roger

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

Project Euclid
Review: George Boole, Ivor Grattan-Guinness, Gerard Bornet, Selected Manuscripts on Logic and Its Philosophy

Hailperin, Theodore

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

Project Euclid
Review: Pascal Michel, Busy Beaver Competition and Collatz-Like Problems

Brady, Allen H.

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

Project Euclid
Review: Martin Otto, Bounded Variable Logics and Counting. A Study in Finite Models

Dawar, Anuj

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

Project Euclid
Review: Andrea Cantini, Logical Frameworks for Truth and Abstraction. An Axiomatic Study

Strahm, Thomas

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

Project Euclid
Review: John R. Steel, The Core Model Iterability Problem

Schimmerling, Ernest

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

Project Euclid
Review: Steven Buechler, Essential Stability Theory

Laskowski, Michael C.

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

Project Euclid
The Algebraic Sum of Sets of Real Numbers with Strong Measure Zero Sets

Nowik, Andrej ; Scheepers, Marion ; Weiss, Tomasz

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

Project Euclid
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic

Polacik, Tomasz

Text on Project Euclid
PDF
Alt PDF
p. 269-300

Project Euclid
Vanishing Borel Sets

Schilling, Kenneth

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

Project Euclid
Extensional Quotients for Type Theory and the Consistency Problem for NF

Antonelli, Gian Aldo

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

Project Euclid
Undecidable Wreath Products and Skew Power Series Fields

Delon, Francoise ; Simonetta, Patrick

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

Project Euclid
Pseudo-Superstructures as Nonstandard Universes

Nasso, Mauro Di

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

Project Euclid
On Effective Topological Spaces

Spreen, Dieter

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

Project Euclid
Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras

Andreka, Hajnal ; Goldblatt, Robert ; Nemeti, Istvan

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

Project Euclid
Generic Saturation

Friedman, Sy D.

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

Project Euclid
Laver Indestructibility and the Class of Compact Cardinals

Apter, Arthur W.

Text on Project Euclid
PDF
Alt PDF
p. 149-157

Project Euclid
Ideals without CCC

Balcerzak, Marek ; Roslanowski, Andrzej ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 128-148

Project Euclid
Uniformization and Skolem Functions in the Class of Trees

Lifsches, Shmuel ; Shelah, Saharon

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

Project Euclid
Supplements of Bounded Permutation Groups

Bigelow, Stephen

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

Project Euclid
One-Dimensional Fibers of Rigid Subanalytic Sets

Lipshitz, L. ; Robinson, Z.

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

Project Euclid
On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic

Eiter, Thomas ; Gottlob, Georg

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

Project Euclid
Models of Arithmetic and Subuniform Bounds for the Arithmetic Sets

Lachlan, Alistair H. ; Soare, Robert I.

Text on Project Euclid
PDF
Alt PDF
p. 59-72

Project Euclid
Small Forcing Makes any Cardinal Superdestructible

Hamkins, Joel David

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

Project Euclid
More on an Undecidability Result of Bateman, Jockusch and Woods

Boffa, M.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Orthogonal Families of Real Sequences

Miller, Arnold W. ; Steprans, Juris

Text on Project Euclid
PDF
Alt PDF
p. 29-49

Project Euclid
Codable Sets and Orbits of Computably Enumerable Sets

Harrington, Leo ; Soare, Robert I.

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

Project Euclid