| Date | Teacher | Place | Topic | Lecture notes / comments |
| 17.01.2011 | Dag Normann? | B 70 - Matematikkbygningen.? | Hvorfor aksiomatisere mengdel?ren?? | Vi starter med en motiverende diskusjon om hva m?let med aksiomtisk mendel?re er. Vi vil ogs? diskutere fordeling av tid til oppgaveregning og teoriforelesninger.? |
| 18.01.2011 | "? | "? | Noen aksiomer med konsekvenser? | Vi tar sikte p? ? n? gjennom paragrafene 1 - 6 den f?rste uken. Hvis det faller naturlig, vil vi begynne med ordinaltall.? |
| 24.01.2011 | "? | "? | Velordninger og ordinaltall? | Vi definerer hva vi mener med velordninger og klassen av ordinaltall. Hvis vi f?r tid, vil vi se p? transfinit rekursjon.? |
| 25.01.2011 | "? | "? | Oppgaveregning? | Vi gjennomg?r oppgavene til Uke 4, og fortsetter deretter der vi slapp dagen f?r.? |
| 31.01.2011 | "? | "? | Transfinit rekursjon og Zorns lemma? | Vi viser hvordan vi kan finne en mengde som svarer til de naturlige tallene. deretter tar vi for oss transfinit induksjon, og hvis tid vil vi se p? sammenhengen mellom utvalgsaksiomet, velordningsprinsippet og Zorns lemma.? |
| 01.02.2011 | "? | "? | Oppgaver, velordninger? | Vi l?ser f?rst oppgavene til denne uken, og fortsetter deretter der vi slapp dagen f?r.? |
| 07.02.2011 | "? | "? | Kardinaltall? | Vi tar for oss avsnittet om kardinalitet og kardinaltall, etter planen frem til kardinaltallsekponensiering og kofinalitet.? |
| 08.02.2011 | "? | "? | Oppgaver? | Vi gjennomg?r oppgave 4 fra Uke 5 og oppgavene gitt til denne uken s? langt vi rekker. Resten av oppgavesettet blir utsatt til neste uke.? |
| 14.02.2011 | "? | "? | Kofinalitet? | Vi gjennong?r resten av avsnittet om kardinalitet og kofinalitet.? |
| 15.02.2011 | "? | "? | Oppgaveregning? | Vi g?r gjennom de oppgavene som sto til rest etter forrige tirsdag, og gjennomg?r ogs? oppgave 11.? |
| 21.02.2011 | "? | "? | Kombinatorikk? | Vi tar f?rst for oss avsnittene 13 og delvis 14 fra kapittel I og begynner deretter p? utvalgte deler fra kapittel II. Vi tar i f?rste omgang sikte p? ? gjennomg? avsnittene 1, 2, 4 og 5 fra kapittel II f?r vi begynner p? kapittel III.? |
| 22.02.2011 | "? | "? | Oppgaver? | Vi gjennomg?r ukeoppgavene? |
| 28.02.2011 | "? | "? | Kombinatorikk? | Vi presenterer Martins aksiom med et par anvendelser, og gir oss s? i kast med Suslinlinjer.? |
| 01.03.2011 | "? | "? | Oppgaver? | Oppgavene 12 og 19 fra Kapittel 1.? |
| 07.03.2011 | "? | "? | Suslin-linjer, velfunderthet? | Vi gjorde oss ferdige med det vi rakk ? ta med om Martins aksiom forrige uke. Denne uken tar vi for oss sammenhengen mellom Suslinlinjer og Suslintr?r. Hvis vi f?r tid, ser vi p? velfunderthetsaksiomet.? |
| 08.03.2011 | "? | "? | Oppgaver? | Vi g?r igjennom oppgavesettet gitt til Uke 10. Merk at i Oppgave 2 trenger vi strengt tatt velfunderthetsaksiomet. Resten av oppgaven krever noe utvalgsaksiom.Hvis tid, fortsetter vi ? snakke om velfunderte mengder.? |
| 14.03.2011 | "? | "? | Axiom of Foundation? | Vi skulle rekke gjennom det meste av Kapittel III i L?reboka.? |
| 15.03.2011 | "? | "? | Oppgaver? | Vi g?r gjennom de oppgavene vi rekker. Noen av oppgavene er hentet fra Kapittel III, men vi tar dem likevel. Oppgave III,4 er ikke s? grei som den ser ut til.? |
| 21.03.2011 | "? | "? | Relativisering av utsagn? | Vi gj?r oss ferdig med kapittel II og diskuterer i detalj hva som menes med at et utsagn er sant i en mengde. Vi kommer trolig litt inn p? absolutthet.? |
| 22.03.2011 | "? | "? | Oppgaver? | Vi regner noen av oppgavene til denne uken, men vil trolig utsette noen til neste uke.? |
| 28.03.2011 | "? | "? | Absolutthet? | Vi gjennomg?r, i varierende grad av detalj, avsnittet om absolutte relasjoner og absolutte funksjoner.? |
| 29.03.2011 | "? | "? | Oppgaver? | Vi tar sikte p? ? g? gjennom alle oppgavene til uke 12 og den ene til uke 13. Det kan bety at vi m? g? noe ut over tiden.? |
| 04.04.2011 | "? | "? | Modeller og refleksjon? | Vi avslutter gjennomgangen av kapittel IV med ? snakke om H(kappa) og refleksjonsteoremet? |
| 05.04.2011 | "? | "? | Oppgaver? | ? |
| 11.04.2011 | "? | "? | Refleksjon og aritmetisering? | Vi kombinerer f?rst refleksjonsteoremet med L?wenheim-Skolem-teoremet. Deretter ser vi i hvilken forstand vi kan formalisere 'definerbarhet' i mengdel?ren. Vi utsetter 'ordinaltallsdefinerbarhet' til etter p?ske.? |
| 12.04.2011 | "? | "? | Oppgaver? | Vi gjennomg?r ukens oppgaver og diskuterer hva vi skal gj?re med tirsdag etter p?ske.? |
| 02.05.2011 | "? | "? | OD, HOD og L? | Vi avslutter kapitlet om aritmetisering, og starter innf?ringen av L? |
| 03.05.2011 | "? | "? | Oppgaveregning? | Vi legger st?rst vekt p? ekstraoppgaven.? |
| 09.05.2011 | "? | "? | AC og GCH i L? | Vi viser at utvalgsaksiomet og den generelle kontinuumshypotesen holder i L, og blir det tid til overs tar vi oss tid til sp?rsm?l og svar.? |
| 10.05.2011 | "? | "? | Oppgaver? | Vi gjennomg?r de oppgavene fra siste to ukers oppgavesett som tilh?rerne prioriterer.? |
| 16.05.2011 | "? | "? | Shoenfields absolutthetsteorem m.m.? | Vi definerer det aritmetiske og det analytiske hierarkiet og ser p? de grunnleggende egenskapene. Stoffet hentes fra notatet som er lagt ut.? |
| 23.05.2011 | "? | "? | Shoenfields absolutthetsteorem? | Vi avslutter gjennomgangen av notatet, og dermed gjennomgangen av pensum.? |
| 30.05.2011 | "? | "? | Repetisjon? | Vi tar opp igjen temaer etter ?nske fra studentene. Ingen ?nsker impliserer ingen forelesning.? |
| 31.05.2011 | "? | "? | Repetisjon? | Vi fortsetter repetisjonen dersom det er behov og ?nske om det.? |
Teaching plan
Published Jan. 5, 2011 9:56 AM
- Last modified May 5, 2011 2:50 PM