Sommaire

On the Degrees of Diagonal Sets and the Failure of the Analogue of a Theorem of Martin

Ng , Keng Meng

Text on Project Euclid
PDF
Alt PDF
p. 469-493

Project Euclid
Packing Index of Subsets in Polish Groups

Banakh , Taras ; Lyaskovska , Nadya ; Repovš , Dušan

Text on Project Euclid
PDF
Alt PDF
p. 453-468

Project Euclid
Superhighness

Kjos-Hanssen , Bjørn ; Nies , Andrée

Text on Project Euclid
PDF
Alt PDF
p. 445-452

Project Euclid
Ramsey's Theorem for Pairs and Provably Recursive Functions

Kreuzer , Alexander ; Kohlenbach , Ulrich

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

Project Euclid
How Incomputable Is the Separable Hahn-Banach Theorem?

Gherardi , Guido ; Marcone , Alberto

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

Project Euclid
The K-Degrees, Low for K Degrees,and Weakly Low for K Sets

Miller , Joseph S.

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

Project Euclid
Comparing Borel Reducibility and Depth of an ω-Stable Theory

Koerwien , Martin

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

Project Euclid
Introduction to the Fiftieth Anniversary Issues

Detlefsen , Michael

Text on Project Euclid
PDF
Alt PDF
p. 363 - 364

Project Euclid
Book Review: Logic, Mathematics, and the Mind: A Critical Study of Richard Tieszen's Phenomenology, Logic, and the Philosophy of Mathematics

Hanna, Robert

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

Project Euclid
A Topological Approach to Yablo's Paradox

Bernardi, Claudio

Text on Project Euclid
PDF
Alt PDF
p. 331-338

Project Euclid
George Boole's Deductive System

Brown, Frank Markham

Text on Project Euclid
PDF
Alt PDF
p. 303-330

Project Euclid
$\in_I$ : An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity

Lewitzka, Steffen

Text on Project Euclid
PDF
Alt PDF
p. 275-301

Project Euclid
Proof-finding Algorithms for Classical and Subclassical Propositional Logics

Bunder, M. W. ; Rizkalla, R. M.

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

Project Euclid
A Reverse Analysis of the Sylvester-Gallai Theorem

Pambuccian, Victor

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

Project Euclid
Finitary Set Theory

Kirby, Laurence

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

Project Euclid
Book Review: Stewart Shapiro. Vagueness in Context

Horsten, Leon

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

Project Euclid
Times in Tense Logic

Meyer, Ulrich

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

Project Euclid
Grigorieff Forcing on Uncountable Cardinals Does Not Add a Generic of Minimal Degree

Andersen, Brooke M. ; Groszek, Marcia J.

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

Project Euclid
Justification by an Infinity of Conditional Probabilities

Atkinson, David ; Peijnenburg, Jeanne

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

Project Euclid
Structural Completeness in Fuzzy Logics

Cintula, Petr ; Metcalfe, George

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

Project Euclid
On Interpretations of Bounded Arithmetic and Bounded Set Theory

Pettigrew, Richard

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

Project Euclid
De Finetti Coherence and Logical Consistency

Dickey, James M. ; Eaton, Morris L. ; Sudderth, William D.

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

Project Euclid
Collapsing Modalities

Humberstone, Lloyd

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

Project Euclid
Book Review: Jody Azzouni. Tracking Reason: Proof, Consequence, and Truth.

Sher, Gila

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

Project Euclid
On Interpretability in the Theory of Concatenation

Švejdar, Vítězslav

Text on Project Euclid
PDF
Alt PDF
p. 87-95

Project Euclid
Growing Commas. A Study of Sequentiality and Concatenation

Visser, Albert

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

Project Euclid
Factorization of the Shoenfield-like Bounded Functional Interpretation

Gaspar, Jaime

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

Project Euclid
Generalized Halfspaces in the Mixed-Integer Realm

Scowcroft, Philip

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

Project Euclid
Dual Gaggle Semantics for Entailment

Bimbó, Katalin

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

Project Euclid
Isomorphism of Homogeneous Structures

Clemens, John D.

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

Project Euclid