-
Solomon Feferman (December 13, 1928 – July 26, 2016) was an
American philosopher and
mathematician who
worked in
mathematical logic. In
addition to his...
- In mathematics, the
Feferman–Schütte
ordinal (Γ0) is a
large countable ordinal. It is the proof-theoretic
ordinal of
several mathematical theories, such...
-
Encyclopedia of Philosophy.
Feferman A.
Feferman &
Feferman, p.1
Feferman &
Feferman, pp.17-18
Feferman &
Feferman, p.26
Feferman &
Feferman, p.294 "Most of the...
-
Feferman–Vaught
theorem in
model theory is a
theorem by
Solomon Feferman and
Robert Lawson Vaught that
shows how to reduce, in an
algorithmic way, the...
-
Wilhelm Ackermann,
Heinz Bachmann,
Wilfried Buchholz,
Georg Cantor,
Solomon Feferman,
Gerhard Jäger, Isles, Pfeiffer,
Wolfram Pohlers, Kurt Schütte,
Gaisi Takeuti...
-
Anita Burdman Feferman (July 27, 1927 – April 9, 2015) was an
American historian of
mathematics and biographer,
known for her
biographies of Jean van Heijenoort...
- 1986
American teen
comedy drama film co-written and
directed by
Linda Feferman (in her only full-length
directorial film). It
stars Jennifer Connelly...
- }(0)} ,
which is the
Feferman–Schütte ordinal. Thus, ψ ( Ω Ω ) = Γ 0 {\displaystyle \psi (\Omega ^{\Omega })=\Gamma _{0}} is the
Feferman–Schütte ordinal....
- 0 ) = α {\displaystyle \varphi _{\alpha }(0)=\alpha } is
known as the
Feferman–Schütte
ordinal and
generally written Γ 0 {\displaystyle \Gamma _{0}} ...
- Takeuti–
Feferman–Buchholz
ordinal (TFBO) is a
large countable ordinal,
which acts as the
limit of the
range of Buchholz's psi
function and
Feferman's theta...
