Sommaire du Fascicule no. 1

The Complexity of Odd$^A_n$

Beigel, Richard ; Gasarch, William ; Kummer, Martin ; Martin, Georgia ; McNicholl, Timothy ; Stephan, Frank

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

Project Euclid
The Distribution of Properly $\Sigma^0_2$ e-Degrees

Bereznyuk, Stanislaw ; Coles, Richard ; Sorbi, Andrea

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

Project Euclid
The Analytic Conception of Truth and the Foundations of Arithmetic

Apostoli, Peter

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

Project Euclid
Pure-Projective Modules and Positive Constructibility

Kucera, T. G. ; Rothmaler, Ph.

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

Project Euclid
Trois Theoremes sur l'Induction pour les Formules Ouvertes Munies de l'Exponentielle

Boughattas, Sedki

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

Project Euclid
Vaught's Conjecture for Modules Over a Serial Ring

Puninskaya, Vera

Text on Project Euclid
PDF
Alt PDF
p. 155-163

Project Euclid
Recursive in a Generic Real

Shinoda, Juichi ; Slaman, Theodore A.

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

Project Euclid
A Non-Standard Construction of Haar Measure and Weak Konig's Lemma

Tanaka, Kazuyuki ; Yamazaki, Takeshi

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

Project Euclid
A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties

Willard, Ross

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

Project Euclid
An Extension of the Cobham-Semenov Theorem

Bes, Alexis

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

Project Euclid
Property Theory and the Revision Theory of Definitions

Orilia, Francesco

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

Project Euclid
Separating Stationary Reflection Principles

Larson, Paul

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

Project Euclid
Filters, Cohen Sets and Consistent Extensions of the Erdos-Dushnik-Miller Theorem

Shelah, Saharon ; Stanley, Lee J.

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

Project Euclid
On Inverse $\gamma$-Systems and the Number of L$_{\infty\lambda}$- Equivalent, Non-Isomorphic Models for $\lambda$ Singular

Shelah, Saharon ; Vaisanen, Pauli

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

Project Euclid
Structural Properties and $\Sigma^0_2$ Enumeration Degrees

Nies, Andre ; Sorbi, Andrea

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

Project Euclid
Coordinatisation and Canonical Bases in Simple Theories

Hart, Bradd ; Kim, Byunghan ; Pillay, Anand

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

Project Euclid
Logical Questions Concerning the $\mu$-Calculus: Interpolation, Lyndon and Los-Tarski

D'Agostino, Giovanna ; Hollenberg, Marco

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

Project Euclid
Two Consistency Results on Set Mappings

Komjath, Peter ; Shelah, Saharon

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

Project Euclid
The Liar Paradox and Fuzzy Logic

Hajek, Petr ; Paris, Jeff ; Shepherdson, John

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

Project Euclid
Some Applications of Ordinal Dimensions to the Theory of Differentially Closed Fields

Pong, Wai Yan

Text on Project Euclid
PDF
Alt PDF
p. 347-356

Project Euclid
Toward a Constructive Theory of Unbounded Linear Operators

Ye, Feng

Text on Project Euclid
PDF
Alt PDF
p. 357-370

Project Euclid
Constructing $\omega$-Stable Structures: Rank 2 Fields

Baldwin, John T. ; Holland, Kitty

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

Project Euclid
Actions by the Classical Banach Spaces

Hjorth, G.

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

Project Euclid
Arithmetical Representations of Brownian Motion I

Fouche, Willem

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

Project Euclid
A Free Pseudospace

Baudisch, Andreas ; Pillay, Anand

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

Project Euclid
Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters

Prisco, Carlos A. Di ; Henle, James M.

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

Project Euclid
A Note on CM-Triviality and the Geometry of Forking

Pillay, Anand

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

Project Euclid
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics

Font, Josep Maria ; Rius, Miquel

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

Project Euclid
The Hahn Representation Theorem for $\ell$-Groups in ZFA

Gluschankof, D.

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

Project Euclid
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory

Dybjer, Peter

Text on Project Euclid
PDF
Alt PDF
p. 525-549

Project Euclid
Maharam Spectra of Loeb Spaces

Jin, Renling ; Keisler, H. Jerome

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

Project Euclid
Infinite Time Turing Machines

Hamkins, Joel David ; Lewis, Andy

Text on Project Euclid
PDF
Alt PDF
p. 567-604

Project Euclid
Belief Contraction as Nonmonotonic Inference

Bochman, Alexander

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

Project Euclid
Yet Another Hierarchy Theorem

Kubierschky, Max

Text on Project Euclid
PDF
Alt PDF
p. 627-640

Project Euclid
Weakly Algebraizable Logics

Czelakowski, Janusz ; Jansana, Ramon

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

Project Euclid
Rational Pavelka Predicate Logic is a Conservative Extension of Lukasiewicz Predicate Logic

Hajek, Petr ; Paris, Jeff ; Shepherdson, John

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

Project Euclid
The Real Line in Elementary Submodels of Set Theory

Kunen, Kenneth ; Tall, Franklin D.

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

Project Euclid
A Note on the Model Theory of Generalized Polygons

Tent, Katrin

Text on Project Euclid
PDF
Alt PDF
p. 692-702

Project Euclid
Liftez Les Sylows! Une Suite a "Sous-Groupes Periodiques d'un Groupe Stable"

Poizat, Bruno ; Wagner, Frank O.

Text on Project Euclid
PDF
Alt PDF
p. 703-704

Project Euclid
Paires Elementaires de Corps Pseudo-Finis: Denombrement des Completions (Elementary Pairs of Pseudo-Finite Fields: Counting Completions)

Lejeune, Helene

Text on Project Euclid
PDF
Alt PDF
p. 705-718

Project Euclid
New Techniques and Completeness Results for Preferential Structures

Schlechta, Karl

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

Project Euclid
Killing Ideals and Adding Reals

Zapletal, Jindrich

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

Project Euclid
Subprevarieties Versus Extensions. Application to the Logic of Paradox

Pynko, Alexej P.

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

Project Euclid
Supersimple $\omega$-Categorical Groups and Theories

Evans, David M. ; Wagner, Frank O.

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

Project Euclid
On Fixed-Point Logic with Counting

Flum, Jorg ; Grohe, Martin

Text on Project Euclid
PDF
Alt PDF
p. 777-787

Project Euclid
Implicational F-Structures and Implicational Relevance Logics

Avron, A.

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

Project Euclid
After All, There are Some Inequalities which are Provable in ZFC

Bartoszynski, Tomek ; Roslanowski, Andrzej ; Shelah, Saharon

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

Project Euclid
A Note on Uniform Definability and Minimal Fields of Definition

Moosa, Rahim

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

Project Euclid
Expressivity in Polygonal, Plane Mereotopology

Pratt, Ian ; Schoop, Dominik

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

Project Euclid
Categorical Quasivarieties via Morita Equivalence

Kearnes, Keith A.

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

Project Euclid
A Completeness Theorem for Higher Order Logics

Sagi, Gabor

Text on Project Euclid
PDF
Alt PDF
p. 857-884

Project Euclid
The Model Theory of Differential Fields with Finitely Many Commuting Derivations

McGrail, Tracey

Text on Project Euclid
PDF
Alt PDF
p. 885-913

Project Euclid
Closures in $\aleph_0$-Categorical Bilinear Maps

Baudisch, Andreas

Text on Project Euclid
PDF
Alt PDF
p. 914-922

Project Euclid
On Axiomatising Products of Kripke Frames

Kurucz, Agnes

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

Project Euclid
Definability and Undefinability with Real Order at the Background

Gurevich, Yuri ; Rabinovich, Alexander

Text on Project Euclid
PDF
Alt PDF
p. 946-958

Project Euclid
Dualization of the Van Douwen Diagram

Cichon, Jacek ; Krawczyk, Adam ; Majcher-Iwanow, Barbara ; Weglorz, Bogdan

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

Project Euclid
An Ordinal Partition Avoiding Pentagrams

Larson, Jean A.

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

Project Euclid
Basic Logic: Reflection, Symmetry, Visibility

Sambin, Giovanni ; Battilotti, Giulia ; Faggian, Claudia

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

Project Euclid
Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis

Erdelyi-Szabo, Miklos

Text on Project Euclid
PDF
Alt PDF
p. 1014-1030

Project Euclid
Was Sierpinski Right? IV

Shelah, Saharon

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

Project Euclid
On Quantification with a Finite Universe

Shelah, Saharon

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

Project Euclid
On the Role of Implication in Formal Logic

Seldin, Jonathan P.

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

Project Euclid
Quasi-O-Minimal Structures

Belegradek, Oleg ; Peterzil, Ya'Acov ; Wagner, Frank

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

Project Euclid
Computability over the Partial Continuous Functionals

Normann, Dag

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

Project Euclid
On the Equational Theory of Representable Polyadic Equality Algebras

Nemeti, Istvan ; Sagi, Gabor

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

Project Euclid
Topological Completeness for Higher-Order Logic

Awodey, S. ; Butz, C.

Text on Project Euclid
PDF
Alt PDF
p. 1168-1182

Project Euclid
Formal Topologies on the Set of First-Order Formulae

Coquand, Thierry ; Sadocco, Sara ; Sambin, Giovanni ; Smith, Jan M.

Text on Project Euclid
PDF
Alt PDF
p. 1183-1192

Project Euclid
Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals

Welch, P. D.

Text on Project Euclid
PDF
Alt PDF
p. 1193-1203

Project Euclid
On the Consistency of the Definable Tree Property on $\aleph_1$

Leshem, Amir

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

Project Euclid
Model Companions of Theories with an Automorphism

Kikyo, Hirotaka

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

Project Euclid
Fragments of Heyting Arithmetic

Burr, Wolfgang

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

Project Euclid
Hierarchies of Monadic Generalized Quantifiers

Luosto, Kerkko

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

Project Euclid
The Logic of Choice

Blass, Andreas ; Gurevich, Yuri

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

Project Euclid
Stationary Sets and Infinitary Logic

Shelah, Saharon ; Vaananen, Jouko

Text on Project Euclid
PDF
Alt PDF
p. 1311-1320

Project Euclid
On Representation Theorems for Nonmonotonic Consequence Relations

Perez, Ramon Pino ; Uzcategui, Carlos

Text on Project Euclid
PDF
Alt PDF
p. 1321-1337

Project Euclid
Godel Sentences of Bounded Arithmetic

Takeuti, Gaisi

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

Project Euclid
On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers

Point, Francoise

Text on Project Euclid
PDF
Alt PDF
p. 1347-1374

Project Euclid
Ordinal Diagrams for $\Pi_3$-Reflection

Arai, Toshiyasu

Text on Project Euclid
PDF
Alt PDF
p. 1375-1394

Project Euclid
A 1-Generic Degree with a Strong Minimal Cover

Kumabe, Masahiro

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

Project Euclid
Minimal Types in Separably Closed Fields

Chatzidakis, Zoe ; Wood, Carol

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

Project Euclid
Located Sets and Reverse Mathematics

Giusto, Mariagnese ; Simpson, Stephen G.

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

Project Euclid
Definability in Low Simple Theories

Shami, Ziv

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

Project Euclid
A Polarized Partition Relation Using Elementary Substructures

Jones, Albin L.

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

Project Euclid
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic

Dyckhoff, Roy ; Negri, Sara

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

Project Euclid
Inconsistent Models of Arithmetic. Part II: The General Case

Priest, Graham

Text on Project Euclid
PDF
Alt PDF
p. 1519-1529

Project Euclid
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in the Real Plane

Kuijpers, Bart ; Paredaens, Jan ; Bussche, Jan Van Den

Text on Project Euclid
PDF
Alt PDF
p. 1530-1555

Project Euclid
Logics of Belief Change without Linearity

Cantwell, John

Text on Project Euclid
PDF
Alt PDF
p. 1556-1575

Project Euclid
All Intermediate Logics with Extra Axioms in One Variable, Except Eight, Are Not Strongly $\omega$-Complete

Fiorentini, Camillo

Text on Project Euclid
PDF
Alt PDF
p. 1576-1604

Project Euclid
Computable Boolean Algebras

Knight, Julia F. ; Stob, Michael

Text on Project Euclid
PDF
Alt PDF
p. 1605-1623

Project Euclid
Applications of PCF Theory

Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1624-1674

Project Euclid
Le Probleme des Grandes Puissances et Celui des Grandes Racines

Portier, Natacha

Text on Project Euclid
PDF
Alt PDF
p. 1675-1685

Project Euclid
Strong 0-1 Laws in Finite Model Theory

Lotfallah, Wafik Boulos

Text on Project Euclid
PDF
Alt PDF
p. 1686-1704

Project Euclid
A Note on Equational Theories

Junker, Markus

Text on Project Euclid
PDF
Alt PDF
p. 1705-1712

Project Euclid
More on Cichon's Diagram and Infinite Games

Kada, Masaru

Text on Project Euclid
PDF
Alt PDF
p. 1713-1724

Project Euclid
On the Commutativity of Jumps

McNicholl, Timothy H.

Text on Project Euclid
PDF
Alt PDF
p. 1725-1748

Project Euclid
Epsilon-Logic Is More Expressive Than First-Order Logic over Finite Structures

Otto, Martin

Text on Project Euclid
PDF
Alt PDF
p. 1749-1757

Project Euclid
A Model Complete Theory of Valued D-Fields

Scanlon, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 1758-1784

Project Euclid
Interpreting Classical Theories in Constructive Ones

Avigad, Jeremy

Text on Project Euclid
PDF
Alt PDF
p. 1785-1812

Project Euclid
$\diamond$ at Mahlo Cardinals

Zeman, Martin

Text on Project Euclid
PDF
Alt PDF
p. 1813-1822

Project Euclid
More on Entangled Orders

Shafir, Ofer ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1823-1832

Project Euclid
Minimal Fields

Wagner, Frank O.

Text on Project Euclid
PDF
Alt PDF
p. 1833-1835

Project Euclid
Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications

Salbany, S. ; Todorov, Todor

Text on Project Euclid
PDF
Alt PDF
p. 1836-1840

Project Euclid
A Lambda Proof of the P-W Theorem

Hirokawa, Sachio ; Komori, Yuichi ; Nagayama, Misao

Text on Project Euclid
PDF
Alt PDF
p. 1841-1849

Project Euclid
Expedited Broda-Damas Bracket Abstraction

Bunder, M. W.

Text on Project Euclid
PDF
Alt PDF
p. 1850-1857

Project Euclid
The Rise and Fall of Typed Sentences

Crabbe, Marcel

Text on Project Euclid
PDF
Alt PDF
p. 1858-1862

Project Euclid
Recursive Inseparability for Residual Bounds of Finite Algebras

McKenzie, Ralph

Text on Project Euclid
PDF
Alt PDF
p. 1863-1880

Project Euclid
Actions of Non-Compact and Non-Locally Compact Polish Groups

Solecki, Slawomir

Text on Project Euclid
PDF
Alt PDF
p. 1881-1894

Project Euclid
Identity Crises and Strong Compactness

Apter, Arthur W. ; Cummings, James

Text on Project Euclid
PDF
Alt PDF
p. 1895-1910

Project Euclid
Inconsistency of the Axiom of Choice with the Positive Theory $GPK^+ \infty$

Esser, Olivier

Text on Project Euclid
PDF
Alt PDF
p. 1911-1916

Project Euclid
Corrigendum: On Effective Topological Spaces

Spreen, Dieter

Text on Project Euclid
PDF
Alt PDF
p. 1917-1918

Project Euclid