Sommaire du Fascicule no. 1

Review: Henry E. Kyburg, Theory and Measurement

Suppes, Patrick

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Richmond H. Thomason, Paradoxes and Semantic Representation

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Ronald Fagin, Moshe Y. Vardi, Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Richard E. Ladner, John H. Reif, The Logic of Distributed Protocols (Preliminary Report)

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Cynthia Dwork, Yoram Moses, Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Nicholas M. Asher, Johan A. W. Kamp, The Knower's Paradox and Representational Theories of Attitudes

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Stanley J. Rosenschein, Leslie Pack Kaelbling, The Synthesis of Digital Machines with Provable Epistemic Properties

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Edward N. Zalta, Abstract Objects. An Introduction to Axiomatic Metaphysics

Byrd, Michael

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: B. C. Moszkowski, Executing Temporal Logic Programs

Halpern, Joseph Y.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Christophe Geissler, Kurt Konolige, A Resolution Method for Quantified Modal Logics of Knowledge and Belief

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Gerhard Lakemeyer, Steps Towards a First-Order Logic of Explicit and Implicit Belief

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Melvin Fitting, Computability Theory, Semantics, and Logic Programming

Shepherdson, J. C.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Moshe Y. Vardi, On Epistemic Logic and Logical Omniscience

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Joao P. Martins, Stuart C. Shapiro, Theoretical Foundations for Belief Revision

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Gordon Plotkin, Colin Stirling, A Framework for Intuitionistic Modal Logics

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Alfred Tarski's Work in Set Theory

Levy, Azriel

Text on Project Euclid
PDF
Alt PDF
p. 2-6

Project Euclid
Alfred Tarski's Elimination Theory for Real Closed Fields

van den Dries, Lou

Text on Project Euclid
PDF
Alt PDF
p. 7-19

Project Euclid
Alfred Tarski and Decidable Theories

Doner, John ; Hodges, Wilfrid

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

Project Euclid
Alfred Tarski's Work on General Metamathematics

Blok, W. J. ; Pigozzi, Don

Text on Project Euclid
PDF
Alt PDF
p. 36-50

Project Euclid
Tarski on Truth and Logical Consequence

Etchemendy, John

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

Project Euclid
Philosophical Implications of Tarski's Work

Suppes, Patrick

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

Project Euclid
Seminormal $\lambda$-Generated Ideals on $P_\kappa\lambda$

Johnson, C. A.

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

Project Euclid
Correction to "Simple R. E. Degree Structures"

Lubarsky, Robert S.

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

Project Euclid
Equalization of Finite Flowers

Berardi, Stefano

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

Project Euclid
MM. Borel, Tits, Zil'ber et le General Nonsense

Poizat, Bruno

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

Project Euclid
Missionary Mathematics

Poizat, Bruno

Text on Project Euclid
PDF
Alt PDF
p. 132-145

Project Euclid
Vaught's Conjecture for o-Minimal Theories

Mayer, Laura L.

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

Project Euclid
Boolean Simple Groups and Boolean Simple Rings

Takeuti, Gaisi

Text on Project Euclid
PDF
Alt PDF
p. 160-173

Project Euclid
A High Strongly Noncappable Degree

Lempp, Steffen

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

Project Euclid
Definability in Reducts of Algebraically Closed Fields

Martin, Gary A.

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

Project Euclid
On a Theory of Weak Implications

Okada, Mitsuhiro

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

Project Euclid
$\Sigma_2$-Collection and the Infinite Injury Priority Method

Mytilinaios, Michael E. ; Slaman, Theodore A.

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

Project Euclid
Relational Structures Determined by Their Finite Induced Substructures

Hodkinson, I. M. ; Macpherson, H. D.

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

Project Euclid
A Downward Lowenheim-Skolem Theorem for Infinitary Theories which have the Unsuperstability Property

Grossberg, Rami

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

Project Euclid
Finite Automata, Real Time Processes and Counting Problems in Bounded Arithmetics

Kutylowski, Miroslaw

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

Project Euclid
Initial Segments of $\triangle^1_{2n + 1}$-Degrees

Kastanas, Ilias G.

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

Project Euclid
Generalizations of Deissler's Minimality Rank

Kucera, T. G.

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

Project Euclid
Positive Deissler Rank and the Complexity of Injective Modules

Kucera, T. G.

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

Project Euclid
On Ultracoproducts of Compact Hausdorff Spaces

Gurevic, R.

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

Project Euclid
Review: W. V. Quine, The Time of My Life. An Autobiography

Davidson, Donald

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

Project Euclid
Review: W. V. Quine, Philosophy of Logic

Jubien, Michael

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

Project Euclid
Review: Kit Fine, Reasoning with Arbitrary Objects

Macnamara, John

Text on Project Euclid
PDF
Alt PDF
p. 305-306

Project Euclid
Review: C. Smorynski, Self-Reference and Modal Logic

Boolos, George

Text on Project Euclid
PDF
Alt PDF
p. 306-309

Project Euclid
Review: Charles N. Delzell, Note on Quantifier Prefixes Over Diophantine Equations; J. P. Jones, H. Levitz, A. J. Wilkie, Classification of Quantifier Prefixes over Exponential Diophantine Equations

Tung, Shih Ping

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

Project Euclid
Review: Paul Erdos, Andras Hajnal, Attila Mate, Richard Rado, Combinatorial Set Theory: Partition Relations for Cardinals

Williams, Neil H.

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

Project Euclid
Review: Peter B. Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Yasuhara, M.

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

Project Euclid
Review: John Macnamara, A Border Dispute. The Place of Logic in Psychology

Garfield, Jay L.

Text on Project Euclid
PDF
Alt PDF
p. 314-317

Project Euclid
Review: E. M. Barth, R. T. P. Wiche, Problems, Functions and Semantic Roles. A Pragmatists' Analysis of Montague's Theory of Sentence Meaning

Abbott, Barbara

Text on Project Euclid
PDF
Alt PDF
p. 317-318

Project Euclid
Review: Leila Haaparanta, Jaakko Hintikka, Frege synthesized, Essays on the philosophical and foundational work of Gottlob Frege

Martin, Edwin

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

Project Euclid
Review: Charles Parsons, Mathematics in Philosophy, Selected Essays

Shapiro, Stewart

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

Project Euclid
Meeting of the Association for Symbolic Logic: Auckland, 1986

Segerberg, Krister

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

Project Euclid
Notices

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

Project Euclid
Hilbert's Program Sixty Years Later

Sieg, Wilfried

Text on Project Euclid
PDF
Alt PDF
p. 338-348

Project Euclid
Partial Realizations of Hilbert's Program

Simpson, Stephen G.

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

Project Euclid
Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions

Feferman, Solomon

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

Project Euclid
Splitting $P_\kappa\lambda$ into Stationary Subsets

Matsubara, Yo

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

Project Euclid
Addendum to "The Truth is Never Simple"

Burgess, John P.

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

Project Euclid
Strong Measure Zero Sets and Rapid Filters

Ihoda, Jaime I.

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

Project Euclid
Finite and Finitely Separable Intermediate Propositional Logics

Bellissima, Fabio

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

Project Euclid
Extensions Separees et Immediates de Corps Values

Delon, Francoise

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

Project Euclid
Where Ma First Fails

Kunen, Kenneth

Text on Project Euclid
PDF
Alt PDF
p. 429-433

Project Euclid
Des Belles Paires aux Beaux Uples

Bouscaren, Elisabeth ; Poizat, Bruno

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

Project Euclid
On Infinite Series of Infinite Isols

Barback, Joseph

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

Project Euclid
Quantifier Elimination in Separably Closed Fields of Finite Imperfectness Degree

Haran, Dan

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

Project Euclid
Algebraic Extensions in Nonstandard Models and Hilbert's Irreducibility Theorem

Yasumoto, Masahiro

Text on Project Euclid
PDF
Alt PDF
p. 470-480

Project Euclid
Believing the Axioms. I

Maddy, Penelope

Text on Project Euclid
PDF
Alt PDF
p. 481-511

Project Euclid
Uncountable Theories that are Categorical in a Higher Power

Laskowski, Michael Chris

Text on Project Euclid
PDF
Alt PDF
p. 512-530

Project Euclid
Decidable Discrete Linear Orders

Moses, M.

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

Project Euclid
Some Filters of Partitions

Matet, Pierre

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

Project Euclid
Uniqueness, Definability and Interpolation

Dosen, Kosta ; Schroeder-Heister, Peter

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

Project Euclid
Existentially Closed Algebras and Boolean Products

Riedel, Herbert H. J.

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

Project Euclid
A Proofless Proof of the Barwise Compactness Theorem

Howard, Mark

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

Project Euclid
Complete Local Rings as Domains

Stoltenberg-Hansen, V. ; Tucker, J. V.

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

Project Euclid
The Classification of Small Weakly Minimal Sets. II

Buechler, Steven

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

Project Euclid
$\Sigma^1_2$-Sets of Reals

Ihoda, Jaime I.

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

Project Euclid
Review: Saunders Mac Lane, Mathematics: Form and Function

Maddy, Penelope

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

Project Euclid
Review: Rosemarie Rheinwald, Der Formalismus und seine Grenzen. Untersuchungen zur Neueren Philosophie der Mathematik; Hartry Field, Is Mathematical Knowledge Just Logical Knowledge?

Wagner, Steven J.

Text on Project Euclid
PDF
Alt PDF
p. 645-646

Project Euclid
Review: J. Philip Miller, Numbers in Presence and Absence: A Study of Husserl's Philosophy of Mathematics; Roger Schmit, Husserls Philosophie der Mathematik. Platonistische und Konstruktivistische Momente in Husserls Mathematikbegriff

Tragesser, Robert

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

Project Euclid
Review: Rachel Wallace Garden, Modern Logic and Quantum Mechanics

Urquhart, Alasdair

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

Project Euclid
Review: Detlef Laugwitz, Zahlen und Kontinuum. Eine Einfuhrung in die Infinitesimalmathematik

Osswald, H.

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

Project Euclid
Review: D. H. Fremlin, Consequences of Martin's Axiom

Weiss, William

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

Project Euclid
Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part II

Maddux, Roger D.

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

Project Euclid
Review: Harry C. Bunt, Mass Terms and Model-Theoretic Semantics

Bricker, Phillip

Text on Project Euclid
PDF
Alt PDF
p. 653-656

Project Euclid
Review: Fred Landman, Towards a Theory of Information, The Status of Partial Objects in Semantics

Fenstad, Jens Erik ; Langholm, Tore

Text on Project Euclid
PDF
Alt PDF
p. 656-657

Project Euclid
Review: Steven E. Boer, William G. Lycan, Knowing Who

Soames, Scott

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

Project Euclid
Review: John Haugeland, Artificial Intelligence: The Very Idea

Pohl, Ira

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

Project Euclid
Review: Joseph Y. Halpern, Reasoning About Knowledge: An Overview

Rapaport, William J.

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

Project Euclid
Review: Brian Cantwell Smith, Varieties of Self-Reference

Rapaport, William J.

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

Project Euclid
Review: Fred Landman, Pegs and Alecs

Rapaport, William J.

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

Project Euclid
Review: Jaakko Hintikka, Reasoning about Knowledge in Philosophy: The Paradigm of Epistemic Logic

Rapaport, William J.

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

Project Euclid
Review: Leora Morgenstern, A First Order Theory of Planning, Knowledge, and Action

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF
p. 664-665

Project Euclid
Review: Jim des Rivieres, Hector J. Levesque, The Consistency of Syntactical Treatments of Knowledge

Rapaport, William J.

Text on Project Euclid
PDF
Alt PDF
p. 665-666

Project Euclid
Review: Kurt Konolige, What Awareness Isn't: A Sentential View of Implicit and Explicit Belief

Rapaport, William J.

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

Project Euclid
Review: Raymond M. Smullyan, Logicians who Reason about Themselves

Rapaport, William J.

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

Project Euclid
[Omnibus Review]

Rapaport, William J.

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

Project Euclid
Notices

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

Project Euclid
A Normalization Theorem for Set Theory

Bailin, Sidney C.

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

Project Euclid
Forcing Constructions for Uncountably Chromatic Graphs

Komjath, Peter ; Shelah, Saharon

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

Project Euclid
A Characterization of Jump Operators

Becker, Howard

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

Project Euclid
Decidability Problem for Finite Heyting Algebras

Idziak, Katarzyna ; Idziak, Pawel M.

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

Project Euclid
Believing the Axioms. II

Maddy, Penelope

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

Project Euclid
Cardinality Logics. Part II: Definability in Languages Based on `Exactly'

Hodes, Harold

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

Project Euclid
On Topological Spaces Equivalent to Ordinals

Flum, Jorg ; Martinez, Juan Carlos

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

Project Euclid
On the Elementary Theory of Restricted Elementary Functions

van den Dries, Lou

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

Project Euclid
Backwards Easton Forcing and $0^#$

Stanley, M. C.

Text on Project Euclid
PDF
Alt PDF
p. 809-833

Project Euclid
A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality

Andreka, H. ; Craig, W. ; Nemeti, I.

Text on Project Euclid
PDF
Alt PDF
p. 834-839

Project Euclid
The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes

Smith, Jan M.

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

Project Euclid
Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras

Biro, B. ; Shelah, S.

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

Project Euclid
On the Transversal Hypothesis and the Weak Kurepa Hypothesis

Walker, D. J.

Text on Project Euclid
PDF
Alt PDF
p. 854-877

Project Euclid
1-Genericity in the Enumeration Degrees

Copestake, Kate

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

Project Euclid
Circumscription within Monotonic Inferences

Lopez-Escobar, E. G. K.

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

Project Euclid
A Note on Definable Skolem Functions

Scowcroft, Philip

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

Project Euclid
More on Definable Sets of $p$-Adic Numbers

Scowcroft, Philip

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

Project Euclid
The Model Theory of Chain-Closed Fields

Dickmann, M. A.

Text on Project Euclid
PDF
Alt PDF
p. 921-930

Project Euclid
Strongly 2-Dimensional Theories

Tsuboi, Akito

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

Project Euclid
Coinductive Formulas and a Many-Sorted Interpolation Theorem

Gropp, Ursula

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

Project Euclid
Ordinal Numbers and the Hilbert Basis Theorem

Simpson, Stephen G.

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

Project Euclid
The Classification of Small Weakly Minimal Sets. III: Modules

Buechler, Steven

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

Project Euclid
Large Discrete Parts of the $E$-Tree

Simmons, Harold

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

Project Euclid
Review: J. Roger Hindley, Jonathan P. Seldin, Introduction to Combinators and $\lambda$-Calculus

Krivine, J. L.

Text on Project Euclid
PDF
Alt PDF
p. 985-986

Project Euclid
Review: L. L. Ivanov, J. L. Bell, Algebraic Recursion Theory

Normann, Dag

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

Project Euclid
Review: Edward Nelson, Predicative Arithmetic

Pudlak, Pavel

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

Project Euclid
Review: Kari Kurkela, Note and Tone. A Semantic Analysis of Conventional Music Notation

Kassler, Michael

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

Project Euclid
[Omnibus Review]

Hawthorn, John

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

Project Euclid
Review: Nino B. Cocchiarella, Logical Investigations of Predication Theory and the Problem of Universals

Corcoran, John ; Park, Woosuk

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

Project Euclid
Review: Gottlob Frege, Christian Thiel, Die Grundlagen der Arithmetik. Eine Logisch Mathematische Untersuchung uber den Begriff der Zahl

Schirn, Matthias

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

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

Knight, Julia F.

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

Project Euclid
Notices

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

Project Euclid
Formal Languages Defined by the Underlying Structure of their Words

Ressayre, J. P.

Text on Project Euclid
PDF
Alt PDF
p. 1009-1026

Project Euclid
Some Properties of Large Filters

Freiling, Chris ; Payne, T. H.

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

Project Euclid
Constructive Validity is Nonarithmetic

McCarty, Charles

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

Project Euclid
Markov's Principle, Isols and Dedekind Finite Sets

McCarty, Charles

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

Project Euclid
Definability and Initial Segments of $c$-Degrees

Lubarsky, Robert S.

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

Project Euclid
On Parameter Free Induction Schemas

Kaye, R. ; Paris, J. ; Dimitracopoulos, C.

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

Project Euclid
On the Use of Inaccessible Numbers and Order Indiscernibles in Lower Bound Arguments for Random Access Machines

Maass, Wolfgang

Text on Project Euclid
PDF
Alt PDF
p. 1098-1109

Project Euclid
Degree Theoretical Splitting Properties of Recursively Enumerable Sets

Ambos-Spies, Klaus ; Fejer, Peter A.

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

Project Euclid
On the Structure of Semialgebraic Sets Over $p$-Adic Fields

Scowcroft, Philip ; van den Dries, Lou

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

Project Euclid
Sheaves of Continuous Definable Functions

Pillay, Anand

Text on Project Euclid
PDF
Alt PDF
p. 1165-1169

Project Euclid
On Universal Semiregular Invariant Measures

Zakrzewski, Piotr

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

Project Euclid
On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes

MacCaull, W. A.

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

Project Euclid
Souslin Forcing

Ihoda, Jaime I. ; Shelah, Saharon

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

Project Euclid
Ultrapowers Without the Axiom of Choice

Spector, Mitchell

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

Project Euclid
The False Assumption Underlying Berry's Paradox

French, James D.

Text on Project Euclid
PDF
Alt PDF
p. 1220-1223

Project Euclid
A Basis Result in Combinatory Logic

Legrand, Remi

Text on Project Euclid
PDF
Alt PDF
p. 1224-1226

Project Euclid
Indecidabilite de Corps de Series Formelles

Delon, Francoise ; Rouani, Yamina

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

Project Euclid
Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes

Paris, J. B. ; Wilkie, A. J. ; Woods, A. R.

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

Project Euclid
Mechanical Learners Pay a Price for Bayesianism

Osherson, Daniel N. ; Stob, Michael ; Weinstein, Scott

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

Project Euclid
Review: Alberto Coffa, Carnap, Tarski and the Search for Truth

Mar, Gary

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

Project Euclid
Review: Theodore Hailperin, Boole's Logic and Probability. A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory

Gridgeman, N. T.

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

Project Euclid
Review: Rudy Rucker, Mind Tools. The Five Levels of Mathematical Reality

Smullyan, Raymond M.

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

Project Euclid
Review: George J. Tourlakis, Computability

Yasuhara, Ann

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

Project Euclid
Review: Larry Wos, Automated Reasoning: 33 Basic Research Problems

Farmer, William M.

Text on Project Euclid
PDF
Alt PDF
p. 1258-1259

Project Euclid
Review: Johan Hastad, Computational Limitations of Small-Depth Circuits

Kurtz, Stuart A.

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

Project Euclid
Review: S. Yu Maslov, Michael Gelfond, Vladimir Lifschitz, Theory of Deductive Systems and its Applications

Dougherty, Daniel J.

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

Project Euclid
Review: K. D. Stroyan, Jose Manuel Bayod, Foundations of Infinitesimal Stochastic Analysis

Cutland, Nigel

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

Project Euclid
Review: Kit Fine, First-Order Modal Theories I--Sets; Kit Fine, First-Order Modal Theories; Kit Fine, First-Order Modal Theories III--Facts

Kroon, F. W.

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

Project Euclid
Meeting of the Association for Symbolic Logic: New York City, May 1987

Davis, Martin ; Parikh, Rohit

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

Project Euclid
Logic and Linguistics Meeting, Stanford, 1987

Barwise, K. Jon ; Thomason, Richmond H.

Text on Project Euclid
PDF
Alt PDF
p. 1275-1282

Project Euclid
Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987

Girle, R. A. ; Hinckfuss, I. C.

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

Project Euclid
Annual Meeting of the Association for Symbolic Logic, New York City, December 1987

Goodman, Nicholas ; Hodes, Harold T. ; Jockusch, Carl G. ; McAloon, Kenneth

Text on Project Euclid
PDF
Alt PDF
p. 1287-1299

Project Euclid
Association for Symbolic Logic

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

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 1343-1344

Project Euclid