Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Athanassios Tzouvaras"'
Autor:
Athanassios Tzouvaras
Publikováno v:
Mathematical Logic Quarterly. 68:136-148
We establish some similarities/analogies between uncountable cardinals or powersets and the class $V$ of all sets. They concern mainly the Boolean algebras ${\cal P}(\kappa)$, for a regular cardinal $\kappa$, and ${\cal C}(V)$ (the class of subclasse
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cff8127e3314dfec40fea71a85b9ee49
https://doi.org/10.1002/malq.202100010
https://doi.org/10.1002/malq.202100010
Autor:
Athanassios Tzouvaras
We extend classical Propositional Logic (PL) by adding a new primitive binary connective $\varphi|\psi$, intended to represent the "superposition" of sentences $\varphi$ and $\psi$, an operation motivated by the corresponding notion of quantum mechan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9d210a0057d637cdb2e696d20c4808e
Autor:
Athanassios Tzouvaras
This paper is a sequel to \cite{Tz10}, where a local version of ZFC, LZFC, was introduced and examined and transitive models of ZFC with properties that resemble large cardinal properties, namely Mahlo and $\Pi_1^1$-indescribable models, were conside
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29e0373e5022e9ef0b98d03dccc44f28
Autor:
Athanassios Tzouvaras
We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by $Loc({\rm ZFC})$, says that every set belongs to a transitive model of ZFC. LZFC consists of $Loc({\rm ZFC})$ plus some element
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::01ac855b660ff8cab96783da2fcf4d24
Autor:
Athanassios Tzouvaras
Publikováno v:
Journal of Applied Non-Classical Logics. 30:335-366
We provide a new semantics and a slightly different formalisation for the propositional logic with superposition (PLS) introduced and studied in Tzouvaras [(2018). Propositional superposition logic...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb95fc602d563133b38943c678390121
https://doi.org/10.1080/11663081.2020.1826157
https://doi.org/10.1080/11663081.2020.1826157
Autor:
Athanassios Tzouvaras
Publikováno v:
Mathematical Logic Quarterly. 66:355-365
We reformulate slightly Russell's notion of typicality, so as to eliminate its circularity and make it applicable to elements of any first-order structure. We argue that the notion parallels Martin-Löf (ML) randomness, in the sense that it uses defi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0af5422a499e1010c32cc9a6257b208d
https://doi.org/10.1002/malq.202000038
https://doi.org/10.1002/malq.202000038
Autor:
Athanassios Tzouvaras
Publikováno v:
Logic Journal of the IGPL. 27:570-595
We investigate how the sentence choice semantics (SCS) for propositional superposition logic (PLS) developed in \cite{Tz17} could be extended so as to successfully apply to first-order superposition logic(FOLS). There are two options for such an exte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e751c4c9bddf3a10cad742a3585796f9
https://doi.org/10.1093/jigpal/jzz019
https://doi.org/10.1093/jigpal/jzz019
Autor:
Athanassios Tzouvaras
Publikováno v:
Fundamenta Mathematicae. 235:127-152
It is shown that Vop\v{e}nka's Principle (VP) can restore almost the entire ZF over a weak fragment of it. Namely, if EST is the theory consisting of the axioms of Extensionality, Empty Set, Pairing, Union, Cartesian Product, $\Delta_0$-Separation an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33e7b03aa48ba1e6e197ae14a6ae9629
https://doi.org/10.4064/fm982-1-2016
https://doi.org/10.4064/fm982-1-2016
Autor:
Athanassios Tzouvaras
Publikováno v:
Mathematical Logic Quarterly. 61:103-116
Let L be a countable first-order language and M=(M,...) be an L-structure. “Definable set” means a subset of M which is L-definable in M with parameters. A set X⊆M is said to be immune if it is infinite and does not contain any infinite definab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::963e331d88fa2a13adefb414fdf5197b
https://doi.org/10.1002/malq.201400006
https://doi.org/10.1002/malq.201400006
Autor:
Athanassios Tzouvaras
Publikováno v:
Annals of Pure and Applied Logic. 162:373-383
We prove a combinatorial result for models of the 4-fragment of the Simple Theory of Types (TST), TST 4 . The result says that if A = 〈 A 0 , A 1 , A 2 , A 3 〉 is a standard transitive and rich model of TST 4 , then A satisfies the 〈 0 , 0 , n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cfb81ba87b50294cb2a5bc92d53fb87d
https://doi.org/10.1016/j.apal.2010.11.003
https://doi.org/10.1016/j.apal.2010.11.003