01692nam0 22003853i 450 VAN009421020230720091436.818978-35-400-9732-720130708d1980 |0itac50 baengDE|||| |||||Topological model theoryJorg Flum, Martin ZieglerBerlinSpringer1980X, 149 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer76903D35Undecidability and degrees of sets of sentences [MSC 2020]VANC024436MF03B60Other nonclassical logic [MSC 2020]VANC028873MF03C90Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020]VANC028874MF12LxxConnections between field theory and logic [MSC 2020]VANC029287MFModelKW:KModel theoryKW:KTopological spacesKW:KBerlinVANL000066FlumJörgVANV04426855649ZieglerMartinVANV075384348915Springer <editore>VANV108073650Flum, JorgFlum, JörgVANV062007ITSOL20240614RICA/sebina/repository/catalogazione/documenti/Flum, Ziegler - Topological model theory.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0094210BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1425 08 9358 I 20130708 Topological model theory81018UNICAMPANIA