13 | September | 2010 | A kind of library

Mathematical Ancestry

September 13, 2010

This thing of beauty was my Father’s day gift this June. The gigantic poster is in my office at home.

Besides its being obviously intimidating and fun, it adds to my usual angst with an odd sense of responsibility. Here is a link to The Mathematics Genealogy Project.

Leave a Comment » | Life, math.HO | Permalink
Posted by andrescaicedo

170- Quiz 3

September 13, 2010

Quiz 3 is here.

Solutions follow.

Read the rest of this entry »

Leave a Comment » | 170: Calculus I | Permalink
Posted by andrescaicedo

170- Quiz 2

September 13, 2010

Quiz 2 is here.

Solutions follow.

Read the rest of this entry »

Leave a Comment » | 170: Calculus I | Permalink
Posted by andrescaicedo

You are currently browsing the A kind of library blog archives for the day Monday, September 13th, 2010.
Categories

Categories
Search

Mathematical links
My pages
Others
Mathoverflow
- Answer by Andrés E. Caicedo for Most memorable titles October 31, 2010
  Marginalia to a theorem of Silver (see also this link) by Keith I. Devlin and R. B. Jensen, 1975. A humble title and yet, undoubtedly, one of the most important papers of all time in set theory.
  Andrés E. Caicedo
- Ramsey multiplicity May 26, 2010
  Given a positive integer $a$, the Ramsey number $R(a)$ is the least $n$ such that whenever the edges of the complete graph $K_n$ are colored using only two colors, we necessarily have a copy of $K_a$ with all its edges of the same color. For example, $R(3)= 6$, which is usually stated by saying that in a party of 6 people, necessarily there are 3 that know e […]
  Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Is it consistent to have a function that is sensitive to subset relation from the power set of a set to that set? June 27, 2020
  No, this is not consistent. Todorčević has shown in ZF that, in fact, there is no function $F\!:\mathcal W(S)\to S$ with the property you require. Here, $\mathcal W(S)$ is the collection of subsets of $S$ that are well-orderable. This is corollary 6 in MR0793235 (87d:03126). Todorčević, Stevo. Partition relations for partially ordered sets. Acta Math. 155 (1 […]
  Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Who introduced direct limits? April 19, 2020
  As suggested by Gerald, the notion was first introduced for groups. Given a directed system of groups, their direct limit was defined as a quotient of their direct product (which was referred to as their "weak product"). The general notion is a clear generalization, although the original reference only deals with groups. As mentioned by Cameron Zwa […]
  Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Atlas-like websites on specific areas of mathematics March 8, 2020
  A database of number fields, by Jürgen Klüners and Gunter Malle. (Note this is not the same as the one mentioned in this answer.) The site also provides links to similar databases.
  Andrés E. Caicedo
Math.StackExchange
- Answer by Andrés E. Caicedo for Skolem hulls in arbitrary models of some fragments of ZFC November 4, 2020
  You do not need much to recover the full ultrapower. In fact, the $\Sigma_1$-weak Skolem hull should suffice, where the latter is defined by using not all Skolem functions but only those for $\Sigma_1$-formulas, and not even that, but only those functions defined as follows: given a $\Sigma_1$ formula $\varphi(t,y_1,\dots,y_n)$, let $f_\varphi:{}^nN\to N$ be […]
  Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Is there an object such that its unique existence follows from choice axiom, while its existence cannot be proven without choice axiom? November 3, 2020
  I posted this originally as a comment to Alex's answer but, at his suggestion, I am expanding it into a proper answer. This situation actually occurs in practice in infinitary combinatorics: we use the axiom of choice to establish the existence of an object, but its uniqueness then follows without further appeals to choice. I point this out to emphasize […]
  Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Series that converge to $\pi$ quickly December 13, 2010
  I think you may find interesting to browse the webpage of Jon Borwein, which I would call the standard reference for your question. In particular, take a look at the latest version of his talk on "The life of pi" (and its references!), which includes many of the fast converging algorithms and series used in practice for high precision computations […]
  Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Reference for consistency strength of ZFC + AD$^{L(R)}$ September 29, 2020
  The reference you want is MR2768702. Koellner, Peter; Woodin, W. Hugh. Large cardinals from determinacy. Handbook of set theory. Vols. 1, 2, 3, 1951–2119, Springer, Dordrecht, 2010. Other sources (such as the final chapter of Kanamori's book) briefly discuss the result, but this is the only place where the details are given. More recent papers deal with […]
  Andrés E. Caicedo
- Answer by Andrés E. Caicedo for Proper and improper forcing Stationarity September 16, 2020
  For the first question, $\omega_1$ is a subset of $[\omega_1]^{
  Andrés E. Caicedo
September 2010

M T W T F S S

1 2 3 4 5

6 7 8 9 10 11 12

13 14 15 16 17 18 19

20 21 22 23 24 25 26

27 28 29 30

« Aug Oct »
Archives
- June 2019 (2)
- February 2019 (7)
- December 2018 (1)
- October 2018 (2)
- August 2018 (1)
- February 2018 (1)
- October 2017 (1)
- July 2017 (1)
- September 2016 (2)
- August 2016 (3)
- July 2016 (2)
- April 2016 (1)
- October 2015 (1)
- June 2015 (1)
- May 2015 (1)
- April 2015 (7)
- March 2015 (5)
- February 2015 (7)
- January 2015 (11)
- December 2014 (2)
- November 2014 (5)
- October 2014 (6)
- September 2014 (3)
- August 2014 (3)
- April 2014 (3)
- March 2014 (5)
- February 2014 (2)
- January 2014 (2)
- December 2013 (2)
- November 2013 (10)
- October 2013 (6)
- September 2013 (7)
- August 2013 (5)
- June 2013 (1)
- May 2013 (8)
- April 2013 (7)
- March 2013 (5)
- February 2013 (9)
- January 2013 (2)
- November 2012 (1)
- September 2012 (1)
- August 2012 (3)
- May 2012 (3)
- April 2012 (10)
- March 2012 (4)
- February 2012 (13)
- January 2012 (15)
- November 2011 (8)
- October 2011 (14)
- September 2011 (7)
- August 2011 (1)
- April 2011 (1)
- March 2011 (3)
- February 2011 (4)
- January 2011 (7)
- December 2010 (1)
- November 2010 (7)
- October 2010 (12)
- September 2010 (13)
- August 2010 (3)
- May 2010 (4)
- April 2010 (11)
- March 2010 (6)
- February 2010 (12)
- December 2009 (9)
- November 2009 (11)
- October 2009 (13)
- September 2009 (19)
- August 2009 (10)
- June 2009 (1)
- May 2009 (2)
- April 2009 (14)
- March 2009 (17)
- February 2009 (19)
- January 2009 (15)
- December 2008 (5)
- November 2008 (12)
- October 2008 (17)
- September 2008 (10)
- August 2008 (3)
- June 2008 (3)
- May 2008 (15)
- April 2008 (21)
- March 2008 (10)
- February 2008 (13)
- January 2008 (11)
- September 2007 (1)
- July 2007 (1)
- March 2007 (4)
- February 2007 (20)
- January 2007 (23)
- December 2006 (4)
Alan Turing Alexander S. Kechris Alfred Tarski algebraic numbers Andras Hajnal Andreas Blass Andrew Michael Bruckner arithmetic mean-geometric mean inequality Arnoud C. M. van Rooij Augustin Cauchy Axel Thue Bernhard Riemann BEST bpfa compactness completeness covering property determinacy Donald A. Martin elementary embedding Emile Borel Euclidean algorithm extension field field field extension Francisco Frank Plumpton Ramsey Fred Galvin Galvin-Hajnal theorem GCH Georg Cantor Godfrey Harold Hardy Grigor Sargsyan Harvey Friedman ideal Isaac Newton James Baumgartner Jerome Keisler Johan Thim John R. Steel Karl Theodor Wilhelm Weierstrass Koenig's lemma Kurt Goedel Lech Maligranda Marion Scheepers measurable cardinal Menachem Magidor midterm mm Nowhere differentiable function Paul Erdos Paul Larson pfa propositional logic quartic equation Ramsey theorem Rene Baire Richard Rado Robert Solovay Saharon Shelah Samuel Coskey sch Silver's theorem Stefan Banach Stevo Todorcevic supercompact cardinals Tarski's conjecture Turing degrees ultrafilter ultrapower Undecidability and incompleteness Unsolvable problems W. Hugh Woodin Wacław Franciszek Sierpiński Wilhelmus Hendricus Schikhof

	580 -Cardinal arithm… on 580 -Cardinal arithmetic …
	580 -Cardinal arithm… on 580 -Cardinal arithmetic …
	580 -Cardinal arithm… on 580 -Cardinal arithmetic …
	580 -Cardinal arithm… on 580 -Cardinal arithmetic …
	Anthea M. on No durians
	580 -Some choiceless… on 580 -Some choiceless results…
	Set theory seminar -… on Set theory seminar -Forcing ax…
	Set theory seminar -… on Set theory seminar -Forcing ax…
	Set theory seminar -… on Set theory seminar -Forcing ax…
	Set theory seminar -… on Set theory seminar -Forcing ax…
	Set theory seminar -… on Set theory seminar -Forcing ax…
	Set theory seminar -… on Set theory seminar -Forcing ax…
	Set theory seminar -… on Set theory seminar -Forcing ax…
	Set theory seminar -… on Set theory seminar -Forcing ax…
	Set theory seminar -… on Set theory seminar -Forcing ax…

A kind of library

Mathematical Ancestry

170- Quiz 3

170- Quiz 2

Categories

Recent Comments

Mathematical links

My pages

Others

Mathoverflow

Math.StackExchange

Archives