Sommaire du Fascicule no. 1

Introduction to the Fiftieth Anniversary Issues

Detlefsen, Michael

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

Project Euclid
Set-theoretical Invariance Criteria for Logicality

Feferman, Solomon

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

Project Euclid
On the Ramsey Test without Triviality

Leitgeb, Hannes

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

Project Euclid
Embeddings of Computable Structures

Kach, Asher M. ; Levin, Oscar ; Solomon, Reed

Text on Project Euclid
PDF
Alt PDF
p. 55-68

Project Euclid
Inclosures, Vagueness, and Self-Reference

Priest, Graham

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

Project Euclid
Decidability and Computability of Certain Torsion-Free Abelian Groups

Downey, Rodney G. ; Goncharov, Sergei S. ; Kach, Asher M. ; Knight, Julia F. ; Kudinov, Oleg V. ; Melnikov, Alexander G. ; Turetsky, Daniel

Text on Project Euclid
PDF
Alt PDF
p. 85-96

Project Euclid
Some Puzzles of Ground

Fine, Kit

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

Project Euclid
Axiomatizing the Logic of Comparative Probability

Burgess, John P.

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

Project Euclid
$\Pi^0_1$ Classes, Peano Arithmetic, Randomness, and Computable Domination

Diamondstone, David E. ; Dzhafarov, Damir D. ; Soare, Robert I.

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

Project Euclid
Numerical Abstraction via the Frege Quantifier

Antonelli, G. Aldo

Text on Project Euclid
PDF
Alt PDF
p. 161-179

Project Euclid
The Consistency Strength of $\mathrm{MP_{CCC}}(\mathbb{R})$

Leibman, George

Text on Project Euclid
PDF
Alt PDF
p. 181-193

Project Euclid
Relative Randomness and Cardinality

Barmpalias, George

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

Project Euclid
Past Probabilities

Hansson, Sven Ove

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

Project Euclid
Syntactic Preservation Theorems for Intuitionistic Predicate Logic

Fleischmann, Jonathan

Text on Project Euclid
PDF
Alt PDF
p. 225-245

Project Euclid
Definable Open Sets As Finite Unions of Definable Open Cells

Andrews, Simon

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

Project Euclid
Syntax in Basic Laws §§29–32

Pickel, Bryan

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

Project Euclid
Effective Packing Dimension and Traceability

Downey, Rod ; Ng, Keng Meng

Text on Project Euclid
PDF
Alt PDF
p. 279-290

Project Euclid
Indestructible Strong Unfoldability

Hamkins, Joel David ; Johnstone, Thomas A.

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

Project Euclid
On Generalizing Kolmogorov

Dietz, Richard

Text on Project Euclid
PDF
Alt PDF
p. 323-335

Project Euclid
An Extension of van Lambalgen's Theorem to Infinitely Many Relative 1-Random Reals

Miyabe, Kenshi

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

Project Euclid
Pure Second-Order Logic with Second-Order Identity

Paseau, Alexander

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

Project Euclid
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω

Johnson, Gregory M.

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

Project Euclid
Polyadic Quantification via Denoting Concepts

Simchen, Ori

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

Project Euclid
Point-free Foundation of Geometry and Multivalued Logic

Coppola, Cristina ; Gerla, Giangiacomo ; Miranda, Annamaria

Text on Project Euclid
PDF
Alt PDF
p. 383-405

Project Euclid
Justification by Infinite Loops

Atkinson, David ; Peijnenburg, Jeanne

Text on Project Euclid
PDF
Alt PDF
p. 407-416

Project Euclid
Subclasses of the Weakly Random Reals

Franklin, Johanna N. Y.

Text on Project Euclid
PDF
Alt PDF
p. 417-426

Project Euclid
A Covering Lemma for HOD of K(ℝ)

Cunningham, Daniel W.

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

Project Euclid
A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree

Cai, Mingzhong

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

Project Euclid
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic

Sørensen, Morten H. ; Urzyczyn, Paweł

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

Project Euclid
A Natural Model of the Multiverse Axioms

Gitman, Victoria ; Hamkins, Joel David

Text on Project Euclid
PDF
Alt PDF
p. 475-484

Project Euclid
Metalogic of Intuitionistic Propositional Calculus

Citkin, Alex

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

Project Euclid
A Note on Majkić's Systems

Omori, Hitoshi ; Waragai, Toshiharu

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

Project Euclid