December | 2010 | Teaching blog

170- Quiz 11

December 10, 2010

The 11th quiz is here.

Solutions follow.

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

I will be in my office on Monday from 10 to 12, and then briefly from 4 until sometime between 4:30 and 5. Same on Tuesday. Feel free to email me if you have questions but the office hours do not work for some reason.

Good luck!

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

You are currently browsing the Teaching blog blog archives for December, 2010.
Categories
Search

Blogroll
Mathoverflow
- Answer by Andres Caicedo for If ZFC has a transitive model, does it have one of arbitrary size? May 5, 2013
  In a comment to François's answer, I point out that the least $\alpha$ such that $L_\alpha$ is a model of $\mathsf{ZFC}$ is countable. In what follows, "model" means "transitive model of $\mathsf{ZFC}$." If $M$ is transitive, then $L^M=L_\beta\models\mathsf{ZFC}$ for $\beta=\mathsf{ORD}\cap M$, so the least height of a model is count […]
  Andres Caicedo
- Answer by Andres Caicedo for How additive is Lebesgue measure in ZF+AD ? December 7, 2010
  Ricky: I think I see how to answer the problem under a stronger assumption. Rather than $\mathsf{AD}$, work in $$ {\sf AD}^+ + V=L({\mathcal P}({\mathbb R})). $$ This is a bit unsatisfying, since it is very possible the question can be answered assuming only $\mathsf{AD}$. In any case, $\mathsf{AD}^+$ is potentially harmless, since it may be that $\mathsf{AD […]
  Andres Caicedo
- Answer by Andres Caicedo for Basis theorem (due to Solovay?) May 1, 2013
  The result is indeed Solovay's Basis Theorem. It is a consequence of Moschovakis's Coding Lemma, and sometimes it is referred to as (a version of) the reflection theorem (for example, in section 8 of Steel's Handbook article). Perhaps the optimal reference (it is self-contained, and easily accessible) is Section 2.4 of Peter Koellner, and W. H […]
  Andres Caicedo
- Answer by Andres Caicedo for Counterintuitive consequences of the Axiom of Determinacy? April 28, 2013
  Let's see: $\mathsf{AD}$ implies that all sets of reals are Lebesgue measurable, have the Baire property, and the perfect set property (so, a version of the continuum hypothesis holds). It is conjectured that it also implies that all sets of reals are Ramsey. All these statements fail (badly) in the presence of choice. (There is a technical strengthenin […]
  Andres Caicedo
- Answer by Andres Caicedo for Models of Determinacy March 14, 2013
  Certainly, $L(\mathbb R)$ is not a mouse (rather, a weasel) over a countable set, and the only way I see of thinking of it as a mouse and still capturing all the reals is making it a mouse over $\mathbb R$, in which case the answer is trivial. There is interesting work on $\mathbb R$-premice, but I do not think this is what you had in mind here. More relevan […]
  Andres Caicedo
Math.StackExchange
- Answer by Andres Caicedo for When does equality holds in $A\subseteq P(\cup A)$ May 17, 2013
  If equality holds, then $A=\mathcal P(X)$ for some set $X$, namely $X=\bigcup A$. Conversely, note that if $A=\mathcal P(X)$, then $\bigcup A=X$. That is: $A=\mathcal P(\bigcup A)$ iff $A$ is the power set of some set $X$, in which case $X=\bigcup A$.
  Andres Caicedo
- Answer by Andres Caicedo for The relationship of ${\frak m+m=m}$ to AC May 16, 2013
  Suppose that $A$ is infinite and Dedekind finite. Then $\mathfrak m=|A\cup\mathbb N|$ satisfies that $|A|
  Andres Caicedo
- Answer by Andres Caicedo for Growth-rate vs totality May 11, 2013
  There is a hierarchy of fast-growing functions $f_\alpha:\mathbb N\to\mathbb N$ indexed by ordinals $\alpha
  Andres Caicedo
- Answer by Andres Caicedo for Model theory question with finiteness May 13, 2013
  [Edit: I address first the original version of the question, where the requirement that $\Psi$ is transitive was not stated. The last paragraph addresses this case.] As stated, this is false, and it requires too many wrinkles to fix appropriately: (Assume that) $\mathsf{ZF}$ is consistent, and that $\Psi$ is a model of $\mathsf{ZF}+\lnot\mathrm{Con}(\mathsf{ […]
  Andres Caicedo
- Answer by Andres Caicedo for What are some good open problems about countable ordinals? May 3, 2013
  There is still much to explore in the area of partition calculus. The notation $$\alpha\to(\beta,\gamma)^2$$ means that if one colors the $2$-element subsets of $\alpha$ with two colors, red and blue, then there is an $H\subseteq\alpha$, all of whose $2$-sized subsets have the same color and, either the color is red and $H$ has order type $\beta$, or the col […]
  Andres Caicedo
December 2010

M T W T F S S

« Nov Jan »

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 31
Archives
- August 2012 (1)
- May 2012 (1)
- April 2012 (5)
- March 2012 (3)
- February 2012 (11)
- January 2012 (12)
- November 2011 (8)
- October 2011 (14)
- September 2011 (5)
- August 2011 (1)
- April 2011 (1)
- March 2011 (3)
- February 2011 (3)
- January 2011 (4)
- December 2010 (2)
- November 2010 (5)
- October 2010 (12)
- September 2010 (10)
- August 2010 (1)
- May 2010 (4)
- April 2010 (9)
- March 2010 (6)
- February 2010 (12)
- December 2009 (7)
- November 2009 (11)
- October 2009 (12)
- September 2009 (18)
- August 2009 (11)
- May 2009 (2)
- April 2009 (14)
- March 2009 (16)
- February 2009 (18)
- January 2009 (14)
- December 2008 (4)
- November 2008 (12)
- October 2008 (17)
- September 2008 (8)
- August 2008 (3)
- June 2008 (3)
- May 2008 (13)
- April 2008 (13)
- March 2008 (9)
- February 2008 (11)
- January 2008 (11)
- July 2007 (1)
- March 2007 (4)
- February 2007 (13)
- January 2007 (12)
- December 2006 (3)
Tags

Alfred Tarski Andras Hajnal BEST bpfa compactness completeness covering property elementary embedding Euclidean algorithm extension field field field extension Fred Galvin Galvin-Hajnal theorem GCH Georg Cantor Harvey Friedman Homework Hugh Woodin ideal Jerome Keisler Koenig's lemma Kurt Goedel Marion Scheepers measurable cardinal Menachem Magidor midterm mm Nowhere differentiable function Paul Erdos pfa propositional logic quartic equation Saharon Shelah sch Silver's theorem Stevo Todorcevic supercompact cardinals Syllabus Tarski's conjecture Turing degrees ultrafilter ultrapower Undecidability and incompleteness Unsolvable problems

	305 -Solving cubic a… on 305 -2. Solving cubic and quar…
	580 -Cardinal arithm… on 580 -Cardinal arithmetic …
	580 -Cardinal arithm… on 580 -Cardinal arithmetic …
	403/503 – Syll… on About myself – Contact…
	507 – Problem… on 507 – Problem list …
	Set theory seminar… on Set theory seminar – Marion Sc…
	Set theory seminar –… on Set theory seminar – Mar…
	Set theory seminar –… on Set theory seminar – Mar…
	Set theory seminar… on Set theory seminar – Marion Sc…
	Set theory seminar… on Set theory seminar – Marion Sc…
	Set theory seminar –… on 580 -Cardinal arithmetic …
	Set theory seminar –… on 580 -Cardinal arithmetic …
	Set theory seminar –… on 580 -Cardinal arithmetic …
	Set theory seminar –… on Set theory seminar – Mar…
	507 – Problem… on 507- Problem list (III)

Teaching blog

170- Quiz 11

170- Office hours

Categories

Recent Comments

Blogroll

Mathoverflow

Math.StackExchange

Archives

Tags

Follow “Teaching blog”

December 2010
M	T	W	T	F	S	S
« Nov				Jan »
		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	31