1
BOOLEAN RELATION
THEORY AND
INCOMPLETENESS
Harvey M. Friedman
Distinguished University Professor of Mathematics,
Philosophy, and Computer Science
The Ohio State University
June 13, 2011 version
TABL
1
WHAT IS O-MINIMALITY?
by
Harvey M. Friedman
Ohio State University
November 8, 2006
We define the crucial notion of o-minimality for expansions
of the field of real numbers, in particularly friendly
1
CONCEPT CALCULUS
APA PANEL on LOGIC IN PHILOSOPHY
by
Harvey M. Friedman
http:/www.math.ohio-state.edu/~friedman/
Distinguished University Professor of Mathematics,
Philosophy, and Computer Science
O
1
WHAT IS O-MINIMALITY?
by
Harvey M. Friedman*
Ohio State University
[email protected]
http:/www.math.ohio-state.edu/%7Efriedman/
November 8, 2006
Revised September 6, 2007
Abstract. We cha
1
CONCEPT CALCULUS
APA PANEL on LOGIC IN PHILOSOPHY
by
Harvey M. Friedman
http:/www.math.ohio-state.edu/~friedman/
Distinguished University Professor of Mathematics,
Philosophy, and Computer Science
O
1
DOES MATHEMATICS NEED NEW AXIOMS?
ASL Meeting, Urbana
Panel discussion: June 5, 2000
Harvey M. Friedman
The point of view of the set theory community is well
represented here. I want to concentrate
1
WORKING WITH NONSTANDARD MODELS
Harvey M. Friedman
[email protected]
http:/www.mathpreprints.com/
July 31, 2003
Most of the research in foundations of mathematics that I
do in some way or
1
LECTURE NOTES ON BABY BOOLEAN RELATION THEORY*
Harvey M. Friedman
Department of Mathematics
Ohio State University
[email protected]
December 4, 2000
October 3, 2001
Abstract. This is an i
The number of certain integral polynomials and
nonrecursive sets of integers, part 2
Harvey M. Friedman
Department of Mathematics
Ohio State University
[email protected]
February 22, 2004
A
cfw_PAGE
THE AXIOMATIZATION OF SET THEORY BY EXTENSIONALITY,
SEPARATION, AND REDUCIBILITY
preliminary report
by
Harvey M. Friedman
Department of Mathematics
Ohio State University
Columbus, Ohio 43210
BOOLEAN RELATION THEORY AND MORE
by
Harvey M. Friedman
Ohio State University
MIT LOGIC SEMINAR
November 3, 2009
[email protected]
www.math.ohio-state.edu/~friedman
4:30-6PM
We will start wi
1
A WAY OUT
Harvey M. Friedman
Department of Mathematics
http:/www.math.ohio-state.edu/~friedman/
Ohio State University
August 28, 2002
ABSTRACT. We present a way out of Russells paradox for
sets in t
1
METAMATHEMATICS OF ULM THEORY
by
Harvey M. Friedman
Department of Mathematics
Ohio State University
http:/www.math.ohio-state.edu/~friedman/
June 24, 1999
November 25, 2001
INCOMPLETE DRAFT
Abstract
1
A WAY OUT
Harvey M. Friedman
Ohio State University
August 28, 2002
ABSTRACT. We present a way out of Russells paradox for
sets in the form of a direct weakening of the usual
inconsistent full compre
1
This is an MS Word formatted version of my FOM posting #258
of November 27, 2005, at
http:/www.cs.nyu.edu/pipermail/fom/2005November/009395.html
Quite a number of typographical errors in the FOM pos
1
CONCEPT CALCULUS
by
Harvey M. Friedman
Mathematical Methods in Philosophy
Banff Research Center
University Professor
Ohio State University
February 21, 2007
1. THE GENERAL NATURE OF CONCEPT CALCULUS
1
WHAT IS O-MINIMALITY?
by
Harvey M. Friedman*
Ohio State University
[email protected]
http:/www.math.ohio-state.edu/%7Efriedman/
November 8, 2006
Revised September 6, 2007
Revised October
1
COMPUTER ASSISTED CERTAINTY
by
Harvey M. Friedman
Computer Science Lecture Series
University of Kentucky
Ohio State University
January 25, 2007
ABSTRACT
Certainty (and the lack thereof) is a major i
1
FINITE PHASE TRANSITIONS
Harvey M. Friedman*
Ohio State University
September 26, 2010
DRAFT
This topic has been discussed earlier on the FOM email list
in various guises. The common theme is: big nu
1
WHAT YOU CANNOT PROVE 1: before 2000
by
Harvey M. Friedman
Department of Mathematics
Ohio State University
December 19, 2005
http:/www.math.ohio-state.edu/%7Efriedman/
Most of my intellectual effort
1
FINITE PHASE TRANSITIONS
Harvey M. Friedman*
Ohio State University
September 26, 2010
10AM
DRAFT
This topic has been discussed earlier on the FOM email list
in various guises. The common theme is: b
BOOLEAN RELATION
THEORY
by
Harvey M. Friedman
Distinguished University Professor
Mathematics, Philosophy, Computer
Science
Ohio State University
[email protected]
http:/www.math.ohio-state.
1
FINITE PHASE TRANSITIONS
Harvey M. Friedman*
Ohio State University
September 25, 2010
DRAFT
This topic has been discussed earlier on the FOM email list
in various guises. The common theme is: big nu
BOOLEAN RELATION
THEORY
by
Harvey M. Friedman
Ohio State University
[email protected]
http:/www.math.ohio-state.edu/%7Efriedman/
Mathematical Logic Seminar
Carnegie Mellon University
March
1
ADJACENT RAMSEY THEORY
by
Harvey M. Friedman*
Department of Mathematics
Ohio State University
January 23, 2008
July 27, 2010
August 29, 2010
DRAFT
Abstract. We introduce Adjacent Ramsey Theory, whic
1
SELECTION FOR BOREL RELATIONS
by
Harvey M. Friedman*
Department of Mathematics
Ohio State University
[email protected]
http:/www.math.ohio-state.edu/~friedman/
September 30, 2001
Abstract
1
The manuscript below corresponds to my talk presented to
the mathematics Colloquium, but with references added
later. The references are by no means complete,
particularly with regard to books that
1
BOREL AND BAIRE REDUCIBILITY
by
Harvey M. Friedman
Department of Mathematics
Ohio State University
Columbus, Ohio 43210
[email protected]
http:/www.math.ohio-state.edu/~friedman/
May 25,
1
ON EXPANSIONS OF O-MINIMAL STRUCTURES
PRELIMINARY REPORT
by
Harvey M. Friedman
Department of Mathematics
Ohio State University
November 23, 1996
[email protected]
www.math.ohio-state.edu/