Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Reverse Mathematics: Proofs from the Inside Out (view)

searching for Reverse mathematics 8 found (366 total)

Gödel Lecture (586 words) [view diff] case mismatch in snippet view article find links to article

model problem of one supercompact cardinal. 2009 Richard Shore, Reverse Mathematics: the Playground of Logic. 2010 Alexander Razborov, Complexity of

Samuel Buss (324 words) [view diff] exact match in snippet view article find links to article

which he has contributed to include bounded arithmetic, bounded reverse mathematics, and lower bounds in propositional proof systems. "A Limit of First

Richard Shore (290 words) [view diff] exact match in snippet view article find links to article

Functions by Relative Computability. In 2009, he was the Gödel Lecturer (Reverse mathematics: the playground of logic). He was an editor from 1984 to 1993 of

Association for Symbolic Logic (1,168 words) [view diff] case mismatch in snippet view article find links to article

propositional proofs The Twentieth Annual Gödel Lecture 2009 Richard Shore, Reverse Mathematics: the Playground of Logic The Nineteenth Annual Gödel Lecture 2008

Computable number (3,269 words) [view diff] exact match in snippet view article find links to article

ISBN 978-0-521-31802-0. Hirst, Jeffry L. (2007). "Representations of reals in reverse mathematics". Bulletin of the Polish Academy of Sciences, Mathematics. 55 (4):

Constructive analysis (4,955 words) [view diff] case mismatch in snippet view article find links to article

Issue 01 / March 1996, pp 1-71 Diener, Hannes (2020). "Constructive Reverse Mathematics". arXiv:1804.05495 [math.LO]. Bishop, Errett (1967). Foundations

De Bruijn–Erdős theorem (graph theory) (3,616 words) [view diff] exact match in snippet view article

MR 3607036, S2CID 31135533. Schmerl, James H. (2000), "Graph coloring and reverse mathematics", Mathematical Logic Quarterly, 46 (4): 543–548, doi:10

List of Jewish mathematicians (15,836 words) [view diff] exact match in snippet view article find links to article

1932), partial differential equations Harvey Friedman (born 1948), reverse mathematics Sy Friedman (born 1953), set theory and recursion theory David Friesenhausen