PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444864765

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Global and Local Admissibility

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71371-5 ◽

1982 ◽

pp. 325-338

Author(s):

C.T. Chong

Keyword(s):

Global And Local

Download Full-text

The Addison Game Played Backwards: Index Sets in Topology

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71366-1 ◽

1982 ◽

pp. 231-237

Author(s):

Louise Hay ◽

Douglas E. Miller

Keyword(s):

Index Sets

Download Full-text

Recursion Theory on Matroids

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71356-9 ◽

1982 ◽

pp. 41-65 ◽

Cited By ~ 8

Author(s):

A. Nerode ◽

J. Remmel

Keyword(s):

Recursion Theory

Download Full-text

Prologos

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71354-5 ◽

1982 ◽

pp. ix

Download Full-text

Model Theory and Lattices of Formulas

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71368-5 ◽

1982 ◽

pp. 261-295

Author(s):

Volker Weispfenning

Keyword(s):

Model Theory

Download Full-text

The Turing Degrees and the Metadegrees have Isomorphic Cones*

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71362-4 ◽

1982 ◽

pp. 145-157 ◽

Cited By ~ 1

Author(s):

Sy D. Friedman

Keyword(s):

Turing Degrees

Download Full-text

A Finite Combinatorial Principle Which is Equivalent to the 1-Consistency of Predicative Analysis

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71365-x ◽

1982 ◽

pp. 197-230 ◽

Cited By ~ 24

Author(s):

Harvey M. Friedman ◽

Kenneth McAloon ◽

Stephen G. Simpson

Keyword(s):

Combinatorial Principle

Download Full-text

Saturated Ideals and Nonregular Ultrafilters

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71369-7 ◽

1982 ◽

pp. 297-305 ◽

Cited By ~ 9

Author(s):

Richard Laver

Download Full-text

Major Subsets in Effective Topology

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71358-2 ◽

1982 ◽

pp. 77-94 ◽

Cited By ~ 6

Author(s):

Iraj Kalantari

Download Full-text

Generalized Quantifiers in Models of Set Theory

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71373-9 ◽

1982 ◽

pp. 359-371 ◽

Cited By ~ 1

Author(s):

Jouko Väänánen

Keyword(s):

Set Theory ◽

Generalized Quantifiers ◽

Models Of Set Theory

Download Full-text

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Global and Local Admissibility

The Addison Game Played Backwards: Index Sets in Topology

Recursion Theory on Matroids

Prologos

Model Theory and Lattices of Formulas

The Turing Degrees and the Metadegrees have Isomorphic Cones*

A Finite Combinatorial Principle Which is Equivalent to the 1-Consistency of Predicative Analysis

Saturated Ideals and Nonregular Ultrafilters

Major Subsets in Effective Topology

Generalized Quantifiers in Models of Set Theory

PATRAS LOGIC SYMPOSION - Studies in Logic and the Foundations of Mathematics
Latest Publications