Sommaire du Fascicule no. 1

Introduction to the Special Issue on Vaught's Conjecture

Cholak, Peter

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

Project Euclid
Vaught's Conjecture Workshop Participants

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

Project Euclid
Bounds on Weak Scattering

Sacks, Gerald E.

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

Project Euclid
Complexity Ranks of Countable Models

Gao, Su

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

Project Euclid
A Note on Counterexamples to the Vaught Conjecture

Hjorth, Greg

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

Project Euclid
Categories of Topological Spaces and Scattered Theories

Knight, R. W.

Text on Project Euclid
PDF
Alt PDF
p. 53-77

Project Euclid
The Vaught Conjecture: Do Uncountable Models Count?

Baldwin, John T.

Text on Project Euclid
PDF
Alt PDF
p. 79-92

Project Euclid
The Borel Complexity of Isomorphism for Theories with Many Types

Marker, David

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

Project Euclid
The Number of Countable Differentially Closed Fields

Marker, David

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

Project Euclid
Relative Vaught's Conjecture for Some Meager Groups

Newelski, Ludomir

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

Project Euclid
An Old Friend Revisited: Countable Models of ω-Stable Theories

Laskowski, Michael C.

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

Project Euclid
Computability of Homogeneous Models

Lange, Karen ; Soare, Robert I.

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

Project Euclid
Proceedings of the Problem Session

Text on Project Euclid
PDF
Alt PDF
p. 171-173

Project Euclid
On the Symmetric Enumeration Degrees

Harris, Charles M.

Text on Project Euclid
PDF
Alt PDF
p. 175-204

Project Euclid
Semantical Characterizations for Irreflexive and Generalized Modal Languages

Katsuhiko, SANO ; Kentaro, SATO

Text on Project Euclid
PDF
Alt PDF
p. 205-228

Project Euclid
Permutation Models and SVC

Hall, Eric J.

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

Project Euclid
The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility

Mares, Edwin D.

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

Project Euclid
Church's Thesis and the Conceptual Analysis of Computability

Rescorla, Michael

Text on Project Euclid
PDF
Alt PDF
p. 253-280

Project Euclid
A Note on Weakly O-Minimal Structures and Definable Completeness

Dolich, Alfred

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

Project Euclid
Hyperimmunity in 2\sp ℕ

Binns, Stephen

Text on Project Euclid
PDF
Alt PDF
p. 293-316

Project Euclid
Order-Computable Sets

Hirschfeldt, Denis ; Miller, Russell ; Podzorov, Sergei

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

Project Euclid
Cuppability of Simple and Hypersimple Sets

Kummer, Martin ; Schaefer, Marcus

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

Project Euclid
Ages of Expansions of ω-Categorical Structures

Ivanov, A. ; Majcher, K.

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

Project Euclid
Propositional Proof Systems and Fast Consistency Provers

Joosten, Joost J.

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

Project Euclid
Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint

Sureson, Claude

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

Project Euclid
Interval Orders and Reverse Mathematics

Marcone, Alberto

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

Project Euclid
Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property

Martínez Fernández, José

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

Project Euclid
Finiteness Axioms on Fragments of Intuitionistic Set Theory

Camerlo, Riccardo

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

Project Euclid
An Algebraic Approach to the Disjunction Property of Substructural Logics

Souma, Daisuke

Text on Project Euclid
PDF
Alt PDF
p. 489-495

Project Euclid
On Interpretations of Arithmetic and Set Theory

Kaye, Richard ; Wong, Tin Lok

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

Project Euclid
The Modal Logic of Cluster-Decomposable Kripke Interpretations

Tiomkin, Michael ; Kaminski, Michael

Text on Project Euclid
PDF
Alt PDF
p. 511-520

Project Euclid
A Sound and Complete Proof Theory for Propositional Logical Contingencies

Morgan, Charles ; Hertel, Alexander ; Hertel, Philipp

Text on Project Euclid
PDF
Alt PDF
p. 521-530

Project Euclid
The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups

Scowcroft, Philip

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

Project Euclid