La tesi tratta delle strutture implicative, un tipo di strutture che generalizza sia le strutture di realizzabilità che le strutture di forcing. Tali strutture sono state introdotte dal matematico Alexandre Miquel.
Strutture implicative
AL NABER, AMIR
2021/2022
Abstract
La tesi tratta delle strutture implicative, un tipo di strutture che generalizza sia le strutture di realizzabilità che le strutture di forcing. Tali strutture sono state introdotte dal matematico Alexandre Miquel.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Al Naber_Amir.pdf.pdf
accesso aperto
Dimensione
947.62 kB
Formato
Adobe PDF
|
947.62 kB | Adobe PDF | Visualizza/Apri |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.12608/35006