Sommaire du Fascicule no. 1

Errata for Volumes 66 and 67

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Valuation structure

Zhu, Zhaohui ; Pan, Zhenghua ; Chen, Shifu ; Zhu, Wujia

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

Project Euclid
La limite des théories de courbes génériques

Chapuis, Olivier ; Hrushovski, Ehud ; Koiran, Pascal ; Poizat, Bruno

Text on Project Euclid
PDF
Alt PDF
p. 24-34

Project Euclid
The cost of a cycle is a square

Carbone, A.

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

Project Euclid
Unique decomposition in classifiable theories

Hart, Bradd ; Hrushovski, Ehud ; Laskowski, Michael C.

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

Project Euclid
Embedding finite lattices into the {$\Sigma\sp 0\sb 2$} enumeration degrees

Lempp, Steffen ; Sorbi, Andrea

Text on Project Euclid
PDF
Alt PDF
p. 69-90

Project Euclid
Some weak fragments of {${\rm HA}$} and certain closure properties

Moniri, Morteza ; Moniri, Mojtaba

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

Project Euclid
A new ``feasible'' arithmetic

Bellantoni, Stephen ; Hofmann, Martin

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

Project Euclid
An algebraic approach to categories of partial morphisms

Stefani, S. T.

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

Project Euclid
A maximal bounded forcing axiom

Asperó, David

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

Project Euclid
Definitions of compactness and the axiom of choice

De la Cruz, Omar ; Hall, Eric ; Howard, Paul ; Rubin, Jean E. ; Stanley, Adrienne

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

Project Euclid
SN and {CR} for free-style {${\bf LK}\sp {tq}$}: linear decorations and simulation of normalization

Joinet, Jean-Baptiste ; Schellinx, Harold ; Tortora de Falco, Lorenzo

Text on Project Euclid
PDF
Alt PDF
p. 162-196

Project Euclid
Relation algebra reducts of cylindric algebras and an application to proof theory

Hirsch, Robin ; Hodkinson, Ian ; Maddux, Roger D.

Text on Project Euclid
PDF
Alt PDF
p. 197-213

Project Euclid
The strict order property and generic automorphisms

Kikyo, Hirotaka ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 214-216

Project Euclid
Two cardinal properties of homogeneous graphs

Cherlin, Gregory ; Thomas, Simon

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

Project Euclid
On modal logics between {$\roman K\times\roman K\times \roman K$} and {${\rm S}5\times{\rm S}5\times{\rm S}5$}

Hirsch, R. ; Hodkinson, I. ; Kurucz, A.

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

Project Euclid
A model-theoretic proof for {$\roman P\neq {\rm NP}$} over all infinite abelian groups

Prunescu, Mihai

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

Project Euclid
Minimal groups in separably closed fields

Bouscaren, E. ; Delon, F.

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

Project Euclid
Wellordering proofs for metapredicative Mahlo

Strahm, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 260-278

Project Euclid
Proving consistency of equational theories in bounded arithmetic

Beckmann, Arnold

Text on Project Euclid
PDF
Alt PDF
p. 279-296

Project Euclid
The relative consistency of {$\germ g<{\rm cf}({\rm Sym}(ømega))$}

Mildenberger, Heike ; Shelah, Saharon

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

Project Euclid
An axiomatic presentation of the nonstandard methods in mathematics

Di Nasso, Mauro

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

Project Euclid
Theories with equational forking

Junker, Markus ; Kraus, Ingo

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

Project Euclid
Open questions in the theory of spaces of orderings

Marshall, Murray A.

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

Project Euclid
A classification of intersection type systems

Bunder, M. W.

Text on Project Euclid
PDF
Alt PDF
p. 353-368

Project Euclid
On essentially low, canonically well-generated Boolean algebras

Bonnet, Robert ; Rubin, Matatyahu

Text on Project Euclid
PDF
Alt PDF
p. 369-396

Project Euclid
Complexity of interpolation and related problems in positive calculi

Maksimova, Larisa

Text on Project Euclid
PDF
Alt PDF
p. 397-408

Project Euclid
Maximal contiguous degrees

Cholak, Peter ; Downey, Rod ; Walk, Stephen

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

Project Euclid
Pfaffian differential equations over exponential o-minimal structures

Miller, Chris ; Speissegger, Patrick

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

Project Euclid
Forcing and stable ordered-union ultrafilters

Eisworth, Todd

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

Project Euclid
How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic Q

Willard, Dan E.

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

Project Euclid
Congruence relations on lattices of recursively enumerable sets

Hammond, Todd

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

Project Euclid
Monoid based semantics for linear formulas

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

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

Project Euclid
Quelques propriétés des théories de Jonsson

Mustafin, Yerulan

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

Project Euclid
Splitting properties of {$n$}-c.e. enumeration degrees

Kalimullin, I. Sh.

Text on Project Euclid
PDF
Alt PDF
p. 537-546

Project Euclid
On the Ramseyan properties of some special subsets of {$2\sp ømega$} and their algebraic sums

Nowik, Andrzej ; Weiss, Tomasz

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

Project Euclid
Groundwork for weak analysis

Fernandes, António M. ; Ferreira, Fernando

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

Project Euclid
Coding with ladders a well ordering of the reals

Abraham, Uri ; Shelah, Saharon

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

Project Euclid
An isomorphism between monoids of external embeddings: about definability in arithmetic

Prunescu, Mihai

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

Project Euclid
Interpolation for first order $S5$

Fitting, Melvin

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

Project Euclid
Multiplication complexe et équivalence élémentaire dans le langage des corps

Vidaux, Xavier

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

Project Euclid
On orbits of prompt and low computably enumerable sets

Wald, Kevin

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

Project Euclid
Definable incompleteness and Friedberg splittings

Miller, Russell

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

Project Euclid
Degree spectra of relations on computable structures in the presence of {$\Delta\sb 2\sp 0$} isomorphisms

Hirschfeldt, Denis R.

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

Project Euclid
Deconstructing inner model theory

Schindler, Ralf-Dieter ; Steel, John ; Zeman, Martin

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

Project Euclid
Compact complex manifolds with the DOP and other properties

Pillay, Anand ; Scanlon, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 737-743

Project Euclid
Local supersimplicity and related concepts

Casanovas, Enrique ; Wagner, Frank O.

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

Project Euclid
On Diophantine definability and decidability in some rings of algebraic functions of characteristic 0

Shlapentokh, Alexandra

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

Project Euclid
Generalized weak presentations

Shlapentokh, Alexandra

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

Project Euclid
Indestructibility and the level-by-level agreement between strong compactness and supercompactness

Apter, Arthur W. ; Hamkins, Joel David

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

Project Euclid
Modules with few types over some finite-dimensional algebras

Prest, Mike ; Puninskaya, Vera

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

Project Euclid
More undecidable lattices of Steinitz exchange systems

Galminas, L. R. ; Rosenthal, John W.

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

Project Euclid
The relation of recursive isomorphism for countable structures

Camerlo, Riccardo

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

Project Euclid
$\aleph\sb 0$-categorical structures with arbitrarily fast growth of algebraic closure

Evans, David M. ; Pantano, M. E.

Text on Project Euclid
PDF
Alt PDF
p. 897-909

Project Euclid
Some results on permutation group isomorphism and categoricity

Pillay, Anand ; Schlatter, Mark D.

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

Project Euclid
Blowing up the power set of the least measurable

Apter, Arthur W. ; Cummings, James

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

Project Euclid
$0\sp \#$ and inner models

Friedman, Sy D.

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

Project Euclid
PDL has interpolation

Kowalski, Tomasz

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

Project Euclid
Defining transcendentals in function fields

Koenigsmann, Jochen

Text on Project Euclid
PDF
Alt PDF
p. 947-956

Project Euclid
Properties of forking in {$ømega$}-free pseudo-algebraically closed fields

Chatzidakis, Zoé

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

Project Euclid
The theory of modules of separably closed fields. I

Dellunde, Pilar ; Delon, Françoise ; Point, Françoise

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

Project Euclid
On the binding group in simple theories

Shami, Ziv ; Wagner, Frank O.

Text on Project Euclid
PDF
Alt PDF
p. 1016-1024

Project Euclid
Generic variations of models of $T$

Baudisch, Andreas

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

Project Euclid
Representability in second-order propositional poly-modal logic

Antonelli, G. Aldo ; Thomason, Richmond H.

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

Project Euclid
Isolation and lattice embeddings

Wu, Guohua

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

Project Euclid
The lazy logic of partial terms

Gumb, Raymond D.

Text on Project Euclid
PDF
Alt PDF
p. 1065-1077

Project Euclid
Generalized r-cohesiveness and the arithmetical hierarchy. A correction to: ``Generalized cohesiveness''

Jockusch, Carl G. ; Lakins, Tamara J.

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

Project Euclid
Strong convergence in finite model theory

Lotfallah, Wafik Boulos

Text on Project Euclid
PDF
Alt PDF
p. 1083-1092

Project Euclid
On polynomial time computation over unordered structures

Blass, Andreas ; Gurevich, Yuri ; Shelah, Saharon

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

Project Euclid
The torsionfree part of the Ziegler spectrum of $RG$ when $R$ is a Dedekind domain and $G$ is a finite group

Marcja, A. ; Prest, M. ; Toffalori, C.

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

Project Euclid
Bounded Martin's maximum, weak Erdős cardinals, and $\psi\sb {AC}$

Asperó, David ; Welch, Philip D.

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

Project Euclid
Transfinite dependent choice and $ømega$-model reflection

Rüede, Christian

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

Project Euclid
On regular reduced products

Kennedy, Juliette ; Shelah, Saharon

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

Project Euclid
Rangs et types de rang maximum dans les corps différentiellement clos

Benoist, Franck

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

Project Euclid
On Lascar rank and Morley rank of definable groups in differentially closed fields

Pillay, Anand ; Pong, Wai Yan

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

Project Euclid
Core models with more Woodin cardinals

Steel, J. R.

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

Project Euclid
Sequences of $n$-diagrams

Harizanov, Valentina S. ; Knight, Julia F. ; Morozov, Andrei S.

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

Project Euclid
Automorphism groups of models of Peano arithmetic

Schmerl, James H.

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

Project Euclid
Some highly saturated models of Peano arithmetic

Schmerl, James H.

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

Project Euclid
Smooth classes without AC and Robinson theories

Pourmahdian, Massoud

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

Project Euclid
IKP and friends

Lubarsky, Robert S.

Text on Project Euclid
PDF
Alt PDF
p. 1295-1322

Project Euclid
Regular enumerations

Soskov, I. N. ; Baleva, V.

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

Project Euclid
A uniqueness theorem for iterations

Larson, Paul

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

Project Euclid
Cardinalities in the projective hierarchy

Hjorth, Greg

Text on Project Euclid
PDF
Alt PDF
p. 1351-1372

Project Euclid
The cofinality of the strong measure zero ideal

Yorioka, Teruyuki

Text on Project Euclid
PDF
Alt PDF
p. 1373-1384

Project Euclid
Small theories of Boolean ordered o-minimal structures

Wencel, Roman

Text on Project Euclid
PDF
Alt PDF
p. 1385-1390

Project Euclid
Splitting and nonsplitting II: A low {\sb 2$} C.E. degree about which ${\bf 0}'$ is not splittable

Cooper, S. Barry ; Li, Angsheng

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

Project Euclid
On iterating semiproper preorders

Miyamoto, Tadatoshi

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

Project Euclid
A rank for the class of elementary submodels of a superstable homogeneous model

Hyttinen, Tapani ; Lessmann, Olivier

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

Project Euclid
A unified completeness theorem for quantified modal logics

Corsi, Giovanna

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

Project Euclid
A constructive look at the completeness of the space $\scr D({\bf R})$

Ishihara, Hajime ; Yoshida, Satoru

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

Project Euclid
A dichotomy theorem for turbulence

Hjorth, Greg

Text on Project Euclid
PDF
Alt PDF
p. 1520-1540

Project Euclid
Modulated fibring and the collapsing problem

Sernadas, Cristina ; Rasga, João ; Carnielli, Walter A.

Text on Project Euclid
PDF
Alt PDF
p. 1541-1569

Project Euclid
Borovik-Poizat rank and stability

Burdges, Jeffrey ; Cherlin, Gregory

Text on Project Euclid
PDF
Alt PDF
p. 1570-1578

Project Euclid
Corrigendum: ``Contiguity and distributivity in the enumerable Turing degrees''

Downey, Rodney G. ; Lempp, Steffen

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

Project Euclid
Group configurations and germs in simple theories

Ben-Yaacov, Itay

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

Project Euclid
Modular types in some supersimple theories

Newelski, Ludomir

Text on Project Euclid
PDF
Alt PDF
p. 1601-1615

Project Euclid
Finitude simple et structures o-minimales

Lion, Jean-Marie

Text on Project Euclid
PDF
Alt PDF
p. 1616-1622

Project Euclid
Frege's unofficial arithmetic

Rayo, Agustín

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

Project Euclid