Sommaire

Notices

Text on Project Euclid
PDF
Alt PDF
p. 1543-1544

Project Euclid
Association for Symbolic Logic

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

Project Euclid
Annual Meeting of the Australasian Association for Logic: Sydney, August 24-25, 1991

Text on Project Euclid
PDF
Alt PDF
p. 1500-1503

Project Euclid
Logic and Linguistics Meeting: Santa Cruz, 1991

Barwise, Jon ; Ladusaw, William ; ter Meulen, Alice ; Oehrle, Richard ; Thomason, Richmond

Text on Project Euclid
PDF
Alt PDF
p. 1498-1499

Project Euclid
Review: Stephen Simpson, Logic and Combinatorics

Clote, P.

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

Project Euclid
Review: Ker-I Ko, Complexity Theory of Real Functions

Malajovich, G.

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

Project Euclid
Review: Andrew B. Carson, Model Completions, Ring Representation and the Topology of the Pierce Sheaf

Bunge, Marta

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Thomas Drucker, Perspectives on the History of Mathematical Logic

Shapiro, Steward

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

Project Euclid
Review: A. T. Shearman, The Development of Symbolic Logic. A Critical-Historical Study of the Logical Calculus

Dipert, Randall R.

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

Project Euclid
Review: Jean-Blaise Grize, Logique Moderne

Gasser, James

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

Project Euclid
Review: Sybil Wolfram, Philosophical Logic. An Introduction

Lauer, Henle

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

Project Euclid
Review: Arnon Avron, Relevance and Paraconsistency--A New Approach; Arnon Avron, Relevance and Paraconsistency--A New Approach. Part II: The Formal Systems; Arnon Avron, Relevance and Paraconsistency--A New Approach. Part III: Cut-Free Gentzen-Type Systems

Urquhart, Alasdair

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

Project Euclid
Review: Peter Gardenfors, Knowledge in Flux. Modeling the Dynamics of Epistemic States; Carlos E. Alchourron, Peter Gardenfors, David Makinson, On the Logic of Theory Change: Partial Meet Contraction and Revision Functions

Fuhrmann, Andre

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

Project Euclid
Review: Solomon Feferman, Foundational Ways; Solomon Feferman, Working Foundations

Chiara, Maria Luisa Dalla

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

Project Euclid
On the Schur-Zassenhaus Theorem for Groups of Finite Morley Rank

Borovik, Alexandre V. ; Nesin, Ali

Text on Project Euclid
PDF
Alt PDF
p. 1469-1477

Project Euclid
Ramsey Sets, the Ramsey Ideal, and Other Classes Over $\mathbf{R}$

Corazza, Paul

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

Project Euclid
Relational Proof System for Relevant Logics

Orlowska, Ewa

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

Project Euclid
The Continuum and First-Order Intuitionistic Logic

Dalen, D. Van

Text on Project Euclid
PDF
Alt PDF
p. 1417-1424

Project Euclid
Singular $\sigma$-Dense Trees

Landver, Avner

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

Project Euclid
Canonical Formulas for $K4$. Part I: Basic Results

Zakharyaschev, Michael

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

Project Euclid
Stratified Languages

Petry, A.

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

Project Euclid
Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics

Gabbay, Dov M. ; de Queiroz, Ruy J. G. B.

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

Project Euclid
On Boolean Algebras and Integrally Closed Commutative Regular Rings

Nagayama, Misao

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

Project Euclid
Independence, Randomness and the Axiom of Choice

van Lambalgen, Michiel

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

Project Euclid
Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization

Kohlenbach, Ulrich

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

Project Euclid
The McKinsey Axiom is Not Compact

Wang, Xiaoping

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

Project Euclid
Relation Algebras of Every Dimension

Maddux, Roger D.

Text on Project Euclid
PDF
Alt PDF
p. 1213-1229

Project Euclid
There is no Sharp Transitivity on $q^6$ when $q$ is a Type of Morley Rank 2

Gropp, Ursula

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

Project Euclid
Nonmonotonic Consequence Based on Intuitionistic Logic

Servi, Gisele Fischer

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

Project Euclid
Forcing Disabled

Stanley, M. C.

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

Project Euclid
Notices

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

Project Euclid
Review: Edward N. Zalta, Intensional Logic and the Metaphysics of Intentionality

Menzel, Christopher

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

Project Euclid
Review: Michael Moortgat, Categorical Investigations. Logical and Linguistic Aspects of the Lambek Calculus

Lambek, J.

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

Project Euclid
Review: Ketan Mulmuley, Full Abstraction and Semantic Equivalence

Curien, P.-L.

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

Project Euclid
Review: Leo Bachmair, Canonical Equational Proofs

Pedersen, John

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

Project Euclid
Review: Lothar Kreiser, Nichtklassiche Logik, Eine Einfuhrung

Schmitt, P. H.

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

Project Euclid
Review: Johan van Benthem, The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

Kuhn, Steven T.

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

Project Euclid
Review: Sy D. Friedman, The $\Pi^1_2$-Singleton Conjecture

Stanley, M. C.

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

Project Euclid
Review: Donald A. Martin, John R. Steel, Projective Determinacy; W. Hugh Woodin, Supercompact Cardinals, Sets of Reals, and Weakly Homogeneous Trees; Donald A. Martin, John R. Steel, A Proof of Projective Determinacy

Foreman, Matthew D.

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

Project Euclid
Review: M. Foreman, M. Magidor, S. Shelah, Martin's Maximum, Saturated Ideals, and Non-Regular Ultrafilters. Part I

Velickovic, Boban

Text on Project Euclid
PDF
Alt PDF
p. 1131-1132

Project Euclid
The Existential Theory of the Poset of R.E. Degrees with a Predicate for Single Jump Reducibility

Lempp, Steffen ; Lerman, Manuel

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

Project Euclid
About the Proof-Theoretic Ordinals of Weak Fixed Point Theories

Jager, Gerhard ; Primo, Barbara

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

Project Euclid
Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing

Landver, Avner

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

Project Euclid
Prime Numbers and Factorization in $\mathrm{IE}_1$ and Weaker Systems

Smith, Stuart T.

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

Project Euclid
1-Reducibility Inside an $m$-Degree with Maximal Set

Hermann, E.

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

Project Euclid
What is an Inference Rule?

Fagin, Ronald ; Halpern, Joseph Y. ; Vardi, Moshe Y.

Text on Project Euclid
PDF
Alt PDF
p. 1018-1045

Project Euclid
A Theorem on the Isomorphism Property

Jin, Renling

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

Project Euclid
Countable Structures of Given Age

MacPherson, H. D. ; Pouzet, M. ; Woodrow, R. E.

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

Project Euclid
On Decidable Varieties of Heyting Algebras

Dubhashi, Devdatt P.

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

Project Euclid
The Isomorphism Property Versus the Special Model Axiom

Jin, Renling

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

Project Euclid
Saturated Ideals and the Singular Cardinal Hypothesis

Matsubara, Yo

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

Project Euclid
A Proof-Theoretic Characterization of the Primitive Recursive Set Functions

Rathjen, Michael

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

Project Euclid
A Characterization of $\mathbf{ML}$ in Many-Sorted Arithmetic with Conditional Application

Swaen, M. D. G.

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

Project Euclid
Rules of Inference with Parameters for Intuitionistic Logic

Rybakov, Vladimir V.

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

Project Euclid
Recursion Theory in a Lower Semilattice

Feldman, Alex

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

Project Euclid
Nonexistence of Universal Orders in Many Cardinals

Kojman, Menachem ; Shelah, Saharon

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

Project Euclid
The Theory of the Recursively Enumerable Weak Truth-Table Degrees is Undecidable

Ambos-Spies, Klaus ; Nies, Andre ; Shore, Richard A.

Text on Project Euclid
PDF
Alt PDF
p. 864-874

Project Euclid
Polynomially and Superexponentially Shorter Proofs in Fragments of Arithmetic

Montagna, Franco

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

Project Euclid
Non-Finite-Axiomatizability Results in Algebraic Logic

Biro, Balazs

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

Project Euclid
Whither Relevant Arithmetic?

Friedman, Harvey ; Meyer, Robert K.

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

Project Euclid
Equivalence Elementaire et Isomorphisme des Corps de Courbe sur un Corps Algebriquement Clos

Duret, Jean-Louis

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

Project Euclid
Contraction-Free Sequent Calculi for Intuitionistic Logic

Dyckhoff, Roy

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

Project Euclid
A Structure Theorem for Semibounded Sets in the Reals

Peterzil, Ya'acov

Text on Project Euclid
PDF
Alt PDF
p. 779-794

Project Euclid
Filters on the Space of Partitions $Q_\kappa(\lambda)$

Mendez, Gisela M.

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

Project Euclid
Notices

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

Project Euclid
[Omnibus Review]

Nyikos, Peter J.

Text on Project Euclid
PDF
Alt PDF
p. 763-766

Project Euclid
Review: Ehud Hrushovski, Unidimensional Theories are Superstable; Ehud Hrushovski, Almost Orthogonal Regular Types

Wagner, Frank

Text on Project Euclid
PDF
Alt PDF
p. 762-763

Project Euclid
Review: Gerald E. Sacks, Higher Recursion Theory

Normann, Dag

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

Project Euclid
Review: R. E. Davis, Truth, Deduction, and Computation. Logic and Semantics for Computer Science

Goodman, Nicolas D.

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

Project Euclid
Review: Jan Paredaens, Paul De Bra, Marc Gyssens, Dirk Van Gucht, The Structure of the Relational Database Model

Makowsky, J. A.

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

Project Euclid
Review: William A. Dembski, Randomness by Design

van Lambalgen, Michael

Text on Project Euclid
PDF
Alt PDF
p. 758-759

Project Euclid
Review: Clark Glymour, Discussion: Hypothetico-Deductivism is Hopeless; C. Kenneth Waters, Relevance Logic Brings Hope to Hypothetico-Deductivism; Thomas R. Grimes, Discussion: Truth, Content, and the Hypothetico-Deductive Method

Skyrms, Brian

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

Project Euclid
Review: Dirk van Dalen, Intuitionistic Logic; Walter Felscher, Dialogues as a Foundation for Intuitionistic Logic

Posy, Carl J.

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

Project Euclid
Review: Maria Luisa Dalla Chiara, Quantum Logic

Hughes, R. I. G.

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

Project Euclid
Review: J. Michael Dunn, Relevance Logic and Entailment

Deutsch, Harry

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

Project Euclid
Review: Penelope Maddy, Realism in Mathematics

Hale, Bob

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

Project Euclid
Annual Meeting of the Society for Exact Philosophy: Co-Sponsored by the Association for Symbolic Logic, Victoria, British Columbia, Canada, May 23- 26, 1991

Morgan, Charles G.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Standard Foundations for Nonstandard Analysis

Ballard, David ; Hrbacek, Karel

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

Project Euclid
Four Concepts from "Geometrical" Stability Theory in Modules

Kucera, T. G. ; Prest, M.

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

Project Euclid
Imaginary Modules

Kucera, T. G. ; Prest, M.

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

Project Euclid
On Sets $\forall$-Definable From Pfaffian Functions

Bianconi, Ricardo

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

Project Euclid
Frequency Computations and the Cardinality Theorem

Harizanov, Valentina ; Kummer, Martin ; Owings, Jim

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

Project Euclid
A Proof of Beigel's Cardinality Conjecture

Kummer, Martin

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

Project Euclid
Embeddability of Ptykes

Girard, Jean-Yves ; Normann, Dag

Text on Project Euclid
PDF
Alt PDF
p. 659-676

Project Euclid
A Model and Its Subset

Newelski, Ludomir

Text on Project Euclid
PDF
Alt PDF
p. 644-658

Project Euclid
Combinatorics on Large Cardinals

E., Carlos H. Montenegro

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

Project Euclid
A Sharp Version of the Bounded Matijasevich Conjecture and the End- Extension Problem

Adamowicz, Zofia

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

Project Euclid
The Density of the Meet-Inaccessible R.E. Degrees

Qinglong, Zhang

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

Project Euclid
The Modal Logic of Inequality

de Rijke, Maarten

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

Project Euclid
Continuity Properties in Constructive Mathematics

Ishihara, Hajime

Text on Project Euclid
PDF
Alt PDF
p. 557-565

Project Euclid
Failure of Cartesian Closedness in NF

McLarty, Colin

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

Project Euclid
A Propos E'Equations Generiques

Wagner, Frank O.

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

Project Euclid
Adding Dominating Reals With $\omega^\omega$ Bounding Posets

Pawlikowski, Janusz

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

Project Euclid
$U$-Monad Topologies of Hyperfinite Time Lines

Jin, Renling

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

Project Euclid
$U$-Lusin Sets in Hyperfinite Time Lines

Jin, Renling

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

Project Euclid
Cuts in Hyperfinite Time Lines

Jin, Renling

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

Project Euclid
Theories of Modules Closed Under Direct Products

Villemaire, Roger

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

Project Euclid
$\aleph_0$-Categorical Tree-Decomposable Structures

Lachlan, A. H.

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

Project Euclid
A Spector-Gandy Theorem for $\mathrm{cPC}_d(\mathbb{A})$ Classes

Lavine, Shaughan

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

Project Euclid
Provably Total Functions of Intuitionistic Bounded Arithmetic

Harnik, Victor

Text on Project Euclid
PDF
Alt PDF
p. 466-477

Project Euclid
A Note on a Result of Kunen and Pelletier

Barbanel, Julius B.

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

Project Euclid
On Expandability of Models of Peano Arithmetic to Models of the Alternative Set Theory

Tzouvaras, Athanassios

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

Project Euclid
On the Ring of Differentially-Algebraic Entire Functions

Rubel, Lee A.

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

Project Euclid
The Beth-Closure of $\mathscr{L}(Q_\alpha)$ is Not Finitely Generated

Hella, Lauri ; Luosto, Kerkko

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

Project Euclid
Descriptive Set Theory and Harmonic Analysis

Kechris, A. S. ; Louveau, A.

Text on Project Euclid
PDF
Alt PDF
p. 413-441

Project Euclid
Kolmogorov and Mathematical Logic

Uspensky, Vladimir A.

Text on Project Euclid
PDF
Alt PDF
p. 385-412

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 383-384

Project Euclid
Eighth Latin American Symposium on Mathematical Logic

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

Project Euclid
Spring Meeting of the Association for Symbolic Logic

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

Project Euclid
Annual Meeting of the Association for Symbolic Logic

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

Project Euclid
Corrections: To the Logic Colloquium '90 (Helsinki) Abstracts

Text on Project Euclid
PDF
Alt PDF


Project Euclid
European Summer Meeting of the Association for Symbolic Logic

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

Project Euclid
Review: Philippe Smets, Abe Mamdani, Didier Dubois, Henri Prade, Non-Standard Logics for Automated Reasoning

Morgan, Charles G.

Text on Project Euclid
PDF
Alt PDF
p. 277-281

Project Euclid
Review: Michael Gelfond, Vladimir Lifschitz, Robert A. Kowalski, Kenneth A. Bowen, The Stable Model Semantics for Logic Programming; Kit Fine, Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen, The Justification of Negation as Failure

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF
p. 274-277

Project Euclid
Review: Bengt Nordstrom, Kent Petersson, Jan M. Smith, Programming in Martin-Lof's Type Theory. An Introduction

Mitchell, John C.

Text on Project Euclid
PDF
Alt PDF
p. 272-274

Project Euclid
Review: Barbara H. Partee, Alice ter Meulen, Robert E. Wall, Mathematical Methods in Linguistics

Moss, Lawrence S.

Text on Project Euclid
PDF
Alt PDF
p. 271-272

Project Euclid
Review: Ivan Rival, The Role of Graphs in the Theory of Ordered Sets and Its Applications

Downey, R.

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

Project Euclid
Review: Ralph N. McKenzie, George F. McNulty, Walter F. Taylor, Algebras, Lattices, Varieties

Berman, Joel

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

Project Euclid
Review: A. Louveau, A. S. Kechris, D. A. Martin, Y. N. Moschovakis, Some Results in the Wadge Hierarchy of Borel Sets; A. Louveau, J. Saint Raymond, Borel Classes and Closed Games: Wadge-type and Hurewicz-Type Results; Alain Louveau, Jean Saint Raymond, A. S. Kechris, D. A. Martin, J. R. Steel, The Strength of Borel Wadge Determinacy

Lubarsky, Robert S.

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

Project Euclid
Review: Donald A. Martin, A. S. Kechris, D. A. Martin, Y. N. Moschovakis, The Largest Countable this, that, and the other; Alexander S. Kechris, Donald A. Martin, Robert M. Solovay, Introduction to $Q$-Theory; Steve Jackson, A. S. Kechris, D. A. Martin, J. R. Steel, AD and the Projective Ordinals

Friedman, Sy D.

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

Project Euclid
[Omnibus Review]

Jech, Thomas

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

Project Euclid
Review: W. Hugh Woodin, A. S. Kechris, D. A. Martin, Y. N. Moschavokis, Ad and the Uniqueness of the Supercompact Measures on $P\omega_1 (\lambda)$; W. Hugh Woodin, Some Consistency Results in ZFC using AD; Alexander S. Kechris, D. A. Martin, J. R. Steel, Subsets of $\aleph_1$ Constructible from a Real

Blass, Andreas

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

Project Euclid
Review: John T. Baldwin, Fundamentals of Stability Theory

Pillay, Anand

Text on Project Euclid
PDF
Alt PDF
p. 258-259

Project Euclid
Review: Joan Weiner, Frege in Perspective

Dummett, Michael

Text on Project Euclid
PDF
Alt PDF
p. 255-258

Project Euclid
Review: John Etchemendy, The Concept of Logical Consequence

McGee, Vann

Text on Project Euclid
PDF
Alt PDF
p. 254-255

Project Euclid
Review: Jon Barwise, John Etchemendy, The Liar. An Essay on Truth and Circularity

Martin, Donald A.

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

Project Euclid
Les Automorphismes D'un Ensemble Fortement Minimal

Lascar, Daniel

Text on Project Euclid
PDF
Alt PDF
p. 238-251

Project Euclid
Automorphism Properties of Stationary Logic

Otto, Martin

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

Project Euclid
Lambek's Categorical Proof Theory and Lauchli's Abstract Realizability

Harnik, Victor ; Makkai, Michael

Text on Project Euclid
PDF
Alt PDF
p. 200-230

Project Euclid
Modules with Regular Generic Types. Part IV

Herzog, Ivo ; Rothmaler, Philipp

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

Project Euclid
Undecidability of the Identity Problem for Finite Semigroups

Albert, Douglas ; Baldinger, Robert ; Rhodes, John

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

Project Euclid
Lusin-Sierpinski Index for the Internal Sets

Zivaljevic, Bosko

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

Project Euclid
On a Topological Construction of Juhasz and Shelah

Velleman, Dan

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

Project Euclid
An Inside View of Exp; or, The Closed Fragment of the Provability Logic of $I\Delta_0 + \Omega_1$ with a Propositional Constant for $\operatorname{Exp}$

Visser, Albert

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

Project Euclid
Functions and Functionals on Finite Systems

Lo, Libo

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

Project Euclid
Additive Reducts of Real Closed Fields

Marker, David ; Peterzil, Ya'Acov ; Pillay, Anand

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

Project Euclid
Superstable Differential Fields

Pillay, A. ; Sokolovic, Z.

Text on Project Euclid
PDF
Alt PDF
p. 97-108

Project Euclid
A Recursion Principle for Linear Orderings

Oikkonen, Juha

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

Project Euclid
Learning Via Queries in $\lbrack +, < \rbrack$

Gasarch, William I. ; Pleszkoch, Mark G. ; Solovay, Robert

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

Project Euclid
On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic

Pitts, Andrew M.

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

Project Euclid
An Intuitionistic Proof of Tychonoff's Theorem

Coquand, Thierry

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

Project Euclid
Local Behaviour of the Chebyshev Theorem in Models of $I\Delta_0$

D'Aquino, Paola

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

Project Euclid
Arithmetic Definability by Formulas with Two Quantifiers

Tung, Shih Ping

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

Project Euclid