Sommaire

An incompleteness theorem for βn-models

Mummert, Carl ; Simpson, Stephen G.

Text on Project Euclid
PDF
Alt PDF
p. 612-616

Project Euclid
Π11 relations and paths through 𝒪

Goncharov, Sergey S. ; Harizanov, Valentina S. ; Knight, Julia F. ; Shore, Richard A.

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

Project Euclid
Degrees of unsolvability of continuous functions

Miller, Joseph S.

Text on Project Euclid
PDF
Alt PDF
p. 555-584

Project Euclid
Schnorr randomness

Downey, Rodney G. ; Griffiths, Evan J.

Text on Project Euclid
PDF
Alt PDF
p. 533-554

Project Euclid
Ladder gaps over stationary sets

Abraham, Uri ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 518-532

Project Euclid
Semi-bounded relations in ordered modules

Belegradek, Oleg

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

Project Euclid
Combinatorics for the dominating and unsplitting numbers

Aubrey, Jason

Text on Project Euclid
PDF
Alt PDF
p. 482-498

Project Euclid
On a question of Herzog and Rothmaler

Pillay, Anand ; Ziegler, Martin

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

Project Euclid
Formalized token models and duality in semantics: an algebraic approach

Hansen, Lars

Text on Project Euclid
PDF
Alt PDF
p. 443-477

Project Euclid
Degree spectra of prime models

Csima, Barbara F.

Text on Project Euclid
PDF
Alt PDF
p. 430-442

Project Euclid
A partial analysis of modified realizability

van Oosten, Jaap

Text on Project Euclid
PDF
Alt PDF
p. 421-429

Project Euclid
Bi-isolation in the d.c.e. degrees

Wu, Guohua

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

Project Euclid
On almost orthogonality in simple theories

Ben-Yaacov, Itay ; Wagner, Frank O.

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

Project Euclid
Implicit proofs

Krajíček, Jan

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

Project Euclid
A universal extender model without large cardinals in V

Mitchell, William ; Schindler, Ralf

Text on Project Euclid
PDF
Alt PDF
p. 371-386

Project Euclid
A completeness theorem for symmetric product phase spaces

Ehrhard, Thomas

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

Project Euclid
On first-order sentences without finite models

Djordjević, Marko

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

Project Euclid
Jonsson-like partition relations and j: V → V

Text on Project Euclid
PDF
Alt PDF
p. 1267-1281

Project Euclid
More on regular reduced products

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

Project Euclid
Local homogeneity

Baizhanov, Bektur ; Baldwin, John T.

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

Project Euclid
Coordinatisation by binding groups and unidimensionality in simple theories

Shami, Ziv

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

Project Euclid
Generalized high degrees have the complementation property

Greenberg, Noam ; Montalbán, Antonio ; Shore, Richard A.

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

Project Euclid
Some model theory of sheaves of modules

Prest, Mike ; Puninskaya, Vera ; Ralph, Alexandra

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

Project Euclid
Bi-coloured fields on the complex numbers

Zilber, B.

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

Project Euclid
There is no SW-complete c.e. real

Yu, Liang ; Ding, Decheng

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

Project Euclid
The Mitchell order below rank-to-rank

Neeman, Itay

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

Project Euclid
Bounding prime models

Csima, Barbara F. ; Hirschfeldt, Denis R. ; Knight, Julia F. ; Soare, Robert I.

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

Project Euclid
A finite model-theoretical proof of a property of bounded query classes within PH

Kołodziejczyk, Leszek Aleksander

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

Project Euclid
Comparing DNR and WWKL

Ambos-Spies, Klaus ; Kjos-Hanssen, Bjørn ; Lempp, Steffen ; Slaman, Theodore A.

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

Project Euclid
Higher-order semantics and extensionality

Benzmüller, Christoph ; Brown, Chad E. ; Kohlhase, Michael

Text on Project Euclid
PDF
Alt PDF
p. 1027-1088

Project Euclid
Elimination theory for addition and the Frobenius map in polynomial rings

Pheidas, Thanases ; Zahidi, Karim

Text on Project Euclid
PDF
Alt PDF
p. 1006-1026

Project Euclid
A structural investigation on formal topology: coreflection of formal covers and exponentiability

Maietti, Maria Emilia ; Valentini, Silvio

Text on Project Euclid
PDF
Alt PDF
p. 967-1005

Project Euclid
Minimal complements for degrees below 0'

Lewis, Andrew

Text on Project Euclid
PDF
Alt PDF
p. 937-966

Project Euclid
Retraction note for “PDL has interpolation”

Kowalski, Tomasz

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Theories of presheaf type

Beke, Tibor

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

Project Euclid
Almost everywhere domination

Dobrinen, Natasha L. ; Simpson, Stephen G.

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

Project Euclid
Every 2-random real is Kolmogorov random

Miller, Joseph S.

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

Project Euclid
Filtering unification and most general unifiers in modal logic

Ghilardi, Silvio ; Sacchetti, Lorenzo

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

Project Euclid
On the construction of effectively random sets

Merkle, Wolfgang ; Mihailović, Nenad

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

Project Euclid
Diophantine properties of sets definable in o-minimal structures

Wilkie, A. J.

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

Project Euclid
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π 02-operators

Arai, Toshiyasu

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

Project Euclid
Dividing in the algebra of compact operators

Berenstein, Alexander

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

Project Euclid
Continuum-many Boolean algebras of the form 𝒫(ω )/ℐ, ℐ Borel

Oliver, Michael Ray

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

Project Euclid
On the intuitionistic strength of monotone inductive definitions

Tupailo, Sergei

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

Project Euclid
Leibnizian models of set theory

Enayat, Ali

Text on Project Euclid
PDF
Alt PDF
p. 775-789

Project Euclid
Patterns of paradox

Cook, Roy T.

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

Project Euclid
Solovay models and forcing extensions

Bagaria, Joan ; Bosch, Roger

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

Project Euclid
Every polynomial-time 1-degree collapses if and only if P = PSPACE

Fenner, Stephen A. ; Kurtz, Stuart A. ; Royer, James S.

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

Project Euclid
Reverse mathematics and the equivalence of definitions for well and better quasi-orders

Cholak, Peter ; Marcone, Alberto ; Solomon, Reed

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

Project Euclid
On some small cardinals for Boolean algebras

McKenzie, Ralph ; Monk, J. Donald

Text on Project Euclid
PDF
Alt PDF
p. 674-682

Project Euclid
The complexity of continuous embeddability between dendrites

Marcone, Alberto ; Rosendal, Christian

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

Project Euclid
Lovely pairs of models: the non first order case

Ben-Yaacov, Itay

Text on Project Euclid
PDF
Alt PDF
p. 641-662

Project Euclid
On spectra of sentences of monadic second order logic with counting

Fischer, E. ; Makowsky, J. A.

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

Project Euclid
Corrigendum to “A proof—technique in uniform space theory”

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

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Parsimony hierarchies for inductive inference

Ambainis, Andris ; Case, John ; Jain, Sanjay ; Suraj, Mandayam

Text on Project Euclid
PDF
Alt PDF
p. 287-327

Project Euclid
Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds

Krajíček, Jan

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

Project Euclid
Wild edge colourings of graphs

Džamonja, Mirna ; Komjáth, Péter ; Morgan, Charles

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

Project Euclid
A definability result for compact complex spaces

Radin, Dale

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

Project Euclid
Forking and independence in o-minimal theories

Dolich, Alfred

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

Project Euclid
Approximate Euler characteristic, dimension, and weak pigeonhole principles

Krajíček, Jan

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

Project Euclid
Truth definitions in finite models

Kołodziejczyk, Leszek Aleksander

Text on Project Euclid
PDF
Alt PDF
p. 183-200

Project Euclid
Standard sets in nonstandard set theory

Andreev, Petr ; Hrbacek, Karel

Text on Project Euclid
PDF
Alt PDF
p. 165-182

Project Euclid
A definable nonstandard model of the reals

Kanovei, Vladimir ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 159-164

Project Euclid
Splittings of effectively speedable sets and effectively levelable sets

Omanadze, Roland Sh.

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

Project Euclid
Model theory of comodules

Crivei, Septimiu ; Prest, Mike ; Reynders, Geert

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

Project Euclid
First order quantifiers in~monadic second order logic

Keisler, H. Jerome ; Lotfallah, Wafik Boulos

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

Project Euclid
Analytic countably splitting families

Spinas, Otmar

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

Project Euclid
A weak variation of Shelah’s I[ω2]

Mitchell, William J.

Text on Project Euclid
PDF
Alt PDF
p. 94-100

Project Euclid
Valuation theoretic content of the Marker-Steinhorn theorem

Tressl, Marcus

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

Project Euclid
Two step iteration of almost disjoint families

Vaughan, Jerry E.

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

Project Euclid
Generic Σ13 absoluteness

Friedman, Sy D.

Text on Project Euclid
PDF
Alt PDF
p. 73-80

Project Euclid
Hindman’s theorem, ultrafilters, and reverse mathematics

Hirst, Jeffry L.

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

Project Euclid
P versus NP and computability theoretic constructions in complexity theory over algebraic structures

Mainhardt, Gunther

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

Project Euclid
Some remarks on one-basedness

Wagner, Frank O.

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

Project Euclid
Sous-groupes de Carter dans les groupes de rang de Morley fini

Frécon, Olivier

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

Project Euclid
Construction of saturated quasi-minimal structure

Itai, Masanori ; Tsuboi, Akito ; Wakai, Kentaro

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

Project Euclid
Arithmetical independence results using higher recursion theory

Arana, Andrew

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

Project Euclid