Sommaire du Fascicule no. 1

Properties and consequences of Thorn-independence

Onshuus, Alf

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

Project Euclid
Converse dual cardinals

Brendle, Jörg ; Zhang, Shuguo

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

Project Euclid
Normalized natural deduction systems for some relevant logics I: The logic DW

Brady, Ross T.

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

Project Euclid
The generalised type-theoretic interpretation of constructive set theory

Gambino, Nicola ; Aczel, Peter

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

Project Euclid
On weak and strong interpolation in algebraic logics

Sági, Gábor ; Shelah, Saharon

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

Project Euclid
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination

Binns, Stephen ; Kjos-Hanssen, Bjørn ; Lerman, Manuel ; Solomon, Reed

Text on Project Euclid
PDF
Alt PDF
p. 119-136

Project Euclid
Effectiveness and multivalued logics

Gerla, Giangiacomo

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

Project Euclid
An alternative semantics for quantified relevant logic

Mares, Edwin D. ; Goldblatt, Robert

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

Project Euclid
The hierarchy theorem for second order generalized quantifiers

Kontinen, Juha

Text on Project Euclid
PDF
Alt PDF
p. 188-202

Project Euclid
Automorphism groups of arithmetically saturated models

Nurkhaidarov, Ermek S.

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

Project Euclid
Associativity as commutativity

Došen, Kosta ; Petrć, Zoran

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

Project Euclid
Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine’s NF

Forster, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 227-240

Project Euclid
Iterates of the core model

Schindler, Ralf

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

Project Euclid
Jump operator and Yates degrees

Wu, Guohua

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

Project Euclid
Orbit equivalence and actions of 𝔽n

Törnquist, Asger

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

Project Euclid
Computable trees of Scott rank ω 1CK, and computable approximation

Calvert, Wesley ; Knight, Julia F. ; Millar, Jessica

Text on Project Euclid
PDF
Alt PDF
p. 283-298

Project Euclid
Completeness and Herbrand theorems for nominal logic

Cheney, James

Text on Project Euclid
PDF
Alt PDF
p. 299-320

Project Euclid
Structure with fast elimination of quantifiers

Prunescu, Mihai

Text on Project Euclid
PDF
Alt PDF
p. 321-328

Project Euclid
Bounded modified realizability

Ferreira, Fernando ; Nunes, Ana

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

Project Euclid
Geometry of forking in simple theories

Peretz, Assaf

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

Project Euclid
Fusion over sublanguages

Hasson, Assaf ; Hils, Martin

Text on Project Euclid
PDF
Alt PDF
p. 361-398

Project Euclid
Complexity, decidability and completeness

Cenzer, Douglas ; Remmel, Jeffrey B.

Text on Project Euclid
PDF
Alt PDF
p. 399-424

Project Euclid
Determinacy for games ending at the first admissible relative to the play

Neeman, Itay

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

Project Euclid
On PAC and bounded substructures of a stable structure

Pillay, Anand ; Polkowska, Dominika

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

Project Euclid
The proper forcing axiom and the singular cardinal hypothesis

Viale, Matteo

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

Project Euclid
Hyperfine structure theory and gap 1 morasses

Friedman, Sy-David ; Koepke, Peter ; Piwinger, Boris

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

Project Euclid
Every countably presented formal topology is spatial, classically

Valentini, Silvio

Text on Project Euclid
PDF
Alt PDF
p. 491-500

Project Euclid
Enumerations of the Kolmogorov function

Beigel, Richard ; Buhrman, Harry ; Fejer, Peter ; Fortnow, Lance ; Grabowski, Piotr ; Longpré, Luc ; Muchnik, Andrej ; Stephan, Frank ; Torenvliet, Leen

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

Project Euclid
Strongly minimal groups in the theory of compact complex spaces

Aschenbrenner, Matthias ; Moosa, Rahim ; Scanlon, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 529-552

Project Euclid
Shelah’s categoricity conjecture from a successor for tame abstract elementary classes

Grossberg, Rami ; VanDieren, Monica

Text on Project Euclid
PDF
Alt PDF
p. 553-568

Project Euclid
Morley degree in unidimensional compact complex spaces

Radin, Dale

Text on Project Euclid
PDF
Alt PDF
p. 569-585

Project Euclid
Trichotomies for ideals of compact sets

Matheron, É. ; Solecki, S. ; Zelený, M.

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

Project Euclid
Generix never gives up

Jaligot, Eric

Text on Project Euclid
PDF
Alt PDF
p. 599-610

Project Euclid
A constructive view on ergodic theorems

Spitters, Bas

Text on Project Euclid
PDF
Alt PDF
p. 611-623

Project Euclid
On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories

Kołodziejczyk, Leszek Aleksander

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

Project Euclid
0-D-valued fields

Guzy, Nicolas

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

Project Euclid
On the degeneracy of the full AGM-theory of theory-revision

Tennant, Neil

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

Project Euclid
Axiomatizing Kripke’s Theory of Truth

Halbach, Volker ; Horsten, Leon

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

Project Euclid
The fan theorem and unique existence of maxima

Berger, Josef ; Bridges, Douglas ; Schuster, Peter

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

Project Euclid
The proof-theoretic analysis of transfinitely iterated quasi least fixed points

Probst, Dieter

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

Project Euclid
T-height in weakly o-minimal structures

Tyne, James

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

Project Euclid
On supersimplicity and lovely pairs of cats

Ben-Yaacov, Itay

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

Project Euclid
The complexity of analytic tableaux

Arai, Noriko H. ; Pitassi, Toniann ; Urquhart, Alasdair

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

Project Euclid
A remark on Zilber’s pseudoexponentiation

Marker, David

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

Project Euclid
A new S4 classical modal logic in natural deduction

Medeiros, Maria da Paz N.

Text on Project Euclid
PDF
Alt PDF
p. 799-809

Project Euclid
Finite satisfiability and ℵ₀-categorical structures with trivial dependence

Djordjević, Marko

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

Project Euclid
Stable embeddedness in algebraically closed valued fields

Hrushovski, E. ; Tatarsky, A.

Text on Project Euclid
PDF
Alt PDF
p. 831-862

Project Euclid
On theories and models in fuzzy predicate logics

Hájek, Petr ; Cintula, Petr

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

Project Euclid
n—localization property

Rosłanowski, Andrzej

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

Project Euclid
Correspondences between Gentzen and Hilbert systems

Raftery, J. G.

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

Project Euclid
Measure theory aspects of locally countable orderings

Yu, Liang

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

Project Euclid
Univers positifs

Poizat, Bruno

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

Project Euclid
Counterexamples to the unique and cofinal branches hypotheses

Neeman, Itay ; Steel, John

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

Project Euclid
A polynomial translation of S4 into intuitionistic logic

Fernandez, David

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

Project Euclid
Abstract Beth definability in institutions

Petria, Marius ; Diaconescu, Răzvan

Text on Project Euclid
PDF
Alt PDF
p. 1002-1028

Project Euclid
Co-stationarity of the ground model

Dobrinen, Natasha ; Friedman, Sy-David

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

Project Euclid
Lowness and Π₂⁰ nullsets

Downey, Rod ; Nies, Andre ; Weber, Rebecca ; Yu, Liang

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

Project Euclid
Menger’s covering property and groupwise density

Tsaban, Boaz ; Zdomskyy, Lyubomyr

Text on Project Euclid
PDF
Alt PDF
p. 1053-1056

Project Euclid
Uniform almost everywhere domination

Cholak, Peter ; Greenberg, Noam ; Miller, Joseph S.

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

Project Euclid
Universal spaces for classes of scattered Eberlein compact spaces

Bell, Murray ; Marciszewski, Witold

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

Project Euclid
Diagonal actions and Borel equivalence relations

Ding, Longyun ; Gao, Su

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

Project Euclid
Local-global properties of positive primitive formulas in the theory of spaces of orderings

Marshall, M.

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

Project Euclid
A metamathematical condition equivalent to the existence of a complete left invariant metric for a Polish group

Thompson, Alex

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

Project Euclid
Properly Σ⁰₂ enumeration degrees and the high/low hierarchy

Giorgi, Matthew ; Sorbi, Andrea ; Yang, Yue

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

Project Euclid
Core models in the presence of Woodin cardinals

Schindler, Ralf

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

Project Euclid
Epsilon substitution method for Π⁰₂-FIX

Arai, Toshiyasu

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

Project Euclid
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency

Willard, Dan E.

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

Project Euclid
Truth in V for ∃*∀∀-sentences is decidable

Bellé, D. ; Parlamento, F.

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

Project Euclid
On Σ₁-structural differences among finite levels of the Ershov hierarchy

Yang, Yue ; Yu, Liang

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

Project Euclid
A Buchholz derivation system for the ordinal analysis of KP+Π₃-reflection

Michelbrink, Markus

Text on Project Euclid
PDF
Alt PDF
p. 1237-1283

Project Euclid
The Π₃-theory of the Σ⁰₂-enumeration degrees is undecidable

Kent, Thomas F.

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

Project Euclid
Bounds for covering numbers

Liu, Andreas

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

Project Euclid
Predicate logics of constructive arithmetical theories

Visser, Albert

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

Project Euclid
Degrees of monotone complexity

Calhoun, William C.

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

Project Euclid
A polarized partition relation for weakly compact cardinals using elementary substructures

Jones, Albin L.

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

Project Euclid
Glivenko theorems for substructural logics over FL

Galatos, Nikolaos ; Ono, Hiroakira

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

Project Euclid
Every 1-generic computes a properly 1-generic

Csima, Barbara F. ; Downey, Rod ; Greenberg, Noam ; Hirschfeldt, Denis R. ; Miller, Joseph S.

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

Project Euclid
Computability results used in differential geometry

Csima, Barbara F. ; Soare, Robert I.

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

Project Euclid
Randomness and halting probabilities

Becher, Verónica ; Figueira, Santiago ; Grigorieff, Serge ; Miller, Joseph S.

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

Project Euclid
Corrigendum to: ‘A constructive view on ergodic theorems’

Spitters, Bas

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

Project Euclid