Sommaire du Fascicule no. 1

The European Association for Logic, Language, and Computation

van Benthem, J. F. A. K. ; van der Linden, H. J. B. M.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Moti Gitik, Regular Cardinals in Models of $ZF$

Jech, Thomas

Text on Project Euclid
PDF
Alt PDF


Project Euclid
On Defining $C^\infty$

Wilkie, A. J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Conference on Mathematical Logic: Co-Sponsored by the Association for Symbolic Logic, Pasris, 1992

Sabbagh, G.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Joseph R. Shoenfield, Recursion Theory

Lempp, Steffen

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Logic and Linguistics Meeting, Columbus, 1993

Oehrle, Richard

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Consistency of Suslin's Hypothesis, A Nonspecial Aronszajn Tree, and GCH

Schlindwein, Chaz

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

Project Euclid
Consequences of Arithmetic for Set Theory

Halbeisen, Lorenz ; Shelah, Saharon

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

Project Euclid
On the Number of Nonisomorphic Models of Size $|T|$

Chowdhury, Ambar

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

Project Euclid
Diagonals and $\mathscr{D}$-Maximal Sets

Herrmann, Eberhard ; Kummer, Martin

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

Project Euclid
Lower Bounds to the Size of Constant-Depth Propositional Proofs

Krajicek, Jan

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

Project Euclid
Indecidabilite des Corps de Courbe Reelle

Belair, Luc ; Duret, Jean-Louis

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

Project Euclid
Accessible Telephone Directories

Goode, John B.

Text on Project Euclid
PDF
Alt PDF
p. 92-105

Project Euclid
Nonarithmetical $\aleph_0$-Categorical Theories with Recursive Models

Knight, Julia F.

Text on Project Euclid
PDF
Alt PDF
p. 106-112

Project Euclid
On the Strength of Konig's Duality Theorem for Countable Bipartite Graphs

Simpson, Stephen G.

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

Project Euclid
Finitely Constrained Classes of Homogeneous Directed Graphs

Latka, Brenda J.

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

Project Euclid
Torre Models in the Isols

Barback, Joseph

Text on Project Euclid
PDF
Alt PDF
p. 140-150

Project Euclid
Some Remarks on Nonmultidimensional Superstable Theories

Pillay, Anand

Text on Project Euclid
PDF
Alt PDF
p. 151-165

Project Euclid
The Degrees of Conditional Problems

Gao, Su

Text on Project Euclid
PDF
Alt PDF
p. 166-181

Project Euclid
Stationary Reflection and Ideals

Zhang, Shu-Guo

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

Project Euclid
Definable Types in $\mathscr{O}$-Minimal Theories

Marker, David ; Steinhorn, Charles I.

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

Project Euclid
Semilinear Cell Decomposition

Liu, Nianzheng

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

Project Euclid
A Quantitative Analysis of Modal Logic

Fagin, Ronald

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

Project Euclid
On the Degrees of Unsolvability of Modal Predicate Logics of Provability

McGee, Vann

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

Project Euclid
Fragile Measurability

Hamkins, Joel

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

Project Euclid
Schur-Zassenhaus Theorem Revisited

Borovik, Alexandre V. ; Nesin, Ali

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

Project Euclid
The Strength of the Isomorphism Property

Jin, Renling ; Shelah, Saharon

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

Project Euclid
Some Remarks on Openly Generated Boolean Algebras

Fuchino, Sakae

Text on Project Euclid
PDF
Alt PDF
p. 302-310

Project Euclid
Lattice of Algebraically Closed Sets in One-Based Theories

Low, Lee Fong

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

Project Euclid
Hilbert's Program and the Omega-Rule

Ignjatovic, Aleksandar

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

Project Euclid
Spring Meeting of the Association for Symbolic Logic: Toronto, 1993

Thomason, S. K.

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

Project Euclid
Notices

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

Project Euclid
Questions of Decidability and Undecidability in Number Theory

Mazur, B.

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

Project Euclid
Extensions of Hilbert's Tenth Problem

Pheidas, Thanases

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

Project Euclid
Undecidable Semiassociative Relation Algebras

Maddux, Roger D.

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

Project Euclid
Interpolation in Fragments of Classical Linear Logic

Roorda, Dirk

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

Project Euclid
Extender Based Forcings

Gitik, Moti ; Magidor, Menachem

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

Project Euclid
Natural Internal Forcing Schemata Extending ZFC: Truth in the Universe?

Melles, Garvin

Text on Project Euclid
PDF
Alt PDF
p. 461-472

Project Euclid
About Some Symmetries of Negation

Hosli, Brigitte ; Jager, Gerhard

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

Project Euclid
Machine Learning of Higher-Order Programs

Baliga, Ganesh ; Case, John ; Jain, Sanjay ; Suraj, Mandayam

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

Project Euclid
Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory

Malhas, Othman Qasim

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

Project Euclid
Minimal Upper Bounds for Arithmetical Degrees

Kumabe, Masahiro

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

Project Euclid
Normality of a Filter Over a Space of Partitions

Fuller, Mark

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

Project Euclid
A Class of Connected Theories of Order

Stern, Alan S. ; Swierczkowski, Stanislaw S.

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

Project Euclid
Games and Full Completeness for Multiplicative Linear Logic

Abramsky, Samson ; Jagadeesan, Radha

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

Project Euclid
A Note on Defining Groups in Stable Structures

Wagner, Frank O.

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

Project Euclid
On One-Based Theories

Bouscaren, E. ; Hrushovski, E.

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

Project Euclid
A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic

Mundici, Daniele

Text on Project Euclid
PDF
Alt PDF
p. 596-602

Project Euclid
Meager Nowhere-Dense Games (IV): $n$-Tactics

Scheepers, Marion

Text on Project Euclid
PDF
Alt PDF
p. 603-605

Project Euclid
The Genericity Conjecture

Friedman, Sy D.

Text on Project Euclid
PDF
Alt PDF
p. 606-614

Project Euclid
Full Reflection at a Measurable Cardinal

Jech, Thomas ; Witzany, Jiri

Text on Project Euclid
PDF
Alt PDF
p. 615-630

Project Euclid
The Lattice of Varieties of Representable Relation Algebras

Andreka, Hajnal ; Givant, Steven ; Nemeti, Istvan

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

Project Euclid
Ideals of Nowhere Ramsey Sets are Isomorphic

Plewik, Szymon

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

Project Euclid
Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis

Pfeiffer, Helmut

Text on Project Euclid
PDF
Alt PDF
p. 668-670

Project Euclid
Review: Jean E. Rubin, Mathematical Logic: Applications and Theory

Felscher, Walter

Text on Project Euclid
PDF
Alt PDF
p. 670-671

Project Euclid
Review: Wolfgang Balzer, C. Ulises Moulines, Joseph D. Sneed, An Architectonic for Science. The Structuralist Program

da Costa, N. C. A.

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

Project Euclid
Review: Edsger W. Dijkstra, Carel S. Scholten, Predicate Calculus and Program Semantics

Borger, Egon

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

Project Euclid
Review: Andrea Nye, Words of Power. A Feminist Reading of the History of Logic

Weiner, Joan

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

Project Euclid
IX Latin American Symposium on Mathematical Logic: Bahia Blanca, 1992

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

Project Euclid
Annual Meeting of the Association for Symbolic Logic: Notre Dame, 1993

Buechler, Steven

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

Project Euclid
Winter Meeting of the Association for Symbolic Logic: San Antonio, 1993

Lempp, Steffen

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

Project Euclid
The Fifth Asian Logic Conference: Singapore, June 14-17, 1993

Chong, Chi Tat

Text on Project Euclid
PDF
Alt PDF
p. 730-732

Project Euclid
Notices: The Bulletin of Symbolic Logic: Call for Papers

Text on Project Euclid
PDF
Alt PDF
p. 733-735

Project Euclid
On Godel's Theorems on Lengths of Proofs I: Number of Lines and Speedup for Arithmetics

Buss, Samuel R.

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

Project Euclid
The Topological Vaught's Conjecture and Minimal Counterexamples

Becker, Howard

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

Project Euclid
A Small Reflection Principle for Bounded Arithmetic

Verbrugge, Rineke ; Visser, Albert

Text on Project Euclid
PDF
Alt PDF
p. 785-812

Project Euclid
More About Relatively Lawless Sequences

Moschovakis, Joan Rand

Text on Project Euclid
PDF
Alt PDF
p. 813-829

Project Euclid
A Logic for Approximate Reasoning

Ying, Mingsheng

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

Project Euclid
Finitely Axiomatizable $\aleph_1$ Categorical Theories

Hrushovski, Ehud

Text on Project Euclid
PDF
Alt PDF
p. 838-844

Project Euclid
Kernel Contraction

Hansson, Sven Ove

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

Project Euclid
Chains and Antichains in Interval Algebras

Bekkali, M.

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

Project Euclid
Almost Weakly 2-Generic Sets

Fenner, Stephen A.

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

Project Euclid
A Modal View of Linear Logic

Martini, Simone ; Masini, Andrea

Text on Project Euclid
PDF
Alt PDF
p. 888-899

Project Euclid
On Reduction Properties

Kikyo, Hirotaka ; Tsuboi, Akito

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

Project Euclid
Connections between Axioms of Set Theory and Basic Theorems of Universal Algebra

Andreka, H. ; Kurucz, A. ; Nemeti, I.

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

Project Euclid
Bisimulations and Predicate Logic

Fernando, Tim

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

Project Euclid
A Functorial Property of the Aczel-Buchholz-Feferman Function

Weiermann, Andreas

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

Project Euclid
$\omega^\ast_1$ as an Initial Segment of the $c$-Degrees

Groszek, Marcia

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

Project Euclid
Models of Arithmetic and Upper Bounds for Arithmetic Sets

Lachlan, Alistair H. ; Soare, Robert I.

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

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

Hyttinen, Tapani ; Shelah, Saharon

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

Project Euclid
Combinatorics on Ideals and Axiom A

Sharp, James D.

Text on Project Euclid
PDF
Alt PDF
p. 997-1000

Project Euclid
A Feasible Theory for Analysis

Ferreira, Fernando

Text on Project Euclid
PDF
Alt PDF
p. 1001-1011

Project Euclid
Flat Sets

Grainger, Arthur D.

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

Project Euclid
Covering Analytic Sets by Families of Closed Sets

Solecki, Slawomir

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

Project Euclid
A Guide to Truth Predicates in the Modern Era

Sheard, Michael

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

Project Euclid
On a Generalization of Distributivity

Kanai, Yasuo

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

Project Euclid
Diophantine Equivalence and Countable Rings

Shlapentokh, Alexandra

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

Project Euclid
Jensen's $\Sigma^\ast$ Theory and the Combinatorial Content of $V = L$

Friedman, Sy D.

Text on Project Euclid
PDF
Alt PDF
p. 1096-1104

Project Euclid
Review: Michael D. Resnik, Proof as a Source of Truth

Auerbach, David

Text on Project Euclid
PDF
Alt PDF
p. 1105-1107

Project Euclid
Review: R. Hinnion, L'Anti-Fondation en Logique et en Theorie des Ensembles; , A Propos de l'Anti-Fondation

Lunnon, R.

Text on Project Euclid
PDF
Alt PDF
p. 1107-1108

Project Euclid
Review: Guo-Qiang Zhang, Logic of Domains

Droste, Manfred

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

Project Euclid
Review: Marianne Winslett, Updating Logical Databases

Mints, Grigori

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

Project Euclid
Notices

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

Project Euclid
Boolean Algebras, Stone Spaces, and the Iterated Turing Jump

Jockusch, Carl G. ; Soare, Robert I.

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

Project Euclid
On First-Order Theories with Provability Operator

Artemov, Sergei ; Montagna, Franco

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

Project Euclid
A Modified Sentence Unprovable in $\mathbf{PA}$

Gordeev, L.

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

Project Euclid
The Consistency Strength of an Infinitary Ramsey Property

Kafkoulis, George

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

Project Euclid
Possible Behaviours for the Mitchell Ordering II

Cummings, James

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

Project Euclid
Strictly Primitive Recursive Realizability, I

Damnjanovic, Zlatan

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

Project Euclid
The Critical Number of a Variable in a Function

Takeuti, Gaisi

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

Project Euclid
A Partial Model of $\mathbf{NF}$ with E

Prati, N.

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

Project Euclid
Hereditary Undecidability of Some Theories of Finite Structures

Willard, Ross

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

Project Euclid
Subformula Property in Many-Valued Modal Logics

Takano, Mitio

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

Project Euclid
Grzegorcyk's Hierarchy and $Iep\Sigma_1$

Takeuti, Gaisi

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

Project Euclid
On the Number of Models of Uncountable Theories

Chowdhury, Ambar ; Pillay, Anand

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

Project Euclid
Effective Versions of Ramsey's Theorem: Avoiding the Cone Above $\mathbf{0}$'

Hummel, Tamara Lakins

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

Project Euclid
Initial Segments of the Lattice of Ideals of R.E. Degrees

Weber, Frank P.

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

Project Euclid
Scott Heights of Abelian Groups

Nadel, Mark E.

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

Project Euclid
Embedding Lattices into the $wtt$-Degrees Below 0'

Downey, Rod ; Haught, Christine

Text on Project Euclid
PDF
Alt PDF
p. 1360-1382

Project Euclid
Mixed Systems

Ash, C. J. ; Knight, J. F.

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

Project Euclid
Definability of Types, and Pairs of O-Minimal Structures

Pillay, Anand

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

Project Euclid
On Countable Fractions from an Elementary Class

Ash, C. J.

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

Project Euclid
On the Incompleteness Theorems

Kotlarski, Henryk

Text on Project Euclid
PDF
Alt PDF
p. 1414-1419

Project Euclid
Characterising Subsets of $\omega_1$ Constructible from a Real

Welch, P. D.

Text on Project Euclid
PDF
Alt PDF
p. 1420-1432

Project Euclid
Review: Michiel Van Lambalgen, Independence, Randomness and the Axiom of Choice

Simms, John C.

Text on Project Euclid
PDF
Alt PDF
p. 1433-1434

Project Euclid
Review: Boris Trakhtenbrot, Comparing the Church and Turing Approaches: Two Prophetical Messages

Longo, Giuseppe

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

Project Euclid
Review: Jose Luis Balcazar, Joseph Diaz, Joaquim Gabarro, Structural Complexity I; Jose Luis Balcazar, Josep Diaz, Joaquim Gabarro, Structural Complexity II

Allender, Eric

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

Project Euclid
Review: Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle, Automated Reasoning. Introduction and Applications

Shankar, Natarajan

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

Project Euclid
Review: Gerard Huet, Logical Foundations of Functional Programming

Meinke, Karl

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

Project Euclid
Review: Keith Devlin, The Joy of Sets. Fundamentals of Contemporary Set Theory

Enderton, H. B.

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

Project Euclid
1993 Annual Meeting of the Australasian Association for Logic, Adelaide, Australia, July 9-11, 1993

Bunder, Martin

Text on Project Euclid
PDF
Alt PDF
p. 1443-1449

Project Euclid
Association for Symbolic Logic

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

Project Euclid
Notices

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

Project Euclid