Metristen struktuurien Scottin lauseet

Visa fullständig post



Permalänk

http://urn.fi/URN:NBN:fi:hulib-201905292225
Titel: Metristen struktuurien Scottin lauseet
Författare: Puljujärvi, Joni
Medarbetare: Helsingin yliopisto, Matemaattis-luonnontieteellinen tiedekunta
University of Helsinki, Faculty of Science
Helsingfors universitet, Matematisk-naturvetenskapliga fakulteten
Utgivare: Helsingin yliopisto
Datum: 2019
Språk: fin
Permanenta länken (URI): http://urn.fi/URN:NBN:fi:hulib-201905292225
http://hdl.handle.net/10138/302308
Nivå: pro gradu-avhandlingar
Ämne: Matematiikka
Abstrakt: Työssä esitellään kaksi erilaista ensimmäisen kertaluvun logiikan laajennosta – infinitaarinen logiikka L_{\omega_1\omega} sekä jatkuva-arvoinen logiikka – ja todistetaan näitä yhdistävä tulos, joka on klassisen malliteorian perustuloksen yleistys metrisille struktuureille. Ensimmäisessä luvussa käydään läpi perusteita infinitaarisesta logiikasta L_{\kappa\omega}, joka sallii syntaksissaan äärettömän pitkät konjunktiot ja disjunktiot, sekä esitellään pintapuolisesti teoriaa, joka johtaa klassiseen Scottin isomorfialauseeseen. Scottin isomorfialause sanoo, että numeroituvan aakkoston numeroituva struktuuri on karakterisoitavissa isomorfiaa vaille logiikan L_{\omega_1\omega} lauseella. Tätä lausetta kutsutaan struktuurin Scottin lauseeksi. Toisessa luvussa perehdytään metristen struktuurien sekä jatkuva-arvoisen logiikan perusteoriaan. Metrinen struktuuri on metriseen avaruuteen puhtaan joukon sijaan perustuva struktuuri, joka käsitteenä sieppaa paljon klassista struktuuria paremmin esimerkiksi monet analyysissä esiintyvät rakenteet. Näissä struktuureissa predikaatit ovat relaatioiden sijaan tasaisesti jatkuvia ja rajoitettuja funktioita struktuurin n-jonoilta reaaliluvuille. Jatkuva-arvoinen logiikka on metristen struktuurien tutkimiseen soveltuva logiikka, jossa kaavat ovat tasaisesti jatkuvia ja rajoitettuja reaaliarvoisia funktioita. Konnektiiveina toimivat jatkuvat funktiot, kvanttoreina infimum ja supremum, ja atomikaavojen virkaa toimittavat pisteiden välinen etäisyys sekä predikaatit. Kolmannessa luvussa esitellään jatkuva-arvoinen versio logiikasta L_{\omega_1\omega} sekä metristen struktuurien niin kutsutut edestakaisetäisyydet, jotka ovat jatkuva-arvoinen analogia dynaamisille Ehrenfeuchtin–Fraïssén peleille. Edestakaisetäisyyksien teoriaa kehitetään riittävän pitkälle, jotta voidaan konstruoida metriset versiot struktuurien Scottin lauseista. Lopuksi todistetaan, että nämä lauseet todella karakterisoivat struktuurin isomorfiaa vaille, mikä ei metrisessä tapauksessa ole yhtä ilmeistä perusmääritelmistä kuin klassisessa tapauksessa vaan vaatii lisätyötä.


Filer under denna titel

Totalt antal nerladdningar: Laddar...

Filer Storlek Format Granska
Puljujarvi_Joni_Pro_gradu_2019.pdf 333.8Kb PDF Granska/Öppna

Detta dokument registreras i samling:

Visa fullständig post