Szerző dc.contributor.author | Khaled Mohamed | |
Szerző dc.contributor.author | Székely Gergely | |
Elérhetőség dátuma dc.date.accessioned | 2024-05-08T12:24:44Z | |
Rendelkezésre állás dátuma dc.date.available | 2024-05-08T12:24:44Z | |
Kiadás dc.date.issued | 2024 | |
Issn dc.identifier.issn | 1755-0211 | |
Issn dc.identifier.issn | 1755-0203 | |
Uri dc.identifier.uri | http://hdl.handle.net/20.500.12944/24920 | |
Kivonat dc.description.abstract | We show that the conceptual distance between any two theories of first-order logic is the same as the generator distance between their Lindenbaum–Tarski algebras of concepts. As a consequence of this, we show that, for any two arbitrary mathematical structures, the generator distance between their meaning algebras (also known as cylindric set algebras) is the same as the conceptual distance between their first-order logic theories. As applications, we give a complete description for the distances between meaning algebras corresponding to structures having at most three elements and show that this small network represents all the possible conceptual distances between complete theories. As a corollary of this, we will see that there are only two non-trivial structures definable on three-element sets up to conceptual equivalence (i.e., up to elementary plus definitional equivalence). | |
Nyelv dc.language | en | |
Kulcsszó dc.subject | distance between theories | |
Kulcsszó dc.subject | algebras of concepts | |
Kulcsszó dc.subject | equivalence of structures | |
Kulcsszó dc.subject | firstorder logic | |
Kulcsszó dc.subject | definitional equivalence. | |
Cím dc.title | Conceptual distance and algebras of concepts | |
Típus dc.type | folyóiratcikk | |
Változtatás dátuma dc.date.updated | 2024-05-02T12:03:18Z | |
Változat dc.description.version | kiadói | |
Hozzáférés dc.rights.accessRights | nyílt hozzáférésű | |
Doi azonosító dc.identifier.doi | 10.1017/S1755020324000029 | |
Tudományág dc.subject.discipline | Műszaki tudományok | |
Tudományterület dc.subject.sciencebranch | Katonai műszaki tudományok | |
Mtmt azonosító dc.identifier.mtmt | 34729383 | |
Folyóirat dc.identifier.journalTitle | Review of Symbolic Logic | |
Évfolyam dc.identifier.journalVolume | 22 February 2024 | |
Terjedelem dc.format.page | 1-16 | |
Scopus azonosító dc.identifier.scopus | 85186087155 | |
Folyóiratcím rövidítve dc.identifier.journalAbbreviatedTitle | REV SYMB LOGIC | |
Szerző intézménye dc.contributor.department | Algebrai Logika | |
Szerző intézménye dc.contributor.department | Halmazelmélet Logika és Topológia | |
Szerző intézménye dc.contributor.department | Katonai Logisztikai Intézet | |
Szerző intézménye dc.contributor.department | Természettudományi Tanszék | |
Szerző intézménye dc.contributor.department | Matematika Doktori Iskola |