Sommaire du Fascicule no. 1

Special Selection in Logic in Computer Science

Vardi, Moshe Y.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: W. O. Quine, O Sentido da Nova Logica

da Costa, N. C. A.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
More on Imaginaries in $p$-Adic Fields

Scowcroft, Philip

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

Project Euclid
$T$-Convexity and Tame Extensions II

Dries, Lou Van Den

Text on Project Euclid
PDF
Alt PDF
p. 14-34

Project Euclid
Splitting Number at Uncountable Cardinals

Zapletal, Jindrich

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

Project Euclid
Cardinal Functions on Ultraproducts of Boolean Algebras

Peterson, Douglas

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

Project Euclid
Une Correspondance Entre Anneaux Partiels et Groupes

Simonetta, Patrick

Text on Project Euclid
PDF
Alt PDF
p. 60-78

Project Euclid
Undecidability in Diagonalizable Algebras

Shavrukov, V. Yu.

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

Project Euclid
Ideals and Combinatorial Principles

Burke, Douglas ; Matsubara, Yo

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

Project Euclid
The Theory of Integer Multiplication with Order Restricted to Primes is Decidable

Maurin, Francoise

Text on Project Euclid
PDF
Alt PDF
p. 123-130

Project Euclid
Completeness and Decidability of Tense Logics Closely Related to Logics Above K4

Wolter, Frank

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

Project Euclid
$\forall$-Free Metabelian Groups

Chapuis, Olivier

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

Project Euclid
A Very Weak Square Principle

Foreman, Matthew ; Magidor, Menachem

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

Project Euclid
The Combinatorics of the Splitting Theorem

Kontostathis, Kyriakos

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

Project Euclid
Step by Step-Building Representations in Algebraic Logic

Hirsch, Robin ; Hodkinson, Ian

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

Project Euclid
Small Forcings and Cohen Reals

Zapletal, Jindrich

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

Project Euclid
Analytic Cell Decomposition and the Closure of $p$-Adic Semianalytic Sets

Liu, Nianzheng

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

Project Euclid
Asymptotic Probabilities for Second-Order Existential Kahr-Moore-Wang Sentences

Vedo, Anne

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

Project Euclid
Review: Arnold W. Miller, Descriptive Set Theory and Forcing. How to Prove Theorems about Borel Sets the Hard Way

Bartoszynski, Tomek

Text on Project Euclid
PDF
Alt PDF
p. 320-321

Project Euclid
Review: Tomek Bartoszynski, Haim Judah, Set Theory. On the Structure of the Real Line

Komjath, Peter

Text on Project Euclid
PDF
Alt PDF
p. 321-323

Project Euclid
Review: Bruno Poizat, Les Petits Cailloux. Une Approche Modele-Theorique de L'algorithmie

de Rougemont, Michel

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

Project Euclid
Review: Heikki Mannila, Kari-Jouko Raiha, The Design of Relational Databases; Serge Abiteboul, Richard Hull, Victor Vianu, Foundations of Databases; Paris C. Kanellakis, Jan van Leeuwen, Elements of Relational Database Theory

Makowsky, J. A.

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

Project Euclid
Review: Paul Horwich, Truth; Marian David, Correspondence and Disquotation. An Essay on the Nature of Truth

Grover, Dorothy

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

Project Euclid
[Omnibus Review]

Bricker, Phillip

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

Project Euclid
Review: Ellery Eells, Brian Skyrms, Probability and Conditionals, Belief Revision and Rational Decision

Koons, Robert C.

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

Project Euclid
Some Applications of Coarse Inner Model Theory

Hjorth, Greg

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

Project Euclid
A Characterization of Martin's Axiom in Terms of Absoluteness

Bagaria, Joan

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

Project Euclid
Canonical Seeds and Prikry Trees

Hamkins, Joel David

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

Project Euclid
Generalized Nonsplitting in the Recursively Enumerable Degrees

Leonhardi, Steven D.

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

Project Euclid
The Dense Linear Ordering Principle

Pincus, David

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

Project Euclid
Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic

Krajicek, Jan

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

Project Euclid
Remarks on Galois Cohomology and Definability

Pillay, Anand

Text on Project Euclid
PDF
Alt PDF
p. 487-492

Project Euclid
Definability in Functional Analysis

Iovino, Jose

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

Project Euclid
Completeness of Global Intuitionistic Set Theory

Titani, Satoko

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

Project Euclid
On the Complexity of Propositional Quantification in Intuitionistic Logic

Kremer, Philip

Text on Project Euclid
PDF
Alt PDF
p. 529-544

Project Euclid
Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures

Gottlob, Georg

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

Project Euclid
Polynomial Time Operations in Explicit Mathematics

Strahm, Thomas

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

Project Euclid
Louveau's Theorem for the Descriptive Set Theory of Internal Sets

Schilling, Kenneth ; Zivaljevic, Bosko

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

Project Euclid
Infinitary Logics and Very Sparse Random Graphs

Lynch, James F.

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

Project Euclid
The Order Types of Termination Orderings on Monadic Terms, Strings and Monadic Terms, Strings and Multisets

Martin, Ursula ; Scott, Elizabeth

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

Project Euclid
On the Unification Problem for Cartesian Closed Categories

Narendran, Paliath ; Pfenning, Frank ; Statman, Richard

Text on Project Euclid
PDF
Alt PDF
p. 636-647

Project Euclid
Product-Free Lambek Calculus and Context-Free Grammars

Pentus, Mati

Text on Project Euclid
PDF
Alt PDF
p. 648-660

Project Euclid
$y = 2x$ vs. $y = 3x$

Stolboushkin, Alexei ; Niwinski, Damian

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

Project Euclid
Review: Roger Penrose, Shadows of the Mind. A Search for the Missing Science of Consciousness

Odifreddi, Piergiorgio

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

Project Euclid
Review: Yuri V. Matiyasevich, Martin Davis, Hilbert's Tenth Problem

Dimitracopoulos, C.

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

Project Euclid
Review: Yu. V. Matiyasevich, Desyataya Problema Gil'berta; Christos H. Papadimitriou, Computational Complexity

Immerman, Neil

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

Project Euclid
Review: Jean-Yves Girard, Yves Lafont, Laurent Regnier, Advances in Linear Logic

Dimitracopoulos, C. ; Miller, Dale

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

Project Euclid
[Omnibus Review]

Goldstern, Martin

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

Project Euclid
[Omnibus Review]

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

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

Project Euclid
Review: Norman M. Martin, Stephen Pollard, Closure Spaces and Logic

Bloom, Stephen L.

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

Project Euclid
Review: Albert Visser, A Course on Bimodal Provability Logic

Montagna, Franco

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

Project Euclid
Review: Jan von Plato, The Axioms of Constructive Geometry

Rautenberg, Wolfgang

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

Project Euclid
Minimal Invariant Spaces in Formal Topology

Coquand, Thierry

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

Project Euclid
Finitary Sketches

Adamek, J. ; Johnstone, P. T. ; Makowsky, J. A. ; Rosicky, J.

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

Project Euclid
Lower Bounds for Cutting Planes Proofs with Small Coefficients

Bonet, Maria ; Pitassi, Toniann ; Raz, Ran

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

Project Euclid
Compact Bracket Abstraction in Combinatory Logic

Broda, Sabine ; Damas, Luis

Text on Project Euclid
PDF
Alt PDF
p. 729-740

Project Euclid
Precipitous Towers of Normal Filters

Burke, Douglas R.

Text on Project Euclid
PDF
Alt PDF
p. 741-754

Project Euclid
A New Deconstructive Logic: Linear Logic

Danos, Vincent ; Joinet, Jean-Baptiste ; Schellinx, Harold

Text on Project Euclid
PDF
Alt PDF
p. 755-807

Project Euclid
Coding without Fine Structure

Friedman, Sy D.

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

Project Euclid
Complete Representations in Algebraic Logic

Hirsch, Robin ; Hodkinson, Ian

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

Project Euclid
Peano Arithmetic May Not be Interpretable in the Monadic Theory of Linear Orders

Lifsches, Shmuel ; Shelah, Saharon

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

Project Euclid
The Forth Part of the Back and Forth Map in Countable Homogeneous Structures

Mcleish, S. J.

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

Project Euclid
Accessible Categories, Saturation and Categoricity

Rosicky, Jiri

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

Project Euclid
The Cofinality Spectrum of the Infinite Symmetric Group

Shelah, Saharon ; Thomas, Simon

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

Project Euclid
Decidability of Scott's Model as an Ordered $\mathbb{Q}$-Vectorspace

Erdelyi-Szabo, Miklos

Text on Project Euclid
PDF
Alt PDF
p. 917-924

Project Euclid
Counting Finite Models

Woods, Alan R.

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

Project Euclid
Canonical Formulas for K4. Part III: The Finite Model Property

Zakharyaschev, Michael

Text on Project Euclid
PDF
Alt PDF
p. 950-975

Project Euclid
Rothberger's Property and Partition Relations

Scheepers, Marion

Text on Project Euclid
PDF
Alt PDF
p. 976-980

Project Euclid
Lower Bounds for Resolution and Cutting Plane Proofs and Monotone Computations

Pudlak, Pavel

Text on Project Euclid
PDF
Alt PDF
p. 981-998

Project Euclid
Undefinability of $\kappa$-Well-Orderings in $L_{\infty\kappa}$

Oikkonen, Juha

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

Project Euclid
A Logical Presentation of the Continuous Functionals

Palmgren, Erik ; Stoltenberg-Hansen, Viggo

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

Project Euclid
Review: Saharon Shelah, Cardinal Arithmetic

Kanamori, Akihiro

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

Project Euclid
Review: Jon Barwise, Lawrence Moss, Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena

Boffa, M.

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

Project Euclid
Review: Theodore Hailperin, Sentential Probability Logic. Origins, Development, Current Status, and Technical Applications

Burgess, John P.

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

Project Euclid
Review: Isaac Levi, For the Sake of the Argument. Ramsey Test Conditionals, Inductive Inference, and Nonmonotic Reasoning

Rosenkrantz, R. D.

Text on Project Euclid
PDF
Alt PDF
p. 1041-1043

Project Euclid
Review: Peter Ohrstrom, Per F. V. Hasle, Temporal Logic. From Ancient Ideas to Artificial Intelligence

Montanari, Angelo ; Policriti, Alberto

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

Project Euclid
Review: Martin Davis, Solvability, Provability, Definability: The Collected Works of Emil L. Post

Enderton, H. B.

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

Project Euclid
[Omnibus Review]

Downey, Rod

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

Project Euclid
Defining Relevant Implication in a Propositionally Quantified S4

Kremer, Philip

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

Project Euclid
Amalgamations Preserving $\aleph_0$-Categoricity

Pillay, Anand ; Tsuboi, Akito

Text on Project Euclid
PDF
Alt PDF
p. 1070-1074

Project Euclid
A Version of $o$-Minimality for the $p$-Adics

Haskell, Deirdre ; Macpherson, Dugald

Text on Project Euclid
PDF
Alt PDF
p. 1075-1092

Project Euclid
Prototypes for Definable Subsets of Algebraically Closed Valued Fields

Holly, Jan E.

Text on Project Euclid
PDF
Alt PDF
p. 1093-1141

Project Euclid
Power Types in Explicit Mathematics?

Jager, Gerhard

Text on Project Euclid
PDF
Alt PDF
p. 1142-1146

Project Euclid
How Connected is the Intuitionistic Continuum?

van Dalen, Dirk

Text on Project Euclid
PDF
Alt PDF
p. 1147-1150

Project Euclid
The Consistency of $\mathrm{ZFC} + 2^{\aleph_0} > \aleph_\omega + \mathscr{J}(\aleph_2) = \mathscr{J}(\aleph_\omega)$

Gilchrist, Martin ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1151-1160

Project Euclid
The Entire NS Ideal on $\mathscr{P}_\gamma \mu$ can be Precipitous

Goldring, Noa

Text on Project Euclid
PDF
Alt PDF
p. 1161-1172

Project Euclid
Nondefinability Results for Expansions of the Field of Real Numbers by the Exponential Function and by the Restricted Sine Function

Bianconi, Ricardo

Text on Project Euclid
PDF
Alt PDF
p. 1173-1178

Project Euclid
Non-Constructive Galois-Tukey Connections

Mildenberger, Heike

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

Project Euclid
The Structure of Intrinsic Complexity of Learning

Jain, Sanjay ; Sharma, Arun

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

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

Lafont, Yves

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

Project Euclid
A Sufficient Condition for Completability of Partial Combinatory Algebras

Asperti, Andrea ; Ciabattoni, Agata

Text on Project Euclid
PDF
Alt PDF
p. 1209-1214

Project Euclid
Contiguity and Distributivity in the Enumerable Turing Degrees

Downey, Rodney G. ; Lempp, Steffen

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

Project Euclid
Type Two Cuts, Bad Cuts and Very Bad Cuts

Jin, Renling

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

Project Euclid
Variations on a Game of Gale (III): Remainder Strategies

Scheepers, Marion ; Weiss, William

Text on Project Euclid
PDF
Alt PDF
p. 1253-1264

Project Euclid
Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories

Bell, J. L.

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

Project Euclid
Undecidable Extensions of Buchi Arithmetic and Cobham-Semenov Theorem

Bes, Alexis

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

Project Euclid
Simple Forcing Notions and Forcing Axioms

Roslanowski, Andrzej ; Shelah, Saharon

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

Project Euclid
Tychonoff's Theorem in the Framework of Formal Topologies

Negri, Sara ; Valentini, Silvio

Text on Project Euclid
PDF
Alt PDF
p. 1315-1332

Project Euclid
An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model

Kanovei, Vladimir

Text on Project Euclid
PDF
Alt PDF
p. 1333-1351

Project Euclid
Scientific Discovery Based on Belief Revision

Martin, Eric ; Osherson, Daniel

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

Project Euclid
The Complexity of the Modal Predicate Logic of "True in Every Transitive Model of ZF"

McGee, Vann

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

Project Euclid
$\underset{\tilde}{\Delta}^1_n$ Sets of Reals

Bagaria, Joan ; Woodin, W. Hugh

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

Project Euclid
Wildness Implies Undecidability for Lattices over Group Rings

Toffalori, Carlo

Text on Project Euclid
PDF
Alt PDF
p. 1429-1447

Project Euclid
Minimal Models of Heyting Arithmetic

Moerdijk, Ieke ; Palmgren, Erik

Text on Project Euclid
PDF
Alt PDF
p. 1448-1460

Project Euclid
Proofs of Strong Normalisation for Second Order Classical Natural Deduction

Parigot, Michel

Text on Project Euclid
PDF
Alt PDF
p. 1461-1479

Project Euclid
Review: Samuel R. Buss, The Undecidability of $k$-Provability

Carbone, Alessandra

Text on Project Euclid
PDF
Alt PDF
p. 1480-1481

Project Euclid
Review: J. Denef, L. van den Dries, $p$-Adic and real Subanalytic Sets

Haskell, Deirdre

Text on Project Euclid
PDF
Alt PDF
p. 1481-1483

Project Euclid
Review: G. E. Hughes, M. J. Cresswell, A New Introduction to Modal Logic

Zakharyaschev, Michael

Text on Project Euclid
PDF
Alt PDF
p. 1483-1484

Project Euclid
Review: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, Reasoning about Knowledge

Parikh, Rohit

Text on Project Euclid
PDF
Alt PDF
p. 1484-1487

Project Euclid
Review: G. Crocco, L. Farinas del Cerro, A. Herzig, Conditionals: From Philosophy to Computer Science

Cross, Charles B. ; Nute, Donald

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

Project Euclid
Review: Alexander S. Kechris, Classical Descriptive Set Theory

Mauldin, R. Daniel

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

Project Euclid
Review: William J. Mitchell, John R. Steel, Fine Structure and Iteration Trees

Welch, P. D.

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

Project Euclid
Review: Yiannis N. Moschovakis, Notes on Set Theory

Hamkins, Joel David

Text on Project Euclid
PDF
Alt PDF
p. 1493-1494

Project Euclid
Review: James L. Hein, Discrete Structures, Logic, and Computability

Alves, Carlos

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

Project Euclid
Index of Reviews: Volumes 61-62 1996-1997

Text on Project Euclid
PDF
Alt PDF
p. 1497-1504

Project Euclid