Zobrazeno 1 - 10
of 244
pro vyhledávání: '"P Andréka"'
The function $p_{xy}$ that interchanges two logical variables $x,y$ in formulas is hard to describe in the following sense. Let $F$ denote the Lindenbaum-Tarski formula-algebra of a finite-variable first order logic, endowed with $p_{xy}$ as a unary
Externí odkaz:
http://arxiv.org/abs/2409.04088
A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, institution theory and in algebraic logic. Logic families play a role i
Externí odkaz:
http://arxiv.org/abs/2311.00759
Autor:
Lilla Andréka, Orsolya Csenteri-Bárdos, Gergő József Szőllősi, Péter Andréka, Zoltán Jancsó, Péter Vajer
Publikováno v:
BMC Primary Care, Vol 25, Iss 1, Pp 1-8 (2024)
Abstract Background The ‘Taking the screening tests close to the people’ program offers cardiovascular screening to the inhabitants of underprivileged settlements. This study aimed to evaluate the cardiovascular risk factors of underprivileged po
Externí odkaz:
https://doaj.org/article/d626f178c70849df8328c5ba10c5c9c2
This note contains some material promised in our earlier papers on submodel preservation and the guarded fragment, along with some information on the current status of the problems mentioned in these papers. Section 1 contains an early example of fai
Externí odkaz:
http://arxiv.org/abs/2303.13222
Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In
Externí odkaz:
http://arxiv.org/abs/2211.14232
Publikováno v:
Annals of Pure and Applied Logic, Volume 173, Issue 5, May 2022, 103100
Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are given betw
Externí odkaz:
http://arxiv.org/abs/2112.15152
Autor:
Andréka, H., Németi, I.
We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and the strong Beth properties since it does not have the strong Beth defin
Externí odkaz:
http://arxiv.org/abs/2010.00901
Publikováno v:
BMC Primary Care, Vol 23, Iss 1, Pp 1-9 (2022)
Abstract Background The management of risk factors in patients with high cardiovascular risk and its effectiveness is of paramount importance. Over the last decade, several studies have examined the achievement of cardiovascular risk factors’ targe
Externí odkaz:
https://doaj.org/article/dc65cd320b84409581e526eaa8bcd1da
Autor:
Balázs Muk, Fanni Bánfi-Bacsárdi, Máté Vámos, Dávid Pilecky, Zsuzsanna Majoros, Gábor Márton Török, Dénes Vágány, Balázs Polgár, Balázs Solymossi, Tünde Dóra Borsányi, Péter Andréka, Gábor Zoltán Duray, Róbert Gábor Kiss, Miklós Dékány, Noémi Nyolczas
Publikováno v:
Diagnostics, Vol 14, Iss 2, p 131 (2024)
(1) Background: Besides the use of guideline-directed medical therapy (GDMT), multidisciplinary heart failure (HF) outpatient care (HFOC) is of strategic importance in HFrEF. (2) Methods: Data from 257 hospitalised HFrEF patients between 2019 and 202
Externí odkaz:
https://doaj.org/article/71c90daae70b4c0faab0c86e43df4db4
Autor:
Andréka, H., Németi, I.
We prove that persistently finite algebras are not created by completions of algebras, in any ordered discriminator variety. A persistently finite algebra is one without infinite simple extensions. We prove that finite measurable relation algebras ar
Externí odkaz:
http://arxiv.org/abs/1810.04569