Logic and Computation - Contemporary Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By American Mathematical Society

9780821851104, 9780821876947

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hierarchy results for mixed-time

Logic and Computation - Contemporary Mathematics ◽

10.1090/conm/106/1057824 ◽

1990 ◽

pp. 213-220

Author(s):

Ken McAloon

Notions of closed subsets of a complete separable metric space in weak subsystems of second-order arithmetic

Logic and Computation - Contemporary Mathematics ◽

10.1090/conm/106/1057814 ◽

1990 ◽

pp. 39-50 ◽

Cited By ~ 5

Author(s):

Douglas K. Brown

Keyword(s):

Metric Space ◽

Second Order ◽

Second Order Arithmetic ◽

Order Arithmetic ◽

Complete Separable Metric Space ◽

Separable Metric Space

Ramsey interpreted: a parametric version of Ramsey’s theorem

Logic and Computation - Contemporary Mathematics ◽

10.1090/conm/106/1057813 ◽

1990 ◽

pp. 17-37 ◽

Cited By ~ 3

Author(s):

Gianluigi Bellin

Keyword(s):

Ramsey's Theorem ◽

Ramsey’S Theorem ◽

Parametric Version

Polynomial time equivalence types

Logic and Computation - Contemporary Mathematics ◽

10.1090/conm/106/1057825 ◽

1990 ◽

pp. 221-249 ◽

Cited By ~ 5

Author(s):

A. Nerode ◽

J. B. Remmel

Keyword(s):

Polynomial Time

A smash-based hierarchy between PTIME and PSPACE (preliminary version)

Logic and Computation - Contemporary Mathematics ◽

10.1090/conm/106/1057817 ◽

1990 ◽

pp. 85-100 ◽

Cited By ~ 1

Author(s):

Peter G. Clote

Keyword(s):

Preliminary Version

Axiomatizations and conservation results for fragments of bounded arithmetic

Logic and Computation - Contemporary Mathematics ◽

10.1090/conm/106/1057816 ◽

1990 ◽

pp. 57-84 ◽

Cited By ~ 22

Author(s):

Samuel R. Buss

Keyword(s):

Bounded Arithmetic

Sharply bounded arithmetic and the function 𝑎\𝑠𝑡𝑎𝑐𝑘𝑟𝑒𝑙{.}-1

Logic and Computation - Contemporary Mathematics ◽

10.1090/conm/106/1057828 ◽

1990 ◽

pp. 281-288 ◽

Cited By ~ 7

Author(s):

Gaisi Takeuti

Keyword(s):

Bounded Arithmetic

Some models of Scott’s theory 𝐿𝐶𝐹 based on a notion of rate of convergence

Logic and Computation - Contemporary Mathematics ◽

10.1090/conm/106/1057827 ◽

1990 ◽

pp. 263-280

Author(s):

Rick Statman

Keyword(s):

Rate Of Convergence

Computationally based set existence principles

Logic and Computation - Contemporary Mathematics ◽

10.1090/conm/106/1057823 ◽

1990 ◽

pp. 197-211 ◽

Cited By ~ 2

Author(s):

Daniel Leivant

Marriage theorems and reverse mathematics

Logic and Computation - Contemporary Mathematics ◽

10.1090/conm/106/1057822 ◽

1990 ◽

pp. 181-196 ◽

Cited By ~ 11

Author(s):

Jeffry L. Hirst

Keyword(s):

Reverse Mathematics

Logic and Computation - Contemporary MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By American Mathematical Society

Hierarchy results for mixed-time

Notions of closed subsets of a complete separable metric space in weak subsystems of second-order arithmetic

Ramsey interpreted: a parametric version of Ramsey’s theorem

Polynomial time equivalence types

A smash-based hierarchy between PTIME and PSPACE (preliminary version)

Axiomatizations and conservation results for fragments of bounded arithmetic

Sharply bounded arithmetic and the function 𝑎\𝑠𝑡𝑎𝑐𝑘𝑟𝑒𝑙{.}-1

Some models of Scott’s theory 𝐿𝐶𝐹 based on a notion of rate of convergence

Computationally based set existence principles

Marriage theorems and reverse mathematics

Logic and Computation - Contemporary Mathematics
Latest Publications