Sommaire du Fascicule no. 1

Review: Peter Aczel, Seppo Miettinen, Jouko Vaananen, The Strength of Martin-Lof's Intuitionistic Type Theory with One Universe

Veldman, Wim

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Donald A. Martin, Borel Determinancy; Donald A. Martin, Infinite Games

Louveau, A.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Rolando Basim Chuaqui, Axiomatic Set Theory. Impredicative Theories of Classes

Drake, F. R.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: A. G. Hamilton, Numbers, Sets and Axioms. The Apparatus of Mathematics

Henle, James

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Michel Parigot, Theories d'Arbres

Sabbagh, G.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jon Barwise, Kenneth Kunen, Hanf Numbers for Fragments of $L_{\infty\omega}$

Lopez-Escobar, E. G. K.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Magidor-Malitz Quantifiers in Modules

Baudisch, Andreas

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

Project Euclid
Some Properties of Invariant Sets

Byerly, Robert E.

Text on Project Euclid
PDF
Alt PDF
p. 9-21

Project Euclid
Stepping Up Lemmas in Definable Partitions

Kranakis, Evangelos

Text on Project Euclid
PDF
Alt PDF
p. 22-31

Project Euclid
Some Model Theory of Modules. III. On Infiniteness of Sets Definable in Modules

Rothmaler, Philipp

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

Project Euclid
Correction to a Definition of Negation

Fitch, Frederic B.

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

Project Euclid
On the Orbits of Hyperhypersimple Sets

Maass, Wolfgang

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

Project Euclid
On the Compactness of Some Boolean Algebras

Cichon, Jacek

Text on Project Euclid
PDF
Alt PDF
p. 63-67

Project Euclid
Model Companions for Finitely Generated Universal Horn Classes

Burris, Stanley

Text on Project Euclid
PDF
Alt PDF
p. 68-74

Project Euclid
Toward Useful Type-Free Theories. I

Feferman, Solomon

Text on Project Euclid
PDF
Alt PDF
p. 75-111

Project Euclid
Many-Times Huge and Superhuge Cardinals

Barbanel, Julius B. ; Diprisco, Carlos A. ; Tan, It Beng

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

Project Euclid
Equality and Lyndon's Interpolation Theorem

Motohashi, Nobuyoshi

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

Project Euclid
Effectively Nowhere Simple Sets

Miller, D. ; Remmel, J. B.

Text on Project Euclid
PDF
Alt PDF
p. 129-136

Project Euclid
The Universal Splitting Property. II

Lerman, M. ; Remmel, J. B.

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

Project Euclid
The Order Indiscernibles of Divisible Ordered Abelian Groups

Rosenthal, David

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

Project Euclid
The Axiom of Determinancy Implies Dependent Choices in $L(\mathbf{R})$

Kechris, Alexander S.

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

Project Euclid
An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality

Gumb, Raymond D.

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

Project Euclid
The Word Problem for Cancellation Semigroups with Zero

Gurevich, Yuri ; Lewis, Harry R.

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

Project Euclid
Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic

Goodman, Nicolas D.

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

Project Euclid
On Nonstandard Models in Higher Order Logic

Hort, Christian ; Osswald, Horst

Text on Project Euclid
PDF
Alt PDF
p. 204-219

Project Euclid
Existentially Closed Torsion-Free Nilpotent Groups of Class Three

Maier, Berthold J.

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

Project Euclid
Constructible Falsity and Inexact Predicates

Almukdad, Ahmad ; Nelson, David

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

Project Euclid
Generic Graph Construction

Baumgartner, James E.

Text on Project Euclid
PDF
Alt PDF
p. 234-240

Project Euclid
Filter Logics on $\omega$

Kaufmann, Matt

Text on Project Euclid
PDF
Alt PDF
p. 241-256

Project Euclid
Simplified Morasses

Velleman, Dan

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

Project Euclid
Regularity in Models of Arithmetic

Mills, George ; Paris, Jeff

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

Project Euclid
Commutative Regular Rings and Boolean-Valued Fields

Smith, Kay

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

Project Euclid
A Minimal Degree Which Collapses $\omega_1$

Carlson, Tim ; Kunen, Kenneth ; Miller, Arnold W.

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

Project Euclid
Review: H. P. Barendregt, The Lambda Calculus. Its Syntax and Semantics

Engeler, E.

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

Project Euclid
Review: Hartry H. Field, Science Without Numbers. A Defence of Nominalism

Manders, Kenneth L.

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

Project Euclid
Review: Alfred J. Freddoso, William of Ockham, Henry Schuurman, Ockham's Theory of Truth Conditions

Corcoran, John

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

Project Euclid
Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes

de Lavalette, G. R. Renardel ; Troelstra, A. S.

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

Project Euclid
Review: Per Martin-Lof, H. E. Rose, J. C. Shepherdson, An Intuitionistic Theory of Types: Predicative Part

Veldman, Wim

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

Project Euclid
Review: Peter Aczel, Angus Macintyre, Leszek Pacholski, Jeff Paris, The Type Theoretic Interpretation of Constructive Set Theory

Veldman, Wim

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

Project Euclid
Review: Michael Morley, The Number of Countable Models

Miller, Arnold W.

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

Project Euclid
Review: Saharon Shelah, Finite Diagrams Stable in Power

Cherlin, Gregory

Text on Project Euclid
PDF
Alt PDF
p. 315-316

Project Euclid
[Omnibus Review]

Pillay, Anand

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

Project Euclid
Meeting of the Association for Symbolic Logic: Berkeley, 1983

Addison, J. W. ; Enderton, H. B.

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

Project Euclid
Notices

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

Project Euclid
A Note on Some Intermediate Propositional Calculi

Boricic, Branislav R.

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

Project Euclid
Relevant Entailment--Semantics and Formal Systems

Avron, Arnon

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

Project Euclid
Banach Games

Freiling, Chris

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

Project Euclid
A Recursion Theoretic Analysis of the Clopen Ramsey Theorem

Clote, Peter

Text on Project Euclid
PDF
Alt PDF
p. 376-400

Project Euclid
Orthomodularity is not Elementary

Goldblatt, Robert

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

Project Euclid
Espaces Ultrametriques

Delon, Francoise

Text on Project Euclid
PDF
Alt PDF
p. 405-424

Project Euclid
Two Theorems on Degrees of Models of True Arithmetic

Knight, Julia ; Lachlan, Alistair H. ; Soare, Robert I.

Text on Project Euclid
PDF
Alt PDF
p. 425-436

Project Euclid
The Definability of $\mathrm{E}(\alpha)$

Griffor, E. R. ; Normann, D.

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

Project Euclid
Questions About Quantifiers

van Benthem, Johan

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

Project Euclid
There are not Exactly Five Objects

Blass, Andreas

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

Project Euclid
Expansions of Models of $\omega$-Stable Theories

Buechler, Steven

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

Project Euclid
Expressive Power in First Order Topology

Bankston, Paul

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

Project Euclid
On the Embedding of $|alpha$-Recursive Presentable Lattices into the $\alpha$-Recursive Degrees Below 0'

Yang, Dong Ping

Text on Project Euclid
PDF
Alt PDF
p. 488-502

Project Euclid
Partial Degrees and the Density Problem. Part 2: The Enumeration Degrees of the $\sum_2$ Sets are Dense

Cooper, S. B.

Text on Project Euclid
PDF
Alt PDF
p. 503-513

Project Euclid
Heine-Borel Does not Imply the Fan Theorem

Moerdijk, Ieke

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

Project Euclid
An Incomplete Decidable Modal Logic

Cresswell, M. J.

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

Project Euclid
Co-Immune Subspaces and Complementation in $V_\infty$

Downey, R.

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

Project Euclid
On Partitioning the Infinite Subsets of Large Cardinals

Watro, R. J.

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

Project Euclid
Spector Forcing

Henle, J. M.

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

Project Euclid
Weak Strong Partition Cardinals

Henle, J. M.

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

Project Euclid
Infinite Subscripts from Infinite Exponents

Baumgartner, James E. ; Henle, James M.

Text on Project Euclid
PDF
Alt PDF
p. 558-562

Project Euclid
A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings

Watnick, Richard

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

Project Euclid
Models of the Alternative Set Theory

Pudlak, P. ; Sochor, A.

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

Project Euclid
An Extension of the Nondiamond Theorem in Classical and $\alpha$-Recursion Theory

Ambos-Spies, Klaus

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

Project Euclid
Ordinal Definability in Jensen's Model

Zadrozny, Wlodzimierz

Text on Project Euclid
PDF
Alt PDF
p. 608-620

Project Euclid
Arithmetic and the Theory of Types

Boffa, M.

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

Project Euclid
Algebraic Theories with Definable Skolem Functions

van den Dries, Lou

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

Project Euclid
Church's Thesis, Continuity, and Set Theory

Beeson, M. ; Scedrov, A.

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

Project Euclid
QE Commutative Nilrings

Saracino, D. ; Wood, C.

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

Project Euclid
Review: Terence Parsons, Nonexistent Objects

Bealer, George

Text on Project Euclid
PDF
Alt PDF
p. 652-655

Project Euclid
Review: Peter Thomas Geach, Reference and Generality. An Examination of Some Medieval and Modern Theories

Vendler, Zeno

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

Project Euclid
Review: G. C. Smith, The Boole-De Morgan Correspondence 1842-1864

Hailperin, Theodore

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

Project Euclid
Review: Gregory H. Moore, Zermelo's Axiom of Choice. Its Origins, Development, and Influence

Rubin, Jean E.

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

Project Euclid
[Omnibus Review]

Mitchell, William

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

Project Euclid
Review: M. Gitik, All Uncountable Cardinals Can be Singular

Magidor, Menachem

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

Project Euclid
[Omnibus Review]

Velleman, Daniel

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

Project Euclid
[Omnibus Review]

Stern, Jacques

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

Project Euclid
Review: Dag Normann, Recursion on the Countable Functionals; Dag Normann, The Continuous Functionals; Computations, Recursions and Degrees

Hinman, Peter G.

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

Project Euclid
Review: Jeanne Ferrante, Charles W. Rackoff, The Computational Complexity of Logical Theories

Siefkes, Dirk

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

Project Euclid
Review: Leo Harrington, Recursively Presentable Prime Models; Terrence S. Millar, Foundations of Recursive Model Theory; Terrence S. Millar, A Complete, Decidable Theory with Two Decidable Models

Ash, C. J.

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

Project Euclid
Review: Jerome Malitz, Introduction to Mathematical Logic. Set Theory, Computable Functions, Model Theory

Eklof, P.

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

Project Euclid
Annual Meeting of the Association for Symbolic Logic: Denver, 1983

Jockusch, Carl G. ; Laver, Richard ; Monk, Donald ; Mycielski, Jan ; Pearce, Jon

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

Project Euclid
Meeting of the Association for Symbolic Logic: Florence, Italy 1982

Casari, E. ; Fenstad, E. J. ; Lolli, G. ; Longo, G. ; Marcja, A. ; van Dalen, D.

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

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 711-712

Project Euclid
Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy

Girard, Jean-Yves ; Vauzeilles, Jacqueline

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

Project Euclid
An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions

Smith, Jan

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

Project Euclid
Self-Reference with Negative Types

Hiller, A. P. ; Zimbarg, J.

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

Project Euclid
Monotone Reducibility and the Family of Infinite Sets

Cenzer, Douglas

Text on Project Euclid
PDF
Alt PDF
p. 774-782

Project Euclid
Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations?

Simpson, Stephen G.

Text on Project Euclid
PDF
Alt PDF
p. 783-802

Project Euclid
Deux Remarques a Propos de la Propriete de Recouvrement Fini

Poizat, Bruno

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

Project Euclid
Strongly Compact Cardinals, Elementary Embeddings and Fixed Points

Abe, Yoshihiro

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

Project Euclid
Idempotent Ideals on Abelian Groups

Pelc, Andrzej

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

Project Euclid
Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets

Jones, J. P. ; Matijasevic, Y. V.

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

Project Euclid
C. C. C. Forcing without Combinatorics

Mekler, Alan H.

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

Project Euclid
Complexity of $\kappa$-Ultrafilters and Inner Models with Measurable Cardinals

Sureson, Claude

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

Project Euclid
An Undecidable Problem in Finite Combinatorics

Compton, Kevin J.

Text on Project Euclid
PDF
Alt PDF
p. 842-850

Project Euclid
Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory

Takeuti, Gaisi ; Titani, Satoko

Text on Project Euclid
PDF
Alt PDF
p. 851-866

Project Euclid
The Strength of Admissibility Without Foundation

Jager, Gerhard

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

Project Euclid
Regular Types in Nonmultidimensional $\omega$-Stable Theories

Pillay, Anand

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

Project Euclid
On the Period of Sequences $(A^n(p))$ in Intuitionistic Propositional Calculus

Ruitenburg, Wim

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

Project Euclid
Characteristically Simple $\aleph_0$-Categorical Groups

Gilman, Robert H.

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

Project Euclid
On Choice Sequences Determined by Spreads

van der Hoeven, Gerrit ; Moerdijk, Ieke

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

Project Euclid
Inconsistent Models for Relevant Arithmetics

Meyer, Robert K. ; Mortensen, Chris

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

Project Euclid
Kueker's Conjecture for Superstable Theories

Buechler, Steven

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

Project Euclid
On Modal Systems Having Arithmetical Interpretations

Avron, Arnon

Text on Project Euclid
PDF
Alt PDF
p. 935-942

Project Euclid
On Supervaluations in Free Logic

Woodruff, Peter W.

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

Project Euclid
Some Undecidability Results in Strong Algebraic Languages

Kalfa, Cornelia

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

Project Euclid
Some Remarks on Initial Segments in Models of Peano Arithmetic

Kotlarski, Henryk

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

Project Euclid
Accessible Sets and $(L_{\omega_1\omega})_t$-Equivalence for $T_3$ Spaces

Martinez, Juan Carlos

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

Project Euclid
Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic

Lascar, Daniel

Text on Project Euclid
PDF
Alt PDF
p. 968-971

Project Euclid
Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic; J. R. Shoenfield, B.1. Axioms of Set Theory

Kanamori, Akihiro

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

Project Euclid
Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic

Friedman, Sy D.

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

Project Euclid
Review: Jon Barwise, H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra, Handbook of Mathematical Logic

Howard, W. A.

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

Project Euclid
Review: Oliver Aberth, Computable Analysis

Henson, C. Ward

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

Project Euclid
Review: Harry R. Lewis, Christos H. Papadimitriou, Elements of the Theory of Computation

Gallier, Jean H.

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

Project Euclid
Review: B. Courcelle, B. Domolki, T. Gergely, Equational Theories and Equivalences of Programs; J. W. de Bakker, J. I. Zucker, Derivatives of Programs; E. Engeler, An Algorithmic Model of Strict Finitism

Muchnick, Steven S.

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

Project Euclid
Review: Hans Kamp, Uwe Monnich, The Paradox of the Heap

Machina, Kenton F.

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

Project Euclid
Review: Krister Segerberg, Classical Propositional Operators. An Exercise in the Foundations of Logic

Fleming, Richard

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

Project Euclid
Review: B. J. Copeland, On When a Semantics is not a Semantics: Some Reasons for Disliking the Routley-Meyer Semantics for Relevance Logic

van Benthem, Johan

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

Project Euclid
Review: Charles Chihara, The Semantic Paradoxes: A Diagnostic Investigation; Tyler Burge, Semantical Paradox

Silverberg, Arnold

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

Project Euclid
Review: Charles Jarrett, The Logical Structure of Spinoza's Ethics, Part I

Bennett, Jonathan ; van Inwagen, Peter

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

Project Euclid
Review: Joel I. Friedman, Was Spinoza Fooled by the Ontological Argument?

Bennett, Jonathan ; van Inwagen, Peter

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

Project Euclid
Notices

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

Project Euclid
Simplified Morasses with Linear Limits

Velleman, Dan

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

Project Euclid
Diamonds, Uniformization

Shelah, Saharon

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

Project Euclid
More on Proper Forcing

Shelah, Saharon

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

Project Euclid
The Strength of Nonstandard Methods in Arithmetic

Henson, C. Ward ; Kaufmann, Matt ; Keisler, H. Jerome

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

Project Euclid
The Undecidability of Entailment and Relevant Implication

Urquhart, Alasdair

Text on Project Euclid
PDF
Alt PDF
p. 1059-1073

Project Euclid
Typical Ambiguity and the Axiom of Choice

Crabbe, Marcel

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

Project Euclid
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy

Girard, Jean-Yves ; Vauzeilles, Jacqueline

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

Project Euclid
The Model Theory of Finitely Generated Finite-by-Abelian Groups

Oger, Francis

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

Project Euclid
The Universal Complementation Property

Downey, R. G. ; Remmel, J. B.

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

Project Euclid
Decidable Subspaces and Recursively Enumerable Subspaces

Ash, C. J. ; Downey, R. G.

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

Project Euclid
Bases of Supermaximal Subspaces and Steinitz Systems. I

Downey, Rod

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

Project Euclid
A Hierarchy of Families of Recursively Enumerable Degrees

Welch, Lawrence V.

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

Project Euclid
The Uniqueness of Envelopes in $\aleph_0$-Categorical, $\aleph_0$-Stable Structures

Loveys, James

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

Project Euclid
Forcing the Failure of Ch by Adding a Real

Shelah, Saharon ; Woodin, Hugh

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

Project Euclid
Definable Structures in the Lattice of Recursively Enumerable Sets

Herrmann, E.

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

Project Euclid
The Consistency Strength of the Free-Subset Property for $\omega_\omega$

Koepke, Peter

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

Project Euclid
Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers

Jockusch, Carl G. ; Shore, Richard A.

Text on Project Euclid
PDF
Alt PDF
p. 1205-1236

Project Euclid
The Unsolvability of the Godel Class with Identity

Goldfarb, Warren D.

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

Project Euclid
A Decidable Subclass of the Minimal Godel Class with Identity

Goldfarb, Warren D. ; Gurevich, Yuri ; Shelah, Saharon

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

Project Euclid
A Normal Form Theorem for First Order Formulas and Its Application to Gaifman's Splitting Theorem

Motohashi, Nobuyoshi

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

Project Euclid
On the Ultrafilters and Ultrapowers of Strong Partition Cardinals

Henle, J. M. ; Kleinberg, E. M. ; Watro, R. J.

Text on Project Euclid
PDF
Alt PDF
p. 1268-1272

Project Euclid
On $\sum^1_1$ Equivalence Relations with Borel Classes of Bounded Rank

Sami, Ramez L.

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

Project Euclid
A Natural Extension of Natural Deduction

Schroeder-Heister, Peter

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

Project Euclid
Finite Level Borel Games and a Problem Concerning the Jump Hierarchy

Hodes, Harold T.

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

Project Euclid
The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types

Longo, G. ; Moggi, E.

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

Project Euclid
Decidable Properties of Finite Sets of Equations in Trivial Languages

Kalfa, Cornelia

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

Project Euclid
How to Glue Analysis Models

Dalen, D. Van

Text on Project Euclid
PDF
Alt PDF
p. 1339-1349

Project Euclid
Closed Sets and Chain Conditions in Stable Theories

Pillay, Anand ; Srour, Gabriel

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

Project Euclid
Linear Reasoning in Modal Logic

Fitting, Melvin

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

Project Euclid
Categoricity and Ranks

Saffe, Jurgen

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

Project Euclid
Well-Behaved Modal Logics

Hodes, Harold T.

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

Project Euclid
Review: Jon Barwise, Scenes and other Situations; Jon Barwise, John Perry, Situations and Attitudes; Jon Barwise, John Perry, Peter A. French, Theodore E. Uehling, Howard K. Wettstein, Semantic Innocence and Uncompromising Situations

Thomason, Richmond H.

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

Project Euclid
Review: Herbert G. Bohnert, Paul D. Backer, Walter A. Sedelow, Sally Yeates Sedelow, Automatic English-to-Logic Translation in a Simplified Model. A Study in the Logic of Grammar

Keenan, Edward

Text on Project Euclid
PDF
Alt PDF
p. 1406-1407

Project Euclid
Review: James D. McCawley, Everything that Linguists have Always wanted to Know about Logic, but were Ashamed to Ask

Wilson, W. Kent

Text on Project Euclid
PDF
Alt PDF
p. 1407-1408

Project Euclid
Review: Richard Jeffrey, Formal Logic: Its Scope and Limits

McCarthy, Timothy

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

Project Euclid
Review: Richard Jeffrey, Studies in Inductive Logic and Probability; , A Basic System of Inductive Logic, Part II

Howson, C.

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

Project Euclid
[Omnibus Review]

Loewer, Barry

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

Project Euclid
Review: Leonard Goddard, Richard Routley, The Logic of Significance and Context

Cocchiarella, Nino B.

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

Project Euclid
Review: Crispin Wright, Wittgenstein on the Foundations of Mathematics

Steiner, Mark

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

Project Euclid
Review: Nathan U. Salmon, Reference and Essence

Tienson, John

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

Project Euclid
Review: W. J. Blok, The Lattice of Modal Logics: An Algebraic Investigation; W. J. Blok, Pretabular Varieties of Modal Algebras

van Benthem, Johan

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

Project Euclid
Review: Albert R. Meyer, Rohit Parikh, Definability in Dynamic Logic

Harel, David

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

Project Euclid
Review: Petr Vopenka, Petr Hajek, The Theory of Semisets

Levy, Azriel

Text on Project Euclid
PDF
Alt PDF
p. 1422-1423

Project Euclid
Review: Petr Vopenka, Mathematics in the Alternative set Theory

Levy, Azriel

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

Project Euclid
Meeting of the Association for Symbolic Logic: Perth, 1983

Priest, Graham

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

Project Euclid
Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983

Caicedo, Xavier ; Chauqui, Rolando ; da Costa, Newton C. D. ; di Prisco, Carlos A.

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

Project Euclid
Annual Meeting of the Association for Symbolic Logic: Boston 1983

Boolos, George ; Friedman, Sy

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

Project Euclid
Association for Symbolic Logic

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

Project Euclid
Notices

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

Project Euclid