Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444878342

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Nonstandard Models and Related Developments

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70160-0 ◽

1985 ◽

pp. 179-229 ◽

Cited By ~ 12

Author(s):

C. Smoryński

Keyword(s):

Nonstandard Models

Download Full-text

Mathematical Aspects of Recursive Function Theory

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70167-3 ◽

1985 ◽

pp. 339-352 ◽

Cited By ~ 2

Author(s):

Robert E. Byerly

Keyword(s):

Recursive Function ◽

Function Theory

Download Full-text

Computational Complexity of Real Functions

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70164-8 ◽

1985 ◽

pp. 309-315 ◽

Cited By ~ 1

Author(s):

J.C. Shepherdson

Keyword(s):

Computational Complexity ◽

Real Functions

Download Full-text

The Varieties of Arboreal Experience ,

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70170-3 ◽

1985 ◽

pp. 381-397 ◽

Cited By ~ 2

Author(s):

C. Smoryński

Download Full-text

Borel Structures for First-order and Extended Logics

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70159-4 ◽

1985 ◽

pp. 161-178 ◽

Cited By ~ 2

Author(s):

Charles Steinhorn

Keyword(s):

First Order

Download Full-text

The Consistency Strengths of Some Finite Forms of the Higman and Kruskal Theorems

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70157-0 ◽

1985 ◽

pp. 119-136 ◽

Cited By ~ 9

Author(s):

Rick L. Smith

Keyword(s):

Consistency Strengths

Download Full-text

Some Rapidly Growing Functions,

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70169-7 ◽

1985 ◽

pp. 367-380 ◽

Cited By ~ 1

Author(s):

Craig Smorynski

Download Full-text

Copyright page

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70150-8 ◽

1985 ◽

pp. iv

Download Full-text

Biography of Harvey Friedman

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70153-3 ◽

1985 ◽

pp. xiii

Download Full-text

Borel Diagonalization and Abstract Set Theory: Recent Results of Harvey Friedman

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70155-7 ◽

1985 ◽

pp. 11-86 ◽

Cited By ~ 4

Author(s):

Lee J. Stanley

Keyword(s):

Set Theory

Download Full-text

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Nonstandard Models and Related Developments

Mathematical Aspects of Recursive Function Theory

Computational Complexity of Real Functions

The Varieties of Arboreal Experience ,

Borel Structures for First-order and Extended Logics

The Consistency Strengths of Some Finite Forms of the Higman and Kruskal Theorems

Some Rapidly Growing Functions,

Copyright page

Biography of Harvey Friedman

Borel Diagonalization and Abstract Set Theory: Recent Results of Harvey Friedman

Harvey Friedman's Research on the Foundations of Mathematics - Studies in Logic and the Foundations of Mathematics
Latest Publications