TY  -  
T1  - Kvanttoriasteen säilyttävä Rossmanin homomorfismilause syntaktisesta näkökulmasta 
SN  -  /  
UR  - URN:NBN:fi:hulib-202106162958; http://hdl.handle.net/10138/331334 
T3  -  
A1  - Hankala, Teemu 
A2  -  
PB  - Helsingin yliopisto 
Y1  - 2021 
LA  - fin 
AB  - Säilymislauseina tunnetut tulokset kuvailevat malliteoriassa erilaisia yhteyksiä kaavojen syntaktisen rakenteen ja kaavat toteuttavien mallien semanttisten ominaisuuksien välillä. Esimerkiksi jokainen ensimmäisen kertaluvun logiikan eksistentiaalis-positiivinen kaava säilyy homomorfismien suhteen. Käänteiseen suuntaan jokainen homomorfismeissa säilyvä ensimmäisen kertaluvun kaava voidaan loogisesti yhtäpitävästi esittää myös eksistentiaalis-positiivisessa muodossa. Parannuksena tähän on Benjamin... 
VO  -  
IS  -  
SP  -  
OP  -  
KW  - Matematiikka; Mathematics; Matematik; Matematiikan ja tilastotieteen maisteriohjelma; Master's Programme in Mathematics and Statistics; Magisterprogrammet i matematik och statistik 
N1  -   
PP  -  
ER  -