Zobrazeno 1 - 10
of 197
pro vyhledávání: '"Nemeti, P."'
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
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
Autor:
Goidescu IG, Nemeti G, Preda A, Staicu A, Goidescu CM, Surcel M, Rotar IC, Cruciat G, Muresan D
Publikováno v:
International Journal of Women's Health, Vol Volume 16, Pp 1041-1047 (2024)
Iulian Gabriel Goidescu,1,2 Georgiana Nemeti,1,2 Andreia Preda,1,2 Adelina Staicu,1,2 Cerasela Mihaela Goidescu,3 Mihai Surcel,1,2 Ioana Cristina Rotar,1,2 Gheorghe Cruciat,1,2 Daniel Muresan1,2 1Obstetrics and Gynecology I, Mother and Child Departme
Externí odkaz:
https://doaj.org/article/82eb722669614488b6278d3b0a9db8b0
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:
Sorin Nemeti
Publikováno v:
Electrum (2024)
There was a standard religious observance in the Roman army, attributed to the reforms of the age of Augustus, but not documented until the time of Severus Alexander, through famous religious calendars on papyrus discovered at Dura Europos, known as
Externí odkaz:
https://doaj.org/article/21022a318c52403f8c5ecf1be4884acf
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
Autor:
Gheorghe Cruciat, Adelina Staicu, Andreea Florian, Georgiana Nemeti, Diana Sachelaru, David Andras, Daniel Muresan
Publikováno v:
Diagnostics, Vol 14, Iss 5, p 532 (2024)
Accurate diagnosis of Müllerian duct anomalies (MDA) remains a clinical challenge even by direct surgical inspection. Although obstetrical complications are more frequent in women with MDA, some subtypes allow normal reproduction, further delaying t
Externí odkaz:
https://doaj.org/article/7bf3530d36954541ba98538ac7359d19
Autor:
Khaled, Mohamed, Németi, István
A. Tarski proved that the m-generated free algebra of $\mathrm{CA}_{\alpha}$, the class of cylindric algebras of dimension $\alpha$, contains exactly $2^m$ zero-dimensional atoms, when $m\ge 1$ is a finite cardinal and $\alpha$ is an arbitrary ordina
Externí odkaz:
http://arxiv.org/abs/1903.01527