From miller Sat Jan 20 16:39:15 1990 To: caruso, corazza, jahn, keisler, kunen@cs.wisc.edu, lempp@msri.org, linton, millar, miller, mrudin, robbin Subject: logic seminar Status: RO Logic Seminar, B317VV, MWF1:20, A. Miller Mon Feb 22: I will bring several preprints to class which students can consider reading and presenting. I hope to have talks in set theory, model theory, and recursion theory. My topic will be Sacks forcing and I will begin with a general review of forcing. Coming Attractions (dates tentative): Tom Linton, Wadge games, Borel sets, and countable models, Feb 5 Michael Jahn, Deep degrees, Feb 12 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% From miller Mon Jan 22 17:21:23 1990 To: benedikt, caruso, corazza, daniel, dzamonja, forsythe, galminas, goffart, jahn, jin, johnson, keisler, kunen@cs.wisc.edu, lamb, landver, lempp@msri.org, linton, luh, millar, miller, mrudin, nelson, robbin, tuckey, zhong, zrotowski Subject: logic seminar Status: RO Logic Seminar, B317VV, MWF1:20, A. Miller Wed Jan 24: A. Miller, Sacks forcing I will begin with a lightening review of forcing and precede to explain the basic facts about forcing with perfect sets of reals. Coming Attractions (dates tentative): Tom Linton, Wadge games, Borel sets, and countable models, Feb 5 Michael Jahn, Deep degrees, Feb 12 John Goffart, to be announced, Feb 19 Jerry Keisler, From discrete to continuous time, Feb 26 News announcement: (Associated Press Jan 22, 1993) Associate Professor of Mathematics A. Miller has just been promoted to King of Logic. When asked at his coronation if he had anything to say, the King only commented ``I will always be grateful to the little people who helped me get where I am today. Now get lost you peons.'' %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% From miller Thu Jan 25 09:48:56 1990 To: benedikt, caruso, corazza, daniel, dzamonja, forsythe, galminas, goffart, jahn, jin, johnson, keisler, kunen@cs.wisc.edu, lamb, landver, lempp@msri.org, linton, luh, millar, miller, mrudin, nelson, robbin, tuckey, zhong, zrotowski Subject: logic seminar Status: RO Logic Seminar, B317VV, MWF1:20, organized: A. Miller Fri Jan 26: Georg Cantor*, Millermengenlehre, was ist das? Coming Attractions (dates tentative): Tom Linton, Wadge games, Borel sets, and countable models, Feb 5 Michael Jahn, Deep degrees, Feb 12 John Goffart, Elementary embeddings and left distributive algebras Jerry Keisler, From discrete to continuous time Curtis Tuckey, Measure valued curves are internal polygons * If Georg cannot make it (there is a rummor that he has been dead for over fifty years), then A. Miller will continue his talk on Sacks forcing. He will prove the fusion lemma and use it to show that Sacks reals do not collapse omega1, have the Sacks property, do not reap the ground model reals, and have minimal constructibility degree. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% mail benedikt < coming mail caruso < coming mail cholak < coming mail corazza < coming mail daniel < coming mail dzamonja < coming mail galminas < coming mail goffart < coming mail jahn < coming mail jin < coming mail mjohnson < coming mail kaddah < coming mail keisler < coming mail kunen@cs.wisc.edu < coming mail lamb < coming mail landver < coming mail lempp@msri.org < coming mail linton < coming mail millar < coming mail miller < coming mail mrudin < coming mail nelson < coming mail robbin < coming mail tuckey < coming mail zhong < coming mail zrotowski < coming %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% From miller Fri Jan 26 16:27:31 1990 Received: by sterling; id AA11887; 4.12/14; Fri, 26 Jan 90 16:27:31 cst Date: Fri, 26 Jan 90 16:27:31 cst From: Arnold Miller Message-Id: <9001262227.AA11887@sterling> To: miller Subject: seminar Status: RO Logic Seminar, B317VV, MWF1:20, organized: A. Miller Mon Jan 29: A. Miller, Marczewski's ideal and perfect sets of Sacks reals We show 1. (MM) the ideal is c additive 2. (MA) Sacks forcing collapses c iff the ideal has additivity < c. Coming Attractions (in order of appearance): Tom Linton, Wadge games, Borel sets, and countable models, Feb 5 Michael Jahn, Deep degrees Jerry Keisler, Better hyperreal lines Curtis Tuckey, Measure valued curves are internal polygons Renling Jin, Cuts in the nonstandard integers The following are not in order of appearance: Michael Benedikt, Measurability of filters Peter Cholak, Automorphisms of the Lattice of r.e. sets: prompt simple sets Myrna Dzamonja, Borel partial orders Rob Forsyth, Lisa Galminas, Recursively enumerable subspaces of vector spaces Donald Lamb, S and L spaces and MA Avner Landver, Specializing trees and the first failure of MA Joe Zzzizic, Set theory is inconsistent, so there %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% From miller Mon Jan 29 14:56:48 1990 To: benedikt, caruso, cholak, corazza, daniel, dzamonja, galminas, goffart, jahn, jin, kaddah, keisler, kunen@cs.wisc.edu, lamb, landver, lempp@msri.org, linton, millar, miller, mjohnson, mrudin, nelson, robbin, tuckey, zhong, zrotowski Subject: logic seminar Status: RO Logic Seminar, B317VV, MWF1:20, organized: A. Miller Wed Jan 31: A. Miller, Collapsing the continuum with Sacks forcing We finish (MM) implies s0 ideal is c additive and then show (MA) Sacks forcing collapses c iff the ideal has additivity < c. Coming Attractions (in order of appearance): Tom Linton, Wadge games, Borel sets, and countable models, Feb 5 Michael Jahn, Deep degrees Jerry Keisler, Better hyperreal lines Curtis Tuckey, Measure valued curves are internal polygons Renling Jin, Cuts in the nonstandard integers The following are not in order of appearance: Michael Benedikt, Measurability of filters Peter Cholak, Automorphisms of the Lattice of r.e. sets: prompt simple sets Myrna Dzamonja, Borel partial orders Lisa Galminas, Recursively enumerable subspaces of vector spaces Donald Lamb, S and L spaces and MA Avner Landver, Specializing trees and the first failure of MA Logic Lunch: Every Friday noon at Tripp Commons (second floor memorial union). Recommended: The `all you can eat' quantifiers special. From miller Wed Jan 31 17:27:54 1990 To: benedikt, caruso, cholak, corazza, daniel, dzamonja, galminas, goffart, jahn, jin, kaddah, keisler, kunen@cs.wisc.edu, lamb, landver, lempp@msri.org, linton, millar, miller, mjohnson, mrudin, nelson, robbin, tuckey, zhong, zrotowski Subject: logic seminar Status: R Logic Seminar, B317VV, MWF1:20, organized: A. Miller Fri Feb 2: A. Miller, Collapsing the continuum with Sacks forcing We finish showing (MA) [P |- cof(c) < k iff add(s0) < k]. We then will prove cof(cof(s)) > c and give some consistency results. Coming Attraction: Tom Linton, Wadge games, Borel sets, and countable models, Feb 5,7,9 Tom will show that given any proper Pi^0_3 sentence Q there exist countable models A,B with A models Q and B models notQ and A 3-> B in the sense of Ehrenfeucht games. He will also prove that A,B are countable models such that A 3-> B, then for any Pi^0_3 Borel set X there exists a Wadge game strategy reducing X to [A] which takes the complement of X into [B]. [C] is the set of all countable models isomorphic to C. Logic Lunch: Every Friday noon at Tripp Commons (second floor memorial union). %%%%%%%%%%%%%%%%%%%%%%%%%%%% From miller Fri Feb 2 16:40:05 1990 To: benedikt, caruso, cholak, corazza, daniel, dzamonja, galminas, goffart, jahn, jin, kaddah, keisler, kunen@cs.wisc.edu, lamb, landver, lempp@msri.org, linton, millar, miller, mjohnson, mrudin, nelson, robbin, tuckey, zhong, zrotowski Subject: logic seminar Status: R Logic Seminar, B317VV, MWF1:20, organized: A. Miller Mon Feb 5: Tom Linton, ``Wadge games, Borel sets, and countable models'' But first Miller will finish the proof that cof(cof(s0)) > c (10 minutes). Logic Lunch: Every Friday noon at Tripp Commons (second floor memorial union). About a dozen people showed up (Feb 2), if you weren't there we talked about you. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% From miller Mon Feb 5 16:34:33 1990 To: benedikt, caruso, cholak, corazza, daniel, dzamonja, galminas, goffart, jahn, jin, kaddah, keisler, kunen@cs.wisc.edu, lamb, landver, lempp@msri.org, linton, millar, miller, mjohnson, mrudin, nelson, robbin, tuckey, zhong, zrotowski Subject: logic seminar Logic Seminar, B317VV, MWF1:20, fearless leader: A. Miller Wed Feb 7: Tom Linton, ``Wadge games, Borel sets, and countable models'' Tom will answer the question, `` Suppose Wadge and Ehrenfeucht decided to play a game. Who would win?'' %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% From miller Wed Feb 7 17:11:37 1990 To: benedikt, caruso, cholak, corazza, daniel, dzamonja, galminas, goffart, jahn, jin, kaddah, keisler, kunen@cs.wisc.edu, lamb, landver, lempp@msri.org, linton, millar, miller, mjohnson, mrudin, nelson, robbin, tuckey, zhong, zrotowski Subject: logic seminar Status: R Logic Seminar, B317VV, MWF1:20, intrepid explorer: A. Miller Fri Feb 9: Tom Linton, ``Wadge games, Borel sets, and countable models'' Tom will prove: THM. If A ->3 B then for any set C which is Pi^0_3 there is a continuous map f mapping C to [A] and the compliment of C to [B]. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%% Logic Lunch %%%%%%%%%%%%%% %%%%%%%%%%%% Friday Noon %%%%%%%%%%%%%% %%%%%%%%%%% Tripp Commons %%%%%%%%%%%%% %%%%%% 2nd floor Memorial Union %%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Coming attraction: Feb 12,14,16: Michael Jahn, Deep degrees %%%%%%%%%%%%%%%%%%%%%%%%%%% From miller Fri Feb 9 17:19:06 1990 To: benedikt, caruso, cholak, corazza, daniel, dzamonja, galminas, goffart, jahn, jin, kaddah, keisler, kunen@cs.wisc.edu, lamb, landver, lempp@msri.org, linton, millar, miller, mjohnson, mrudin, nelson, robbin, tuckey, zhong, zrotowski Subject: logic seminar Status: R Logic Seminar, B317VV, MWF1:20, mighty mouse: A. Miller Mon Feb 12: Linton will conclude his proof (20 minutes) then: Michael Jahn, Deep degrees An re degree x is deep iff for all re y (x+y)'=y'. Jahn will present a theorem of Lempp and Slaman, JSL 54(1989)376-395 showing there are no deep re degrees except 0. Please reply mail> R #number if you received this message. If you didn't receive it no reply is neccessary. Just to make sure you really got it, use the secret words ``slime-sucking scumbag'' somewhere in your message. %%%%%%%%%%%%%%%%%%%%%%%%%%% From miller Mon Feb 12 18:01:47 1990 To: benedikt, caruso, cholak, corazza, daniel, dzamonja, galminas, goffart, jahn, jin, kaddah, keisler, kunen@cs.wisc.edu, lamb, landver, lempp@msri.org, linton, millar, miller, mjohnson, mrudin, nelson, robbin, tuckey, zhong, zrotowski Subject: logic seminar Status: R Logic Seminar, B317VV, MWF1:20, confused: A. Miller Wed Feb 14: Michael Jahn, Deep degrees An re degree x is deep iff for all re y (x+y)'= y'. Jahn will present a theorem of Lempp and Slaman, JSL 54(1989)376-395 showing there are no deep re degrees except 0. (order may change) Jerry Keisler, Better hyperreal lines Feb 19 Curtis Tuckey, Measure valued curves are internal polygons Renling Jin, Cuts in the nonstandard integers Michael Benedikt, Measurability of filters Mark Johnson, Mathias and random reals don't add Cohen reals Peter Cholak, Automorphisms of the Lattice of r.e. sets: prompt simple sets Lisa Galminas, Recursively enumerable subspaces of vector spaces Avner Landver, Specializing trees and the first failure of MA Myrna Dzamonja, Borel partial orders Donald Lamb, S and L spaces and MA %%%%%%%%%%%%%%%%%%%%%%%%%%% From robbin Mon Feb 12 10:36:39 1990 Received: from ingraham (ingraham.math.wisc.edu.ARPA) by sterling; id AA12696; 4.12/14; Mon, 12 Feb 90 10:36:39 cst Received: by ingraham; id AA11616; 4.12/14; Mon, 12 Feb 90 10:38:11 cst Date: Mon, 12 Feb 90 10:38:11 cst From: Joel Robbin Message-Id: <9002121638.AA11616@ingraham> To: miller Subject: Re: logic seminar Status: RO slime-sucking scumbag (not slim) From nelson Mon Feb 12 10:59:34 1990 Received: from macduffe (macduffe.math.wisc.edu.ARPA) by sterling; id AA12917; 4.12/14; Mon, 12 Feb 90 10:59:34 cst Received: by macduffe; id AA28291; 4.12/14; Mon, 12 Feb 90 10:59:03 cst Date: Mon, 12 Feb 90 10:59:03 cst From: Leslie D. Nelson Message-Id: <9002121659.AA28291@macduffe> To: miller Subject: Re: logic seminar Status: RO imslay-uckingsay umbagscay From linton Mon Feb 12 11:27:41 1990 Received: by sterling; id AA13230; 4.12/14; Mon, 12 Feb 90 11:27:41 cst Date: Mon, 12 Feb 90 11:27:41 cst From: Tom Linton Message-Id: <9002121727.AA13230@sterling> To: miller Subject: Re: logic seminar Status: RO OK you slim-sucking scumbag I got a message about the logic seminar. Didn't you mean slime-sucking scumbag??? Tom Linton From lempp@msri.org Mon Feb 12 12:10:14 1990 Received: from vanvleck (vanvleck.math.wisc.edu.ARPA) by sterling; id AA13726; 4.12/14; Mon, 12 Feb 90 12:10:14 cst Received: from msri.org (8003bc42) by vanvleck; id AA01194; 4.12/OCT11; Mon, 12 Feb 90 12:08:10 cst Received: by msri.org (AIX 2.1.2/s2.2) id AA10804; Mon, 12 Feb 90 10:10:30 PST Date: Mon, 12 Feb 90 10:10:30 PST From: lempp@msri.org (Steffen Lempp) Message-Id: <9002121810.AA10804@msri.org> To: miller Subject: seminar notes Status: RO I didn't get any. Steffen From lamb Mon Feb 12 14:45:28 1990 Received: from macduffe (macduffe.math.wisc.edu.ARPA) by sterling; id AA14984; 4.12/14; Mon, 12 Feb 90 14:45:28 cst Received: by macduffe; id AA29948; 4.12/14; Mon, 12 Feb 90 14:45:05 cst Date: Mon, 12 Feb 90 14:45:05 cst From: David Lamb Message-Id: <9002122045.AA29948@macduffe> To: miller Subject: Re: logic seminar Status: RO You slim-sucking scumbag, stop sending me these messages, there cluttering up my mailbox! No, really, keep sending them. I got this one fine. David Lamb (Donald's evil twin brother) From jahn Mon Feb 12 14:35:38 1990 Received: from slichter (slichter.math.wisc.edu.ARPA) by sterling; id AA14895; 4.12/14; Mon, 12 Feb 90 14:35:38 cst Received: by slichter; id AA29232; 4.12/14; Mon, 12 Feb 90 14:34:38 cst Date: Mon, 12 Feb 90 14:34:38 cst From: Michael Jahn Message-Id: <9002122034.AA29232@slichter> To: miller Subject: Re: logic seminar Status: RO that's a negatory, SLIM. you've defined SCUMBAG degrees SUCKING to the sum of their jumps. tune in Wednesday to hear about the degrees that Linda Lovelace goes for. a faithfull logic seminee From benedikt Tue Feb 13 12:49:45 1990 Received: by sterling; id AA02713; 4.12/14; Tue, 13 Feb 90 12:49:45 cst Date: Tue, 13 Feb 90 12:49:45 cst From: Michael Benedikt Message-Id: <9002131849.AA02713@sterling> To: miller Subject: Re: logic seminar Status: RO My lecture in seminar will include characterizations of measurable filters, filters with baire property, intersections of filters, the occaisional union of filters. Special attention will be given to claims, lemmas and propositions. The talk will also include "it is easily seen that","it's just what you'd expect", and "Don't you dare ask me any questions, you slime-sucking scumbags". From mjohnson Mon Feb 12 10:11:00 1990 Received: from ingraham (ingraham.math.wisc.edu.ARPA) by sterling; id AA12417; 4.12/14; Mon, 12 Feb 90 10:11:00 cst Received: by ingraham; id AA11438; 4.12/14; Mon, 12 Feb 90 10:12:28 cst Date: Mon, 12 Feb 90 10:12:28 cst From: Mark Johnson Message-Id: <9002121612.AA11438@ingraham> To: miller Subject: Re: logic seminar Status: RO > Just to make sure you really got it, use the secret words ``slim-sucking > scumbag'' somewhere in your message. What does it mean to "slim-suck"? From zhong Tue Feb 13 14:52:57 1990 Received: from slichter (slichter.math.wisc.edu.ARPA) by sterling; id AA03725; 4.12/14; Tue, 13 Feb 90 14:52:57 cst Received: by slichter; id AA07732; 4.12/14; Tue, 13 Feb 90 14:52:11 cst Date: Tue, 13 Feb 90 14:52:11 cst From: Ning Zhong Message-Id: <9002132052.AA07732@slichter> To: miller Subject: Re: logic seminar Cc: Status: R Problem Please translate the following into English Uo chong ni chu sou dao heng do xiao shi.(these are the secret words of mine). %%%%%%%%%%%%%%%%%% From miller Wed Feb 14 16:22:54 1990 Received: by sterling; id AA12815; 4.12/14; Wed, 14 Feb 90 16:22:54 cst Date: Wed, 14 Feb 90 16:22:54 cst From: Arnold Miller Message-Id: <9002142222.AA12815@sterling> To: miller Subject: logic seminar Status: R Logic Seminar, B317VV, MWF1:20, concerned: A. Miller Fri Feb 16: Michael Jahn, Deep degrees An re degree x is deep iff for all re y (x+y)'= y'. Jahn will continue with a theorem of Lempp and Slaman, JSL 54(1989)376-395 showing there are no deep re degrees except 0. He will be showing how the Basic Module is implimented on the tree of true paths. coming: Jerry Keisler, Better hyperreal lines, Feb 19 News Announcement: A definite link between missing Friday logic lunch and bad luck has been reported in the New England Journal of Medicine. Researchers suspect that a weekly dose of salad by the ounce may help to ward off the evil eye. It has been conclusively established that missed logic lunch last week and did not, repeat did not, win the lotterie. From miller Fri Feb 16 14:43:12 1990 Received: by sterling; id AA19798; 4.12/14; Fri, 16 Feb 90 14:43:12 cst Date: Fri, 16 Feb 90 14:43:12 cst From: Arnold Miller Message-Id: <9002162043.AA19798@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, perplexed: A. Miller Mon Feb 19: Michael Jahn will finish the description of the action (20 minutes), then: Jerry Keisler, Better hyperreal lines coming attractions: Curtis Tuckey, Measure valued curves are internal polygons, Feb 26 Renling Jin, Cuts in the nonstandard integers Michael Benedikt, Measurability of filters Peter Cholak, Automorphisms of the lattice of r.e. sets: prompt simple sets Myrna Dzamonja, Borel partial orders Lisa Galminas, Recursively enumerable subspaces of vector spaces Mark Johnson, Mathias and random reals don't add Cohen reals Donald Lamb, S and L spaces and MA Avner Landver, Specializing trees and the first failure of MA From miller Mon Feb 19 14:46:40 1990 Received: by sterling; id AA27411; 4.12/14; Mon, 19 Feb 90 14:46:40 cst Date: Mon, 19 Feb 90 14:46:40 cst From: Arnold Miller Message-Id: <9002192046.AA27411@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, astonished: A. Miller Wed Feb 21: Jerry Keisler, Better hyperreal lines My Polish friend told me this joke: When you are invaded by Germans and Russians, which do you kill first? From keisler Mon Feb 19 14:53:24 1990 Received: from ingraham (ingraham.math.wisc.edu.ARPA) by sterling; id AA27480; 4.12/14; Mon, 19 Feb 90 14:53:24 cst Received: by ingraham; id AA13156; 4.12/14; Mon, 19 Feb 90 14:54:48 cst Date: Mon, 19 Feb 90 14:54:48 cst From: H. Jerome Keisler Message-Id: <9002192054.AA13156@ingraham> To: miller Subject: joke Status: R If Bolzano is Italian and Weierstrass is German, is saturated a Russian? Jerry From linton Mon Feb 19 16:43:54 1990 Received: by sterling; id AA28059; 4.12/14; Mon, 19 Feb 90 16:43:54 cst Date: Mon, 19 Feb 90 16:43:54 cst From: Tom Linton Message-Id: <9002192243.AA28059@sterling> To: miller Subject: Logic seminar Status: R Is the correct response ``who cares''? From zhong Tue Feb 20 10:16:02 1990 Received: from slichter (slichter.math.wisc.edu.ARPA) by sterling; id AA01262; 4.12/14; Tue, 20 Feb 90 10:16:02 cst Received: by slichter; id AA05684; 4.12/14; Tue, 20 Feb 90 10:15:16 cst Date: Tue, 20 Feb 90 10:15:16 cst From: Ning Zhong Message-Id: <9002201615.AA05684@slichter> To: miller Cc: . Status: R Kill the communists first. From tuckey Wed Feb 21 12:11:03 1990 Received: from weaver (weaver.math.wisc.edu.ARPA) by sterling; id AA09187; 4.12/14; Wed, 21 Feb 90 12:11:03 cst Received: by weaver; id AA02313; 4.12/14; Wed, 21 Feb 90 12:10:30 cst Date: Wed, 21 Feb 90 12:10:30 cst From: Curt Tuckey Message-Id: <9002211810.AA02313@weaver> To: miller Subject: seminar nonstandard analyse Status: R Mary took a pair of skates Upon the ice to frisk. Wasn't she a foolish girl, Her little * ? From miller Wed Feb 21 14:49:57 1990 Received: by sterling; id AA10517; 4.12/14; Wed, 21 Feb 90 14:49:57 cst Date: Wed, 21 Feb 90 14:49:57 cst From: Arnold Miller Message-Id: <9002212049.AA10517@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, astonished: A. Miller Fri Feb 23: Jerry Keisler, Better hyperreal lines Solutions to the four exercises are due Friday. > When you are invaded by Germans and Russians, which do you kill first? > Germans- the rule is business before pleasure. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%% Logic Lunch %%%%%%%%%%%%%% %%%%%%%%%%%% Friday Noon %%%%%%%%%%%%%% %%%%%%%%%%% Tripp Commons %%%%%%%%%%%%% %%%%%% 2nd floor Memorial Union %%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% If you come upon an automobile accident, how do you tell whether an animal or a lawyer was run over by a car? From robbin Thu Feb 22 07:55:33 1990 Received: from ingraham (ingraham.math.wisc.edu.ARPA) by sterling; id AA14875; 4.12/14; Thu, 22 Feb 90 07:55:33 cst Received: by ingraham; id AA12813; 4.12/14; Thu, 22 Feb 90 07:57:13 cst Date: Thu, 22 Feb 90 07:57:13 cst From: Joel Robbin Message-Id: <9002221357.AA12813@ingraham> To: miller Subject: lay off the racist jokes Status: R Answer to 2: By the skid marks in front of the animal. From miller Mon Feb 26 08:28:38 1990 Received: by sterling; id AA08264; 4.12/14; Mon, 26 Feb 90 08:28:38 cst Date: Mon, 26 Feb 90 08:28:38 cst From: Arnold Miller Message-Id: <9002261428.AA08264@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, amazed: A. Miller Mon Feb 26: Curtis Tuckey, Measure valued curves are internal polygons coming soon to a logic seminar near you: Renling Jin, Cuts in the nonstandard integers Peter Cholak, Automorphisms of the Lattice of r.e. sets: prompt simple sets Nigel Cutland, Superinfinitesimals Michael Benedikt, Measurability of filters Myrna Dzamonja, Borel partial orders Lisa Galminas, Recursively enumerable subspaces of vector spaces Mark Johnson, Mathias and random reals don't add Cohen reals Avner Landver, Specializing trees and the first failure of MA Donald Lamb, S and L spaces and MA >If you come upon an automobile accident, >how do you tell whether an animal or a lawyer was run over by a car? >In the case of an animal there are skid marks. From miller Mon Feb 26 15:12:12 1990 Received: by sterling; id AA11761; 4.12/14; Mon, 26 Feb 90 15:12:12 cst Date: Mon, 26 Feb 90 15:12:12 cst From: Arnold Miller Message-Id: <9002262112.AA11761@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, delighted: A. Miller Wed Feb 28: Curtis Tuckey, Measure valued curves are internal polygons coming attractions: Renling Jin, Cuts in the nonstandard integers, Mar 5,7,9 Peter Cholak, Simple sets, Mar 12,14 Nigel Cutland, Superinfinitesimals, Mar 16 A. Miller, Spring Fever, Mar 19,21,23 From LOGIN Tue Feb 27 10:18:33 1990 Received: from slichter (slichter.math.wisc.edu.ARPA) by sterling; id AA01168; 4.12/14; Tue, 27 Feb 90 10:18:33 cst From: Received: by slichter; id AA23282; 4.12/14; Tue, 27 Feb 90 10:17:43 cst Date: Tue, 27 Feb 90 10:17:43 cst Message-Id: <9002271617.AA23282@slichter> To: miller Cc: . Status: R we are going to wait like last time (1942), may be they will fight eah other. From miller Wed Feb 28 17:50:17 1990 Received: by sterling; id AA13049; 4.12/14; Wed, 28 Feb 90 17:50:17 cst Date: Wed, 28 Feb 90 17:50:17 cst From: Arnold Miller Message-Id: <9002282350.AA13049@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, enlightened: A. Miller Fri Mar 1: Curtis Tuckey, Measure valued curves are internal polygonal curves coming attractions: Renling Jin, Cuts in the nonstandard integers, Mar 5,7,9 Peter Cholak, Simple sets, Mar 12,14 Nigel Cutland, Superinfinitesimals, Mar 16 A. Miller, Spring Fever, Mar 19,21,23 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%% Logic Lunch %%%%%%%%%%%%%% %%%%%%%%%%%% Friday Noon %%%%%%%%%%%%%% %%%%%%%%%%% Tripp Commons %%%%%%%%%%%%% %%%%%% 2nd floor Memorial Union %%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% From miller Fri Mar 2 17:14:25 1990 Received: by sterling; id AA18647; 4.12/14; Fri, 2 Mar 90 17:14:25 cst Date: Fri, 2 Mar 90 17:14:25 cst From: Arnold Miller Message-Id: <9003022314.AA18647@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, perplexed: A. Miller Renling Jin, Cuts in the nonstandard integers, Mar 5,7,9 The good, the bad, and the ugly. Peter Cholak, Simple sets, Mar 12,14 Nigel Cutland, Superinfinitesimals, Mar 16 From miller Mon Mar 5 15:11:20 1990 Received: by sterling; id AA25427; 4.12/14; Mon, 5 Mar 90 15:11:20 cst Date: Mon, 5 Mar 90 15:11:20 cst From: Arnold Miller Message-Id: <9003052111.AA25427@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, befogged: A. Miller Wed Mar 5: Renling Jin, Cuts in the nonstandard integers, Thm 4 and 5. Peter Cholak, Simple sets, Mar 12,14 Nigel Cutland, Superinfinitesimals, Mar 16 Did I catch you at a bad time? Twins, Max. Sixteen year old twins. Think of the mathematical possibilities. -- Woodie Allen in Annie Hall From miller Wed Mar 7 14:28:22 1990 Received: by sterling; id AA11229; 4.12/14; Wed, 7 Mar 90 14:28:22 cst Date: Wed, 7 Mar 90 14:28:22 cst From: Arnold Miller Message-Id: <9003072028.AA11229@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, blurred: A. Miller Fri Mar 5: Renling Jin, Cuts in the nonstandard integers Mon Mar 12: Peter Cholak, MSRI Berkeley CA, Simple sets Wed Mar 14: Peter Cholak, MSRI Berkeley CA, Simple sets Fri Mar 16: Nigel Cutland, University of Hull, Superinfinitesimals From miller Fri Mar 9 15:13:01 1990 Received: by sterling; id AA27519; 4.12/14; Fri, 9 Mar 90 15:13:01 cst Date: Fri, 9 Mar 90 15:13:01 cst From: Arnold Miller Message-Id: <9003092113.AA27519@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, tarnished: A. Miller Mon Mar 12 and Wed Mar 14: Peter Cholak, MSRI Berkeley CA Message from Peter: The title of my talk is "Automorphisms of the Lattice of r.e. sets: promptly simple sets". I will do a brief survey about automorphism of the lattice of r.e. sets and promptly simple sets. The survey overviews all the current results and open questions. I will talk about a current result of myself, Downey, and Stob. This will include explaining the extension lemma which is a big pain. I will briefly explain the extension lemma and use it as a black box. BIG OPEN QUESTION: Will Millar come? Fri Mar 16: Nigel Cutland, University of Hull, Superinfinitesimals From miller Mon Mar 12 14:59:14 1990 Received: by sterling; id AA03542; 4.12/14; Mon, 12 Mar 90 14:59:14 cst Date: Mon, 12 Mar 90 14:59:14 cst From: Arnold Miller Message-Id: <9003122059.AA03542@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, decayed: A. Miller Wed Mar 14: Peter Cholak, MSRI Berkeley CA "Automorphisms of the Lattice of r.e. sets: promptly simple sets". There is a rumor that Peter will give a proof in this talk. Fri Mar 16: Nigel Cutland, University of Hull, Superinfinitesimals Mon Mar 26: Michael Benedikt, Measurability of filters Myrna Dzamonja, Borel partial orders Lisa Galminas, Recursively enumerable subspaces of vector spaces Mark Johnson, Mathias and random reals don't add Cohen reals Avner Landver, Specializing trees and the first failure of MA Donald Lamb, S and L spaces and MA Sometime in April: David Ross, University of Minnesota, Duluth >> Insane? That's what Masters and Johnson said when I built a four >> hundred foot diaphragm! Birth control for an entire nation at once! >> -- Woody Allen in Everything you Always Wanted to Know About Sex >> But Were Afraid to Ask From miller Wed Mar 14 14:41:15 1990 Received: by sterling; id AA10754; 4.12/14; Wed, 14 Mar 90 14:41:15 cst Date: Wed, 14 Mar 90 14:41:15 cst From: Arnold Miller Message-Id: <9003142041.AA10754@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, decadent: A. Miller !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!! Logic Lunch !!!!!!!!!!!!!! !!!!!!!!!!!! Friday Noon !!!!!!!!!!!!!! !!!!!!!!!!! Tripp Commons !!!!!!!!!!!!! !!!!!! 2nd floor Memorial Union !!!!!!! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! Fri Mar 16: Nigel Cutland, University of Hull, Superinfinitesimals There will be short hiatus or lacuna in our regularly scheduled seminar during the week of Mar 19-23. Mon Mar 26: Michael Benedikt, Measurability of filters I Wed Mar 28: Michael Benedikt, Measurability of filters II Fri Mar 30: Michael Benedikt, Measurability of filters III From miller Fri Mar 16 16:24:14 1990 Received: by sterling; id AA26377; 4.12/14; Fri, 16 Mar 90 16:24:14 cst Date: Fri, 16 Mar 90 16:24:14 cst From: Arnold Miller Message-Id: <9003162224.AA26377@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, exhausted: A. Miller There will be short hiatus or lacuna in our regularly scheduled seminar during the week of Mar 19-23. Mon Mar 26: Michael Benedikt, Measurability of filters I Wed Mar 28: Michael Benedikt, Measurability of filters II Fri Mar 30: Michael Benedikt, Measurability of filters III Myrna Dzamonja, Borel partial orders Lisa Galminas, Recursively enumerable subspaces of vector spaces Mark Johnson, Mathias and random reals don't add Cohen reals Avner Landver, Specializing trees and the first failure of MA Donald Lamb, S and L spaces and MA Sometime in April: David Ross, University of Minnesota, Duluth From miller Mon Mar 26 15:09:54 1990 Received: by sterling; id AA10962; 4.12/14; Mon, 26 Mar 90 15:09:54 cst Date: Mon, 26 Mar 90 15:09:54 cst From: Arnold Miller Message-Id: <9003262109.AA10962@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, rejuvenated: A. Miller Wed Mar 28: Michael Benedikt, Measurability of filters II Benedikt will present some corollaries of his corollaries. Fri Mar 30: Michael Benedikt, Measurability of filters XVIII Mon Apr 2: Myrna Dzamonja, Borel partial orders From miller Wed Mar 28 16:18:38 1990 Received: by sterling; id AA10997; 4.12/14; Wed, 28 Mar 90 16:18:38 cst Date: Wed, 28 Mar 90 16:18:38 cst From: Arnold Miller Message-Id: <9003282218.AA10997@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, refurbished: A. Miller Fri Mar 30: Michael Benedikt, Closure properties of bad filters Mon Apr 2: Myrna Dzamonja, Borel partial orders --------------------------------------- ------------ Logic Lunch -------------- ------------ Friday Noon -------------- ----------- Tripp Commons ------------- ------ 2nd floor Memorial Union ------- --------------------------------------- From miller Fri Mar 30 14:49:24 1990 Received: by sterling; id AA26430; 4.12/14; Fri, 30 Mar 90 14:49:24 cst Date: Fri, 30 Mar 90 14:49:24 cst From: Arnold Miller Message-Id: <9003302049.AA26430@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, revivified: A. Miller Mon Apr 2: First: Benedikt will finish Fremlin's example (20 minutes). Then: Myrna Dzamonja, Borel partial orders Some Borel partial orders of Stevo Todorcevic and forcing axioms. coming attractions (in this order): Mark Johnson, Mathias and random reals don't add Cohen reals Avner Landver, Specializing trees and the first failure of MA Lisa Galminas, Recursively enumerable subspaces of vector spaces Donald Lamb, S and L spaces and MA Sometime in April or May: David Ross, University of Minnesota, Duluth From miller Mon Apr 2 17:03:06 1990 Received: by sterling; id AA16327; 4.12/14; Mon, 2 Apr 90 17:03:06 cdt Date: Mon, 2 Apr 90 17:03:06 cdt From: Arnold Miller Message-Id: <9004022203.AA16327@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, placid: A. Miller Wed Apr 4: Myrna Dzamonja, Borel partial orders Myrna's talk will be proceeded by the Logic Picnic Census which will be conducted by Curt Tuckey and Michael Benedikt. From miller Wed Apr 4 17:27:42 1990 Received: by sterling; id AA12746; 4.12/14; Wed, 4 Apr 90 17:27:42 cdt Date: Wed, 4 Apr 90 17:27:42 cdt From: Arnold Miller Message-Id: <9004042227.AA12746@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, serene: A. Miller Fri Apr 6: Myrna Dzamonja, Borel partial orders Mon Apr 9: Mark Johnson, Mathias and random reals don't add Cohen reals Logic Lunch: Friday Noon, Tripp Commons, 2nd floor Memorial Union Logic Picnic: Saturday, May 12, Devil's Lake From LOGIN Fri Apr 6 17:51:18 1990 Received: by sterling; id AA19783; 4.12/14; Fri, 6 Apr 90 17:51:18 cdt Date: Fri, 6 Apr 90 17:51:18 cdt From: Message-Id: <9004062251.AA19783@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, A. Miller Mon Apr 9: Mark Johnson, Mathias and random reals don't add Cohen reals Wed Apr 11: Mark Johnson, And neither does their iteration Logic Picnic: Saturday, May 12, Devil's Lake Apr 16,18,20 Avner Landver, Specializing trees and the first failure of MA Apr 23,25,27 Lisa Galminas, RE subspaces of vector spaces Apr 30,May 2,4 Daniel Lamb, S and L spaces and MA May 7,9 A. Miller May 11 David Ross, University of Minnesota, Duluth From miller Mon Apr 9 15:08:14 1990 Received: by sterling; id AA26418; 4.12/14; Mon, 9 Apr 90 15:08:14 cdt Date: Mon, 9 Apr 90 15:08:14 cdt From: Arnold Miller Message-Id: <9004092008.AA26418@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, stultified: A. Miller Wed Apr 11: Mark Johnson, The bounded approximation property Mon Apr 16: Avner Landver, Specializing trees and the first failure of MA Logic courses next semester: Undergraduate: m571 Jerry Keisler MWF ?? Recursion theory : m773 Steffan Lempp TuTh 11 Introduction: m775 Terry Millar MWF 11 Topics: m873 Ken Kunen TuTh 11 iterated forcing? Seminar: m975 Sergio Fajardo MWF 1 probability logic? From miller Wed Apr 11 17:50:59 1990 Received: by sterling; id AA12199; 4.12/14; Wed, 11 Apr 90 17:50:59 cdt Date: Wed, 11 Apr 90 17:50:59 cdt From: Arnold Miller Message-Id: <9004112250.AA12199@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, trammelled: A. Miller Mon Apr 16: Avner Landver, Specializing trees and the first failure of MA, I Wed Apr 18: Avner Landver, Specializing trees and the first failure of MA, II Fri Apr 20: Avner Landver, Specializing trees and the first failure of MA, III From miller Mon Apr 16 14:16:01 1990 Received: by sterling; id AA24074; 4.12/14; Mon, 16 Apr 90 14:16:01 cdt Date: Mon, 16 Apr 90 14:16:01 cdt From: Arnold Miller Message-Id: <9004161916.AA24074@sterling> To: miller Logic Seminar, B317VV, MWF1:20, enmeshed: A. Miller Wed Apr 18: Avner Landver, Specializing trees and the first failure of MA Hey, what about the second failure or the last success? What is so special about these trees anyway? From miller Wed Apr 18 17:30:02 1990 Received: by sterling; id AA13269; 4.12/14; Wed, 18 Apr 90 17:30:02 cdt Date: Wed, 18 Apr 90 17:30:02 cdt From: Arnold Miller Message-Id: <9004182230.AA13269@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, embroiled: A. Miller Fri Apr 20: Avner Landver, Specializing trees and the first failure of MA Logic Lunch: Friday Noon, Tripp Commons, 2nd floor Memorial Union Isn't it about time you went? News: I just heard a rumor that Avner has a job at the University of Kansas. Tom Linton wins teaching award. "I owe it all to my advisor" says Tom. Donald Lamb changes his first name. "What?" says Donald. From miller Fri Apr 20 15:12:36 1990 Received: by sterling; id AA20260; 4.12/14; Fri, 20 Apr 90 15:12:36 cdt Date: Fri, 20 Apr 90 15:12:36 cdt From: Arnold Miller Message-Id: <9004202012.AA20260@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, mired: A. Miller Mon Apr 23: Lisa Galminas, Recursively enumerable subspaces of vector spaces Wed Apr 25: Lisa Galminas, The effective content of linear algebra Fri Apr 27: Lisa Galminas, The degrees of recursively enumerable bases I just made these titles up. Apr 30,May 2,4 Daniel Lamb, S and L spaces and MA May 7,9 Roman Zrotowski, Indescribability May 11 David Ross, University of Minnesota, Duluth From miller Mon Apr 23 14:18:31 1990 Received: by sterling; id AA29670; 4.12/14; Mon, 23 Apr 90 14:18:31 cdt Date: Mon, 23 Apr 90 14:18:31 cdt From: Arnold Miller Message-Id: <9004231918.AA29670@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, accelerated: A. Miller Wed Apr 25: Lisa Galminas, The weak truth table turing degrees of bases of an RE vector space. Apr 30,May 2,4 Daniel Lamb, S and L spaces and MA May 7,9 Roman Zrotowski, Indescribability May 11 David Ross, University of Minnesota, Duluth May 12 Logic Picnic, Devil's Lake Happiness is the absence of striving for happiness, Chuang-tzu 350 BC From zhong Tue Apr 24 10:20:17 1990 Received: from slichter (slichter.math.wisc.edu.ARPA) by sterling; id AA01361; 4.12/14; Tue, 24 Apr 90 10:20:17 cdt Received: by slichter; id AA05028; 4.12/14; Tue, 24 Apr 90 10:18:52 cdt Date: Tue, 24 Apr 90 10:18:52 cdt From: Ning Zhong Message-Id: <9004241518.AA05028@slichter> To: miller Cc: Status: R Happiness is suffering. Boodist's belief. From miller Wed Apr 25 16:08:07 1990 Received: by sterling; id AA12321; 4.12/14; Wed, 25 Apr 90 16:08:07 cdt Date: Wed, 25 Apr 90 16:08:07 cdt From: Arnold Miller Message-Id: <9004252108.AA12321@sterling> To: miller Logic Seminar, B317VV, MWF1:20, galvanized: A. Miller Fri Apr 27: Lisa Galminas, Bases for a recursively enumerable vector space Apr 30,May 2 Roman Zrotowski, Indescribability May 3,4 David Ross, University of Minnesota, Duluth A tentative title for Ross' lecture on May 4 is Nonstandard methods in the study of random closed sets. He will also be here all day on May 3, and will probably give an informal lecture called: The "Special model axiom" in nonstandard analysis. May 7,9,11 Daniel Lamb, S and L spaces and MA May 12 Logic Picnic, Devil's Lake Logic Lunch: Friday Noon, Tripp Commons, 2nd floor Memorial Union At lunch there will be a panel discussion of the quote: Man is the only animal that laughs and weeps; for he is the only animal that is struck by the difference between what things are and what they might have been. Hazlitt (1778-1830) From miller Fri Apr 27 17:00:57 1990 Received: by sterling; id AA27560; 4.12/14; Fri, 27 Apr 90 17:00:57 cdt Date: Fri, 27 Apr 90 17:00:57 cdt From: Arnold Miller Message-Id: <9004272200.AA27560@sterling> To: miller Logic Seminar, B317VV, MWF1:20, ineffable: A. Miller Apr 30,May 2 Roman Zrotowski, Indescribability May 3,4 David Ross, University of Minnesota, Duluth A tentative title for Ross' lecture on May 4 is Nonstandard methods in the study of random closed sets. He will also be here all day on May 3, and will probably give an informal lecture called: The "Special model axiom" in nonstandard analysis. Time and place to be announced by Jerry Keisler. May 7,9,11 Darrold Lamb, S and L spaces and MA May 12 Logic Picnic, Devil's Lake It is impossible for a man to learn what he thinks he already knows. Epictetus From miller Mon Apr 30 14:21:53 1990 Received: by sterling; id AA15770; 4.12/14; Mon, 30 Apr 90 14:21:53 cdt Date: Mon, 30 Apr 90 14:21:53 cdt From: Arnold Miller Message-Id: <9004301921.AA15770@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, inscrutable: A. Miller Wed May 2: Roman Zrotowski, Indescribability Thu May 3: David Ross, University of Minnesota, Duluth The "Special model axiom" in nonstandard analysis. place VV901, time 1:00, if ME agrees. Fri May 4: Ross, Nonstandard methods in the study of random closed sets. May 7,9,11 Darrold Lamb, S and L spaces and MA May 12 Logic Picnic, Devil's Lake A laugh is worth a hundred groans in any market. Charles Lamb (1775-1834) From miller Wed Apr 4 17:27:42 1990 Received: by sterling; id AA12746; 4.12/14; Wed, 4 Apr 90 17:27:42 cdt Date: Wed, 4 Apr 90 17:27:42 cdt From: Arnold Miller Message-Id: <9004042227.AA12746@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, serene: A. Miller Fri Apr 6: Myrna Dzamonja, Borel partial orders Mon Apr 9: Mark Johnson, Mathias and random reals don't add Cohen reals Logic Lunch: Friday Noon, Tripp Commons, 2nd floor Memorial Union Logic Picnic: Saturday, May 12, Devil's Lake From LOGIN Fri Apr 6 17:51:18 1990 Received: by sterling; id AA19783; 4.12/14; Fri, 6 Apr 90 17:51:18 cdt Date: Fri, 6 Apr 90 17:51:18 cdt From: Message-Id: <9004062251.AA19783@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, A. Miller Mon Apr 9: Mark Johnson, Mathias and random reals don't add Cohen reals Wed Apr 11: Mark Johnson, And neither does their iteration Logic Picnic: Saturday, May 12, Devil's Lake Apr 16,18,20 Avner Landver, Specializing trees and the first failure of MA Apr 23,25,27 Lisa Galminas, RE subspaces of vector spaces Apr 30,May 2,4 Daniel Lamb, S and L spaces and MA May 7,9 A. Miller May 11 David Ross, University of Minnesota, Duluth From miller Mon Apr 9 15:08:14 1990 Received: by sterling; id AA26418; 4.12/14; Mon, 9 Apr 90 15:08:14 cdt Date: Mon, 9 Apr 90 15:08:14 cdt From: Arnold Miller Message-Id: <9004092008.AA26418@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, stultified: A. Miller Wed Apr 11: Mark Johnson, The bounded approximation property Mon Apr 16: Avner Landver, Specializing trees and the first failure of MA Logic courses next semester: Undergraduate: m571 Jerry Keisler MWF ?? Recursion theory : m773 Steffan Lempp TuTh 11 Introduction: m775 Terry Millar MWF 11 Topics: m873 Ken Kunen TuTh 11 iterated forcing? Seminar: m975 Sergio Fajardo MWF 1 probability logic? From miller Wed Apr 11 17:50:59 1990 Received: by sterling; id AA12199; 4.12/14; Wed, 11 Apr 90 17:50:59 cdt Date: Wed, 11 Apr 90 17:50:59 cdt From: Arnold Miller Message-Id: <9004112250.AA12199@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, trammelled: A. Miller Mon Apr 16: Avner Landver, Specializing trees and the first failure of MA, I Wed Apr 18: Avner Landver, Specializing trees and the first failure of MA, II Fri Apr 20: Avner Landver, Specializing trees and the first failure of MA, III From miller Mon Apr 16 14:16:01 1990 Received: by sterling; id AA24074; 4.12/14; Mon, 16 Apr 90 14:16:01 cdt Date: Mon, 16 Apr 90 14:16:01 cdt From: Arnold Miller Message-Id: <9004161916.AA24074@sterling> To: miller Logic Seminar, B317VV, MWF1:20, enmeshed: A. Miller Wed Apr 18: Avner Landver, Specializing trees and the first failure of MA Hey, what about the second failure or the last success? What is so special about these trees anyway? From miller Wed Apr 18 17:30:02 1990 Received: by sterling; id AA13269; 4.12/14; Wed, 18 Apr 90 17:30:02 cdt Date: Wed, 18 Apr 90 17:30:02 cdt From: Arnold Miller Message-Id: <9004182230.AA13269@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, embroiled: A. Miller Fri Apr 20: Avner Landver, Specializing trees and the first failure of MA Logic Lunch: Friday Noon, Tripp Commons, 2nd floor Memorial Union Isn't it about time you went? News: I just heard a rumor that Avner has a job at the University of Kansas. Tom Linton wins teaching award. "I owe it all to my advisor" says Tom. Donald Lamb changes his first name. "What?" says Donald. From miller Fri Apr 20 15:12:36 1990 Received: by sterling; id AA20260; 4.12/14; Fri, 20 Apr 90 15:12:36 cdt Date: Fri, 20 Apr 90 15:12:36 cdt From: Arnold Miller Message-Id: <9004202012.AA20260@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, mired: A. Miller Mon Apr 23: Lisa Galminas, Recursively enumerable subspaces of vector spaces Wed Apr 25: Lisa Galminas, The effective content of linear algebra Fri Apr 27: Lisa Galminas, The degrees of recursively enumerable bases I just made these titles up. Apr 30,May 2,4 Daniel Lamb, S and L spaces and MA May 7,9 Roman Zrotowski, Indescribability May 11 David Ross, University of Minnesota, Duluth From miller Mon Apr 23 14:18:31 1990 Received: by sterling; id AA29670; 4.12/14; Mon, 23 Apr 90 14:18:31 cdt Date: Mon, 23 Apr 90 14:18:31 cdt From: Arnold Miller Message-Id: <9004231918.AA29670@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, accelerated: A. Miller Wed Apr 25: Lisa Galminas, The weak truth table turing degrees of bases of an RE vector space. Apr 30,May 2,4 Daniel Lamb, S and L spaces and MA May 7,9 Roman Zrotowski, Indescribability May 11 David Ross, University of Minnesota, Duluth May 12 Logic Picnic, Devil's Lake Happiness is the absence of striving for happiness, Chuang-tzu 350 BC From zhong Tue Apr 24 10:20:17 1990 Received: from slichter (slichter.math.wisc.edu.ARPA) by sterling; id AA01361; 4.12/14; Tue, 24 Apr 90 10:20:17 cdt Received: by slichter; id AA05028; 4.12/14; Tue, 24 Apr 90 10:18:52 cdt Date: Tue, 24 Apr 90 10:18:52 cdt From: Ning Zhong Message-Id: <9004241518.AA05028@slichter> To: miller Cc: Status: R Happiness is suffering. Boodist's belief. From miller Wed Apr 25 16:08:07 1990 Received: by sterling; id AA12321; 4.12/14; Wed, 25 Apr 90 16:08:07 cdt Date: Wed, 25 Apr 90 16:08:07 cdt From: Arnold Miller Message-Id: <9004252108.AA12321@sterling> To: miller Logic Seminar, B317VV, MWF1:20, galvanized: A. Miller Fri Apr 27: Lisa Galminas, Bases for a recursively enumerable vector space Apr 30,May 2 Roman Zrotowski, Indescribability May 3,4 David Ross, University of Minnesota, Duluth A tentative title for Ross' lecture on May 4 is Nonstandard methods in the study of random closed sets. He will also be here all day on May 3, and will probably give an informal lecture called: The "Special model axiom" in nonstandard analysis. May 7,9,11 Daniel Lamb, S and L spaces and MA May 12 Logic Picnic, Devil's Lake Logic Lunch: Friday Noon, Tripp Commons, 2nd floor Memorial Union At lunch there will be a panel discussion of the quote: Man is the only animal that laughs and weeps; for he is the only animal that is struck by the difference between what things are and what they might have been. Hazlitt (1778-1830) From miller Fri Apr 27 17:00:57 1990 Received: by sterling; id AA27560; 4.12/14; Fri, 27 Apr 90 17:00:57 cdt Date: Fri, 27 Apr 90 17:00:57 cdt From: Arnold Miller Message-Id: <9004272200.AA27560@sterling> To: miller Logic Seminar, B317VV, MWF1:20, ineffable: A. Miller Apr 30,May 2 Roman Zrotowski, Indescribability May 3,4 David Ross, University of Minnesota, Duluth A tentative title for Ross' lecture on May 4 is Nonstandard methods in the study of random closed sets. He will also be here all day on May 3, and will probably give an informal lecture called: The "Special model axiom" in nonstandard analysis. Time and place to be announced by Jerry Keisler. May 7,9,11 Darrold Lamb, S and L spaces and MA May 12 Logic Picnic, Devil's Lake It is impossible for a man to learn what he thinks he already knows. Epictetus From miller Mon Apr 30 14:21:53 1990 Received: by sterling; id AA15770; 4.12/14; Mon, 30 Apr 90 14:21:53 cdt Date: Mon, 30 Apr 90 14:21:53 cdt From: Arnold Miller Message-Id: <9004301921.AA15770@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, inscrutable: A. Miller Wed May 2: Roman Zrotowski, Indescribability Thu May 3: David Ross, University of Minnesota, Duluth The "Special model axiom" in nonstandard analysis. place VV901, time 1:00, if ME agrees. Fri May 4: Ross, Nonstandard methods in the study of random closed sets. May 7,9,11 Darrold Lamb, S and L spaces and MA May 12 Logic Picnic, Devil's Lake A laugh is worth a hundred groans in any market. Charles Lamb (1775-1834) From miller Wed May 2 14:17:47 1990 Received: by sterling; id AA09932; 4.12/14; Wed, 2 May 90 14:17:47 cdt Date: Wed, 2 May 90 14:17:47 cdt From: Arnold Miller Message-Id: <9005021917.AA09932@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, cabalistic: A. Miller Thu May 3 : David Ross, University of Minnesota, Duluth The "Special model axiom" in nonstandard analysis. correction: place B123, time 1:00 Fri May 4 : Ross, Nonstandard methods in the study of random closed sets. Logic Lunch: Friday Noon, Tripp Commons, 2nd floor Memorial Union All men's gains are the fruit of venturing. Herodotus BC 484-425. Mon May 7 : Douglas Lamb, S spaces (Heriditarily separable non Lindelof) Wed May 9 : Duanne Lamb, L spaces (Heriditarily Lindelof non separable) Fri May 11: Dashield Lamb, Martin's Axiom Sat May 12: Final Exam, Devil's Lake South Shore, 1pm From miller Fri May 4 15:02:33 1990 Received: by sterling; id AA16991; 4.12/14; Fri, 4 May 90 15:02:33 cdt Date: Fri, 4 May 90 15:02:33 cdt From: Arnold Miller Message-Id: <9005042002.AA16991@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, impenetrable: A. Miller Mon May 7 : Douglas Lamb, S spaces (Heriditarily separable non Lindelof) Don will be discussing M and A spaces assuming SL. Wed May 9 : Duanne Lamb, L spaces (Heriditarily Lindelof non separable) Fri May 11: Dashield Lamb, Martin's Axiom Fri May 11: Logic Banquet: Noon, Tripp Commons, 2nd floor Memorial Union Sat May 12: Final Exam, Devil's Lake South Shore, 1pm To do great work a man must be very idle as well as very industrious. Samuel Butler 1835-1902 From miller Mon May 7 14:18:33 1990 Received: by sterling; id AA23276; 4.12/14; Mon, 7 May 90 14:18:33 cdt Date: Mon, 7 May 90 14:18:33 cdt From: Arnold Miller Message-Id: <9005071918.AA23276@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, unknowable: A. Miller Wed May 9 : Duanne Lamb, Matrix of pairs, matrix of neighborhoods, and a technical lemma at the heart and soul of the proof. Fri May 11: Dashield Lamb, Etc. Fri May 11: Logic Banquet: Noon, Tripp Commons, 2nd floor Memorial Union After Banquet Speaker: Ken Kunen who will be speaking on: "Terry Millar, real person or just a figment of our imagination?" Sat May 12: Final Exam, Devil's Lake South Shore, 1pm There is no genious free from some tincture of madness. Seneca BC3-65AD From miller Wed May 9 14:19:14 1990 Received: by sterling; id AA10832; 4.12/14; Wed, 9 May 90 14:19:14 cdt Date: Wed, 9 May 90 14:19:14 cdt From: Arnold Miller Message-Id: <9005091919.AA10832@sterling> To: miller Status: R Logic Seminar, B317VV, MWF1:20, invisible: T. Millar Fri May 11: Denny Lamb, Filling in the gaps in a proof of Demetri Todorcevic Fri May 11: Logic Banquet: Noon, Tripp Commons, 2nd floor Memorial Union After Banquet Speaker: Joel Robbin who will be speaking on: "Arnie Miller, renowned mathematician or consummate charlatan?" Sat May 12: Final Exam, Devil's Lake South Shore, 1pm Students will be required to swim across the lake. Those that make it will be given an A. Those that drown will also be given an A; however they may not repeat the course for credit. Either P or not P, that's just the way it is. Miller 1990AD From miller Fri May 11 14:41:16 1990 Received: by sterling; id AA28099; 4.12/14; Fri, 11 May 90 14:41:16 cdt Date: Fri, 11 May 90 14:41:16 cdt From: Arnold Miller Message-Id: <9005111941.AA28099@sterling> To: miller Status: R LOGIC PICNIC CANCELLED! (Associated Press and Knight-Rueters) Millions of logicians in Logictown, Wisconsin were wondering around shocked, disoriented, and confused after learning the logic picnic has been canceled due to the possibility of inclimate weather. Vilas Professor H. Jerome Keisler stated "Why don't we have the picnic anyway, but only for an infinitesimal length of time?" Noted set theorist H. Kenneth Kunen was overheard to remark "Assume the logic picnic is cancelled but everybody came anyway. Could we prove that there really was a picnic? Would it still be true if we also assumed CH?" Professor Terrence S. Millar said "Logic Picnic? What Logic Picnic?". Graduate Student Emeritus Michael Benedikt was so distraught he headed for Devil's Lake on Friday, muttering to himself that he just needed a drink of water.