Sommaire du Fascicule no. 1

Corrigendum to “A Schanuel Condition for Weierstrass Equations”

Kirby, Jonathan

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Corrigendum to “Number systems with simplicity hierarchies: A generalization of Conway's theory of surreal numbers”

Ehrlich, Philip

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Theories of arithmetics in finite models

Krynicki, Michał ; Zdanowski, Konrad

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

Project Euclid
Model completeness of o-minimal structures expanded by Dedekind cuts

Tressl, Marcus

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

Project Euclid
Generic substitutions

Panti, Giovanni

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

Project Euclid
The finite model property for knotted extensions of propositional linear logic

van Alten, C. J.

Text on Project Euclid
PDF
Alt PDF
p. 84-98

Project Euclid
Derivations of the Frobenius map

Kowalski, Piotr

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

Project Euclid
The computable dimension of trees of infinite height

Miller, Russell

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

Project Euclid
Subsets of superstable structures are weakly benign

Baizhanov, Bektur ; Baldwin, John T. ; Shelah, Saharon

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

Project Euclid
Computable categoricity of trees of finite height

Lempp, Steffen ; McCoy, Charles ; Miller, Russell ; Solomon, Reed

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

Project Euclid
On Kueker simple theories

Shami, Ziv

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

Project Euclid
Interpolation for extended modal languages

ten Cate, Balder

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

Project Euclid
On the weak non-finite cover property and the n-tuples of simple structures

Vassiliev, Evgueni

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

Project Euclid
On the definable ideal generated by nonbounding c.e. degrees

Yu, Liang ; Yang, Yue

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

Project Euclid
Fusing o-minimal structures

Wilkie, A. J.

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

Project Euclid
On an algebra of lattice-valued logic

Hansen, Lars

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

Project Euclid
Relative randomness and real closed fields

Raichev, Alexander

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

Project Euclid
The isomorphism problem for computable Abelian p-groups of bounded length

Calvert, Wesley

Text on Project Euclid
PDF
Alt PDF
p. 331-345

Project Euclid
On relatively analytic and Borel subsets

Miller, Arnold W.

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

Project Euclid
Quantum logic as motivated by quantum computing

Dunn, J. Michael ; Hagge, Tobias J. ; Moss, Lawrence S. ; Wang, Zhenghan

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

Project Euclid
Up to equimorphism, hyperarithmetic is recursive

Montalbán, Antonio

Text on Project Euclid
PDF
Alt PDF
p. 360-378

Project Euclid
On the type-definability of the binding group in simple theories

Hart, Bradd ; Shami, Ziv

Text on Project Euclid
PDF
Alt PDF
p. 379-388

Project Euclid
Lexicographic exponentiation of chains

Holland, W. C. ; Kuhlmann, S. ; McCleary, S. H.

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

Project Euclid
Expansions of o-minimal structures by fast sequences

Friedman, Harvey ; Miller, Chris

Text on Project Euclid
PDF
Alt PDF
p. 410-418

Project Euclid
Descriptive complexity of finite structures: Saving the quantifier rank

Pikhurko, Oleg ; Verbitsky, Oleg

Text on Project Euclid
PDF
Alt PDF
p. 419-450

Project Euclid
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable

Skvortsov, Dmitrij

Text on Project Euclid
PDF
Alt PDF
p. 451-459

Project Euclid
Finitely axiomatizable ω-categorical theories and the Mazoyer hypothesis

Lippel, David

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

Project Euclid
Elementary epimorphisms

Rothmaler, Philipp

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

Project Euclid
Interpreting descriptions in intensional type theory

Carlström, Jesper

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

Project Euclid
Randomness, relativization and Turing degrees

Nies, André ; Stephan, Frank ; Terwijn, Sebastiaan A.

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

Project Euclid
The Church-Rosser property in symmetric combinatory logic

Bimbó, Katalin

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

Project Euclid
Projective well-orderings and bounded forcing axioms

Caicedo, Andrés Eduardo

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

Project Euclid
Asymptotic theory of modules of separably closed fields

Point, Françoise

Text on Project Euclid
PDF
Alt PDF
p. 573-592

Project Euclid
Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields

Çelikler, Y. Firat

Text on Project Euclid
PDF
Alt PDF
p. 593-618

Project Euclid
Structured pigeonhole principle, search problems and hard tautologies

Krajíček, Jan

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

Project Euclid
A Schanuel condition for Weierstrass equations

Kirby, Jonathan

Text on Project Euclid
PDF
Alt PDF
p. 631-638

Project Euclid
Upward categoricity from a successor cardinal for tame abstract classes with amalgamation

Lessmann, Olivier

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

Project Euclid
A note on superstable groups

Gagelman, Jerry

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

Project Euclid
Une fonction de Kolchin pour les corps imparfaits de degré d'imperfection fini

Delon, Françoise

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

Project Euclid
Tree structures associated to a family of functions

Argyros, Spiros A. ; Dodos, Pandelis ; Kanellopoulos, Vassilis

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

Project Euclid
Minimal predicates, fixed-points, and definability

van Benthem, Johan

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

Project Euclid
Canonical extensions and relational completeness of some substructural logics

Dunn, J. Michael ; Gehrke, Mai ; Palmigiano, Alessandra

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

Project Euclid
Bounding and nonbounding minimal pairs in the enumeration degrees

Cooper, S. Barry ; Li, Angsheng ; Sorbi, Andrea ; Yang, Yue

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

Project Euclid
Strong compactness and stationary sets

Krueger, John

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

Project Euclid
On mathematical instrumentalism

Caldon, Patrick ; Ignjatović, Aleksandar

Text on Project Euclid
PDF
Alt PDF
p. 778-794

Project Euclid
A logic for metric and topology

Wolter, Frank ; Zakharyaschev, Michael

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

Project Euclid
Uncountable dense categoricity in cats

Ben-Yaacov, Itay

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

Project Euclid
Weak cardinality theorems

Tantau, Till

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

Project Euclid
Algebraic set theory and the effective topos

Kouwenhoven-Gentil, Claire ; van Oosten, Jaap

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

Project Euclid
Random reals and possibly infinite computations Part I: Randomness in ∅'

Becher, Verónica ; Grigorieff, Serge

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

Project Euclid
Preserving preservation

Kellner, Jakob ; Shelah, Saharon

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

Project Euclid
A continuous movement version of the Banach—Tarski paradox: A solution to de Groot's Problem

Wilson, Trevor M.

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

Project Euclid
The axiom of elementary sets on the edge of Peircean expressibility

Formisano, Andrea ; Omodeo, Eugenio G. ; Policriti, Alberto

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

Project Euclid
On constructing completions

Crosilla, Laura ; Ishihara, Hajime ; Schuster, Peter

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

Project Euclid
Bi-Borel reducibility of essentially countable Borel equivalence relations

Hjorth, Greg

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

Project Euclid
Products of ‘transitive’ modal logics

Gabelaia, David ; Kurucz, Agi ; Wolter, Frank ; Zakharyaschev, Michael

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

Project Euclid
Reducts of stable, CM-trivial theories

Nübling, Herwig

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

Project Euclid
Club guessing sequences and filters

Ishiu, Tetsuya

Text on Project Euclid
PDF
Alt PDF
p. 1037-1071

Project Euclid
2-ExpTime lower bounds for propositional dynamic logics with intersection

Lange, Martin ; Lutz, Carsten

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

Project Euclid
Induction and inductive definitions in fragments of second order arithmetic

Aehlig, Klaus

Text on Project Euclid
PDF
Alt PDF
p. 1087-1107

Project Euclid
The geometry of non-distributive logics

Restall, Greg ; Paoli, Francesco

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

Project Euclid
Distinct iterable branches

Steel, John R.

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

Project Euclid
Logical consecutions in discrete linear temporal logic

Rybakov, V. V.

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

Project Euclid
Elimination of imaginaries in expansions of o-minimal structures by generic sets

Fratarcangeli, Sergio

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

Project Euclid
The first-order structure of weakly Dedekind-finite sets

Walczak-Typke, A. C.

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

Project Euclid
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency

Willard, Dan E.

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

Project Euclid
ω-powers and descriptive set theory

Lecomte, Dominique

Text on Project Euclid
PDF
Alt PDF
p. 1210-1232

Project Euclid
The disjunction and related properties for constructive Zermelo-Fraenkel set theory

Rathjen, Michael

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

Project Euclid
PFA implies ADL(ℝ)

Steel, John R.

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

Project Euclid
A dichotomy in classifying quantifiers for finite models

Shelah, Saharon ; Doron, Mor

Text on Project Euclid
PDF
Alt PDF
p. 1297-1324

Project Euclid
Cofinal families of Borel equivalence relations and quasiorders

Rosendal, Christian

Text on Project Euclid
PDF
Alt PDF
p. 1325-1340

Project Euclid
Free spectra of linear equivalential algebras

Słomczyńska, Katarzyna

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

Project Euclid
A note on orthogonality and stable embeddedness

Cherlin, Gregory ; Djordjevic, Marko ; Hrushovski, Ehud

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

Project Euclid
Subsimple groups

Wagner, Frank

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

Project Euclid