Sommaire du Fascicule no. 1

Erratum: On the Role of Implication in Formal Logic

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Errata in "Strong Axioms of Infinity in NFU"

Holmes, M. Randall

Text on Project Euclid
PDF
Alt PDF


Project Euclid
On the Strength of Ramsey's Theorem for Pairs

Cholak, Peter A. ; Jockusch, Carl G. ; Slaman, Theodore A.

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

Project Euclid
Wadge Hierarchy and Veblen Hierarchy Part I: Borel Sets of Finite Rank

Duparc, J.

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

Project Euclid
Strong Axioms of Infinity in NFU

Holmes, M. Randall

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

Project Euclid
Minimal but Not Strongly Minimal Structures with Arbitrary Finite Dimensions

Ikeda, Koichiro

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

Project Euclid
Hyperimaginaries and Automorphism Groups

Lascar, D. ; Pillay, A.

Text on Project Euclid
PDF
Alt PDF
p. 127-143

Project Euclid
Chang's Conjecture and the Non-Stationary Ideal

Seabold, Daniel Evan

Text on Project Euclid
PDF
Alt PDF
p. 144-170

Project Euclid
Minimum Propositional Proof Length Is NP-Hard to Linearly Approximate

Alekhnovich, Michael ; Buss, Sam ; Moran, Shlomo ; Pitassi, Toniann

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

Project Euclid
$\Pi^1_1 - CA_0$ and Order Types of Countable Ordered Groups

Solomon, Reed

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

Project Euclid
Undecidable Theories of Lyndon Algebras

Stebletsova, Vera ; Venema, Yde

Text on Project Euclid
PDF
Alt PDF
p. 207-224

Project Euclid
Syntactical Truth Predicates for Second Order Arithmetic

Colson, Loic ; Grigorieff, Serge

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

Project Euclid
Cohen-Stable Families of Subsets of Integers

Kurilic, Milos S.

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

Project Euclid
Modules with Few Types over a Hereditary Noetherian Prime Ring

Puninskaya, Vera

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

Project Euclid
On the Admissible Rules of Intuitionistic Propositional Logic

Iemhoff, Rosalie

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

Project Euclid
Distance Semantics for Belief Revision

Lehmann, Daniel ; Magidor, Menachem ; Schlechta, Karl

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

Project Euclid
Cohen Reals from Small Forcings

Pawlikowski, Janusz

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

Project Euclid
Modeles Satures et Modeles Engendres par des Indiscernables

Mariou, Benoit

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

Project Euclid
Existentially Closed Structures and Godel's Second Incompleteness Theorem

Adamowicz, Zofia ; Bigorajska, Teresa

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

Project Euclid
Some Independence Results for Control Structures in Complete Numberings

Jain, Sanjay ; Nessel, Jochen

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

Project Euclid
An Intensional Type Theory: Motivation and Cut-Elimination

Gilmore, Paul C.

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

Project Euclid
A Remark on Martin's Conjecture

Gao, Su

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

Project Euclid
$\lambda\mu$-Calculus and Bohm's Theorem

David, Rene ; Py, Walter

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

Project Euclid
Fibring: Completeness Preservation

Zanardo, Alberto ; Sernadas, Amilcar ; Sernadas, Cristina

Text on Project Euclid
PDF
Alt PDF
p. 414-439

Project Euclid
Degree Spectra of Intrinsically C.E. Relations

Hirschfeldt, Denis R.

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

Project Euclid
The $\Delta^0_2$-Spectrum of a Linear Order

Miller, Russell

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

Project Euclid
Slim Models of Zermelo Set Theory

Mathias, A. R. D.

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

Project Euclid
Quasi-Modal Equivalence of Canonical Structures

Goldblatt, Robert

Text on Project Euclid
PDF
Alt PDF
p. 497-508

Project Euclid
Exchange Rules

Piazza, Mario

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

Project Euclid
Implication with Possible Exceptions

Jurjus, Herman ; de Swart, Harrie

Text on Project Euclid
PDF
Alt PDF
p. 517-535

Project Euclid
Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles

Willard, Dan E.

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

Project Euclid
Free Ordered Algebraic Structures towards Proof Theory

Prijatelj, Andreja

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

Project Euclid
Some Interesting Connections between the Slow Growing Hierarchy and the Ackermann Function

Weiermann, Andreas

Text on Project Euclid
PDF
Alt PDF
p. 609-628

Project Euclid
Supercompactness and Measurable Limits of Strong Cardinals

Apter, Arthur W.

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

Project Euclid
The Weak Square Property

Jackson, Steve

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

Project Euclid
Supercompactness within the Projective Hierarchy

Becker, Howard ; Jackson, Steve

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

Project Euclid
Some Combinatorics of Imperfect Information

Cameron, Peter ; Hodges, Wilfrid

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

Project Euclid
Two Variable First-Order Logic Over Ordered Domains

Otto, Martin

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

Project Euclid
Fields of Finite Morley Rank

Wagner, Frank

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

Project Euclid
The Covering Numbers of Mycielski Ideals Are All Equal

Shelah, Saharon ; Steprans, Juris

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

Project Euclid
A Note on Existentially Closed Difference Fields with Algebraically Closed Fixed Field

Pillay, Anand

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

Project Euclid
Fusion of 2-Elements in Groups of Finite Morley Rank

Corredor, Luis-Jaime

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

Project Euclid
On the Structures Inside Truth-Table Degrees

Stephan, Frank

Text on Project Euclid
PDF
Alt PDF
p. 731-770

Project Euclid
Elementary Properties of Power Series Fields over Finite Fields

Kuhlmann, Franz-Viktor

Text on Project Euclid
PDF
Alt PDF
p. 771-791

Project Euclid
Regular Subalgebras of Complete Boolean Algebras

Blaszczyk, Aleksander ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 792-800

Project Euclid
Proper Forcing and L$(\mathbb{R})$

Neeman, Itay ; Zapletal, Jindrich

Text on Project Euclid
PDF
Alt PDF
p. 801-810

Project Euclid
Polarized Partition Relations

Baumgartner, James E. ; Hajnal, Andras

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

Project Euclid
Simplicity, and Stability in There

Kim, Byunghan

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

Project Euclid
Finite Variable Logic, Stability and Finite Models

Djordjevic, Marko

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

Project Euclid
Small Profinite Groups

Newelski, Ludomir

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

Project Euclid
Ramsey's Theorem for Computably Enumerable Colorings

Hummel, Tamara J. ; Jockusch, Carl G.

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

Project Euclid
An Almost Deep Degree

Cholak, Peter ; Groszek, Marcia ; Slaman, Theodore

Text on Project Euclid
PDF
Alt PDF
p. 881-901

Project Euclid
Some Dichotomy Theorems for Isomorphism Relations of Countable Models

Gao, Su

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

Project Euclid
Infinite Chains and Antichains in Computable Partial Orderings

Herrman, E.

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

Project Euclid
Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory

Jager, Gerhard ; Strahm, Thomas

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

Project Euclid
Existence of Some Sparse Sets of Nonstandard Natural Numbers

Jin, Renling

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

Project Euclid
Hybrid Logics: Characterization, Interpolation and Complexity

Areces, Carlos ; Blackburn, Patrick ; Marx, Maarten

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

Project Euclid
An Axiomatization of Full Computation Tree Logic

Reynolds, M.

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

Project Euclid
A Boundedness Lemma for Iterations

Hjorth, Greg

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

Project Euclid
First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo

Jager, Gerhard

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

Project Euclid
On Elementary Embeddings from an Inner Model to the Universe

Vickers, J. ; Welch, P. D.

Text on Project Euclid
PDF
Alt PDF
p. 1090-1116

Project Euclid
A Note on the Isomorphism Problem for SK[G]

Chatzidakis, Zoe ; Pappas, Peter

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

Project Euclid
An Intuitionistic Version of Zermelo's Proof That Every Choice Set Can Be Well-Ordered

Wilson, J. Todd

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

Project Euclid
Stable Theories with a New Predicate

Casanovas, Enrique ; Ziegler, Martin

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

Project Euclid
Canonicity for Intensional Logics with Even Axioms

Surendonk, Timothy J.

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

Project Euclid
Can Partial Indexings Be Totalized?

Spreen, Dieter

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

Project Euclid
Unfoldable Cardinals and the GCH

Hamkins, Joel David

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

Project Euclid
Computational Randomness and Lowness

Terwijn, Sebastiaan A. ; Zambella, Domenico

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

Project Euclid
Existence of Prime Elements in Rings of Generalized Power Series

Pitteloud, Daniel

Text on Project Euclid
PDF
Alt PDF
p. 1206-1216

Project Euclid
Number of Variables Is Equivalent to Space

Immerman, Neil ; Buss, Jonathan F. ; Barrington, David A. Mix

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

Project Euclid
Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers

Ehrlich, Philip

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

Project Euclid
Cofinitary Groups, almost Disjoint and Dominating Families

Hrusak, Michael ; Steprans, Juris ; Zhang, Yi

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

Project Euclid
Exact Bounds for Lengths of Reductions in Typed $\lambda$-Calculus

Beckmann, Arnold

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

Project Euclid
Main Gap for Locally Saturated Elementary Submodels of a Homogeneous Structure

Hyttinen, Tapani ; Shelah, Saharon

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

Project Euclid
Properties of Ideals on the Generalized Cantor Spaces

Kraszewski, Jan

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

Project Euclid
An Axiomatics for Nonstandard Set Theory, Based on Von Neumann-Bernays-Godel Theory

Andreev, P. V. ; Gordon, E. I.

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

Project Euclid
Forbidden Subgraphs and Forbidden Substructures

Cherlin, Gregory ; Shi, Niandong

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

Project Euclid
The Mean Value Theorem in Second Order Arithmetic

Hardin, Christopher S. ; Velleman, Daniel J.

Text on Project Euclid
PDF
Alt PDF
p. 1353-1358

Project Euclid
Forcing Many Positive Polarized Partition Relations between a Cardinal and Its Powerset

Shelah, Saharon ; Stanley, Lee J.

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

Project Euclid
A $\Delta^0_2$ Set with No Infinite Low Subset in Either It or Its Complement

Downey, Rod ; Hirschfeldt, Denis R. ; Lempp, Steffen ; Solomon, Reed

Text on Project Euclid
PDF
Alt PDF
p. 1371-1381

Project Euclid
Expansion of a Model of a Weakly O-Minimal Theory by a Family of Unary Predicates

Baizhanov, Bektur Sembiuly

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

Project Euclid
Decidable Fragments of First-Order Modal Logics

Wolter, Frank ; Zakharyaschev, Michael

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

Project Euclid
The Cofinality of the Random Graph

Warner, Steve

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

Project Euclid
Minimality and Completions of PA

Knight, Julia F.

Text on Project Euclid
PDF
Alt PDF
p. 1447-1457

Project Euclid
On Computable Automorphisms of the Rational Numbers

Morozov, A. S. ; Truss, J. K.

Text on Project Euclid
PDF
Alt PDF
p. 1458-1470

Project Euclid
Elementary Equivalence for Abelian-by-Finite and Nilpotent Groups

Oger, Francis

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

Project Euclid
Proper Forcing and Remarkable Cardinals II

Schindler, Ralf-Dieter

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

Project Euclid
Quantifier Elimination in Tame Infinite p-Adic Fields

Brigandt, Ingo

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

Project Euclid
The Jensen Covering Property

Schimmerling, E. ; Woodin, W. H.

Text on Project Euclid
PDF
Alt PDF
p. 1505-1523

Project Euclid
A New Correctness Criterion for the Proof Nets of Non-Commutative Multiplicative Linear Logics

Nagayama, Misao ; Okada, Mitsuhiro

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

Project Euclid
On the Convergence of Query-Bounded Computations and Logical Closure Properties of C.E. Sets

McNicholl, Timothy H.

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

Project Euclid
Pure Type Systems with More Liberal Rules

Bunder, Martin ; Dekkers, Wil

Text on Project Euclid
PDF
Alt PDF
p. 1561-1580

Project Euclid
Credibility Limited Revision

Hansson, Sven Ove ; Ferme, Eduardo Leopoldo ; Cantwell, John ; Falappa, Marcelo Alejandro

Text on Project Euclid
PDF
Alt PDF
p. 1581-1596

Project Euclid
Monoid Based Semantics for Linear Formulas

Mitchell, W. P. R. ; Simmons, H.

Text on Project Euclid
PDF
Alt PDF
p. 1597-1619

Project Euclid
An Algebraic Approach to Intuitionistic Connectives

Caicedo, Xavier ; Cignoli, Roberto

Text on Project Euclid
PDF
Alt PDF
p. 1620-1636

Project Euclid
Quelques Modestes Remarques a Propos D'une Consequence Inattendue D'un Resultat Surprenant de Monsieur Frank Olaf Wagner

Poizat, Bruno

Text on Project Euclid
PDF
Alt PDF
p. 1637-1646

Project Euclid
L'Egalite au Cube

Poizat, Bruno

Text on Project Euclid
PDF
Alt PDF
p. 1647-1676

Project Euclid
The Canary Tree Revisited

Hyttinen, Tapani ; Rautila, Mika

Text on Project Euclid
PDF
Alt PDF
p. 1677-1694

Project Euclid
Bounded Variation Implies Regulated: A Constructive Proof

Bridges, Douglas ; Mahalanobis, Ayan

Text on Project Euclid
PDF
Alt PDF
p. 1695-1700

Project Euclid
On Tarski on Models

Bays, Timothy

Text on Project Euclid
PDF
Alt PDF
p. 1701-1726

Project Euclid
On the Recursion Theorem in Iterative Operative Spaces

Zashev, J.

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

Project Euclid
Initial Segments of the Lattice of $\Pi^0_1$ Classes

Cenzer, Douglas ; Nies, Andre

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

Project Euclid
Power-Like Models of Set Theory

Enayat, Ali

Text on Project Euclid
PDF
Alt PDF
p. 1766-1782

Project Euclid
Expansions of Dense Linear Orders with the Intermediate Value Property

Miller, Chris

Text on Project Euclid
PDF
Alt PDF
p. 1783-1790

Project Euclid
Embedding Finite Lattices into the Ideals of Computably Enumerable Turing Degrees

Calhoun, William C. ; Lerman, Manuel

Text on Project Euclid
PDF
Alt PDF
p. 1791-1802

Project Euclid
Sequent Calculus in Natural Deduction Style

Negri, Sara ; von Plato, Jan

Text on Project Euclid
PDF
Alt PDF
p. 1803-1816

Project Euclid
An Open Mapping Theorem for O-Minimal Structures

Johns, Joseph

Text on Project Euclid
PDF
Alt PDF
p. 1817-1820

Project Euclid
Definable Sets in Boolean-Ordered O-Minimal Structures. I

Newelski, Ludomir ; Wencel, Roman

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

Project Euclid
The Consistency Strength of Successive Cardinals with the Tree Property

Foreman, Matthew ; Magidor, Menachem ; Schindler, Ralf-Dieter

Text on Project Euclid
PDF
Alt PDF
p. 1837-1847

Project Euclid
Realization of Analysis into Explicit Mathematics

Tupailo, Sergei

Text on Project Euclid
PDF
Alt PDF
p. 1848-1864

Project Euclid
Shelah's Work on Non-Semi-Proper Iterations, II

Schlindwein, Chaz

Text on Project Euclid
PDF
Alt PDF
p. 1865-1883

Project Euclid
The Classification of Small Types of Rank $\omega$, Part I

Buechler, Steven ; Hoover, Colleen

Text on Project Euclid
PDF
Alt PDF
p. 1884-1898

Project Euclid
Partitioning Subsets of Stable Models

Bays, Timothy

Text on Project Euclid
PDF
Alt PDF
p. 1899-1908

Project Euclid
On the Maximality of Logics with Approximations

Iovino, Jose

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

Project Euclid
Some Structural Results Concerning Supercompact Cardinals

Apter, Arthur W.

Text on Project Euclid
PDF
Alt PDF
p. 1919-1927

Project Euclid
Continuum Cardinals Generalized to Boolean Algebras

Monk, J. Donald

Text on Project Euclid
PDF
Alt PDF
p. 1928-1958

Project Euclid
Disquotational Truth and Analyticity

Halbach, Volker

Text on Project Euclid
PDF
Alt PDF
p. 1959-1973

Project Euclid