Sommaire

Corrigendum to “Strong normalization proof with CPS-translation for second order classical natural deduction”

Nakazawa, Koji ; Tatsuta, Makoto

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

Project Euclid
A proof-theoretic study of the correspondence of classical logic and modal logic

Kushida, H. ; Okada, M.

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

Project Euclid
Ample dividing

Evans, David M.

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

Project Euclid
On countable simple unidimensional theories

Pillay, Anand

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

Project Euclid
The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences

Merkle, Wolfgang

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

Project Euclid
The cofinality of the infinite symmetric group and groupwise density

Brendle, Jörg ; Losada, Maria

Text on Project Euclid
PDF
Alt PDF
p. 1354-1361

Project Euclid
Ordering MAD families a la Katětov

Hrušák, Michael ; García Ferreira, Salvador

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

Project Euclid
Categoricity and U-rank in excellent classes

Lessmann, Olivier

Text on Project Euclid
PDF
Alt PDF
p. 1317-1336

Project Euclid
Proof normalization modulo

Dowek, Gilles ; Werner, Benjamin

Text on Project Euclid
PDF
Alt PDF
p. 1289-1316

Project Euclid
A short proof of the strong normalization of classical natural deduction with disjunction

David, René ; Nour, Karim

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

Project Euclid
Distinguishing types of gaps in 𝒫(ω)/fin

Yorioka, Teruyuki

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

Project Euclid
Additivity properties of topological diagonalizations

Bartoszynski, Tomek ; Shelah, Saharon ; Tsaban, Boaz

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

Project Euclid
Finite-to-one maps

Forster, Thomas

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

Project Euclid
Parallel strategies

Pudlák, Pavel

Text on Project Euclid
PDF
Alt PDF
p. 1242-1250

Project Euclid
A computably categorical structure whose expansion by a constant has infinite computable dimension

Hirschfeldt, Denis R. ; Khoussainov, Bakhadyr ; Shore, Richard A.

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

Project Euclid
Recovering ordered structures from quotients of their automorphism groups

Giraudet, M. ; Truss, J. K.

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

Project Euclid
An application of Kochen’s theorem

Laskowski, Michael C.

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

Project Euclid
Partitioning large vector spaces

Schmerl, James H.

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

Project Euclid
Cardinal-preserving extensions

Friedman, Sy D.

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

Project Euclid
Simple stable homogeneous groups

Berenstein, Alexander

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

Project Euclid
Ranked partial structures

Carlson, Timothy J.

Text on Project Euclid
PDF
Alt PDF
p. 1109-1144

Project Euclid
The axiom of choice and combinatory logic

Cantini, Andrea

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

Project Euclid
A theory for Log-Space and NLIN versus coNLIN

Pollett, Chris

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

Project Euclid
Universally Baire sets and definable well-orderings of the reals

Friedman, Sy D. ; Schindler, Ralf

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

Project Euclid
Isomorphisms of splits of computably enumerable sets

Cholak, Peter A. ; Harrington, Leo A.

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

Project Euclid
Classical and constructive hierarchies in extended intuitionistic analysis

Moschovakis, Joan Rand

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

Project Euclid
Embedding jump upper semilattices into the Turing degrees

Montalbán, Antonio

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

Project Euclid
A hierarchy for the plus cupping Turing degrees

Wang, Yong ; Li, Angsheng

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

Project Euclid
Elementary properties of the Boolean hull and reduced quotient functors

Dickmann, M. A. ; Miraglia, F.

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

Project Euclid
Differential forms in the model theory of differential fields

Pierce, David

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

Project Euclid
The approximation structure of a computably approximable real

Barmpalias, George

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

Project Euclid
Non-well-foundedness of well-orderable power sets

Forster, T. E. ; Truss, J. K.

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

Project Euclid
Existential definability with bounds on archimedean valuations

Shlapentokh, Alexandra

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

Project Euclid
Strong normalization proof with CPS-translation for second order classical natural deduction

Nakazawa, Koji ; Tatsuta, Makoto

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

Project Euclid
Discouraging results for ultraimaginary independence theory

Ben-Yaacov, Itay

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

Project Euclid
Fat sets and saturated ideals

Krueger, John

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

Project Euclid
Positive abstraction and extensionality

Hinnion, Roland ; Libert, Thierry

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

Project Euclid
Expansions of geometries

Baldwin, John T.

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

Project Euclid
A proof—technique in uniform space theory

Bridges, Douglas ; Vîţă, Luminiţa

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

Project Euclid
Transfer methods for o-minimal topology

Berarducci, Alessandro ; Otero, Margarita

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

Project Euclid
Ultrafilters on the natural numbers

Barney, Christopher

Text on Project Euclid
PDF
Alt PDF
p. 764- 784

Project Euclid
The completeness of Heyting first-order logic

Tait, W. W.

Text on Project Euclid
PDF
Alt PDF
p. 751- 763

Project Euclid
Generality of proofs and its Brauerian representation

Došen, Kosta ; Petrić, Zoran

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

Project Euclid
Canonical functions, non-regular ultrafilters and Ulam’s problem on ω1

Deiser, Oliver ; Donder, Dieter

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

Project Euclid
Correction to ‘Displaying the modal logic of consistency’

Wansing, Heinrich

Text on Project Euclid
PDF
Alt PDF


Project Euclid
On revision operators

Welch, P. D.

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

Project Euclid
Exactly controlling the non-supercompact strongly compact cardinals

Apter, Arthur W. ; Hamkinks, Joel David

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

Project Euclid
Automorphism groups of trivial strongly minimal structures

Blossier, Thomas

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

Project Euclid
The non-compactness of square

Cummings, James ; Foreman, Matthew ; Magidor, Menachem

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

Project Euclid
The strength of Blackwell determinacy

Martin, Donald A. ; Neeman, Itay ; Vervoort, Marco

Text on Project Euclid
PDF
Alt PDF
p. 615- 636

Project Euclid
Atomless varieties

Venema, Yde

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

Project Euclid
Approachability and games on posets

Yoshinobu, Yasuo

Text on Project Euclid
PDF
Alt PDF
p. 589- 606

Project Euclid
Classification theory and 0#

Friedman, Sy D. ; Hyttinen, Tapani ; Rautila, Mika

Text on Project Euclid
PDF
Alt PDF
p. 580- 588

Project Euclid
Decomposition and infima in the computably enumerable degrees

Downey, Rodney G. ; LaForte, Geoffrey L. ; Shore, Richard A.

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

Project Euclid
A simple maximality principle

Hamkins, Joel David

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

Project Euclid
The laws of integer divisibility, and solution sets of linear divisibility conditions

van den Dries, L. ; Wilkie, A. J.

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

Project Euclid
A Gitik iteration with nearly Easton factoring

Mitchell, William J.

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

Project Euclid
Constructive interpolation in hybrid logic

Blackburn, Patrick ; Marx, Maarten

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

Project Euclid
Simulating polyadic modal logics by monadic ones

Goguadze, George ; Piazza, Carla ; Venema, Yde

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

Project Euclid
Outer models and genericity

Stanley, M. C.

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

Project Euclid
Universal graphs at the successor of a singular cardinal

Džamonja, Mirna ; Shelah, Saharon

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

Project Euclid
The theory of Liouville functions

Koiran, Pascal

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

Project Euclid
Definability with a predicate for a semi-linear set

Benedikt, Michael ; Keisler, H. Jerome

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

Project Euclid
Separably closed fields with Hasse derivations

Ziegler, Martin

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

Project Euclid
Inequivalent representations of geometric relation algebras

Givant, Steven

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

Project Euclid
Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories

Raatikainen, Panu

Text on Project Euclid
PDF
Alt PDF
p. 262-266

Project Euclid
Q-pointness, P-pointness and feebleness of ideals

Matet, Pierre ; Pawlikowski, Janusz

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

Project Euclid
The Steel hierarchy of ordinal valued Borel mappings

Duparc, J.

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

Project Euclid
Epistemic models of shallow depths and decision making in games: Horticulture

Kaneko, Mamoru ; Suzuki, Nobu-Yuki

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

Project Euclid
Presburger sets and p-minimal fields

Cluckers, Raf

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

Project Euclid
The Church-Rosser property in dual combinatory logic

Bimbó, Katalin

Text on Project Euclid
PDF
Alt PDF
p. 132-152

Project Euclid
Strong extension axioms and Shelah’s zero-one law for choiceless polynomial time

Blass, Andreas ; Gurevich, Yuri

Text on Project Euclid
PDF
Alt PDF
p. 65-131

Project Euclid
On a problem of Cooper and Epstein

Ishmukhametov, Shamil

Text on Project Euclid
PDF
Alt PDF
p. 52-64

Project Euclid
Definable sets in Boolean ordered o-minimal structures. II

Wencel, Roman

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

Project Euclid
On the induction schema for decidable predicates

Beklemishev, Lev D.

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

Project Euclid
An application of graphical enumeration to PA*

Weiermann, Andreas

Text on Project Euclid
PDF
Alt PDF
p. 5-16

Project Euclid
ZF + “Every set is the same size as a wellfounded set”

Forster, Thomas

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

Project Euclid