Notice: Unexpected clearActionName after getActionName already called in /var/www/html/includes/context/RequestContext.php on line 338
Istvan Németi - MaRDI portal

Istvan Németi

From MaRDI portal
(Redirected from Person:1005970)
Person:227769

Available identifiers

zbMath Open nemeti.istvanMaRDI QIDQ227769

List of research outcomes

PublicationDate of PublicationType
Logic families2023-11-01Paper
A note on the submodel preservation property in fragments of first-order logic2023-03-23Paper
Testing definitional equivalence of theories via automorphism groups2022-11-25Paper
Universal algebraic logic. Dedicated to the unity of science2022-11-08Paper
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime2022-04-01Paper
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime2021-12-30Paper
TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY2021-10-27Paper
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS2021-05-11Paper
Two-variable logic has weak, but not strong, Beth definability2020-10-02Paper
Atoms in infinite dimensional free sequence-set algebras2019-10-09Paper
Varieties generated by completions2019-07-10Paper
Term algebras of elementarily equivalent atom structures2018-10-30Paper
How many varieties of cylindric algebras are there2017-10-12Paper
ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS2017-09-27Paper
Finite-Variable Logics Do Not Have Weak Beth Definability Property2017-08-28Paper
On a new semantics for first-order predicate logic2017-07-19Paper
A note on ‘Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox’2016-11-02Paper
Ultraproducts of continuous posets2016-10-26Paper
Free algebras of discriminator varieties generated by finite algebras are atomic2016-02-21Paper
Changing a Semantics: Opportunism or Courage?2015-11-27Paper
Using Isabelle/HOL to verify first-order relativity theory2015-06-23Paper
Comparing Theories: The Dynamics of Changing Vocabulary2015-05-11Paper
Faster than light motion does not imply time travel2014-06-19Paper
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct2014-05-05Paper
A logic road from special relativity to general relativity2013-11-25Paper
https://portal.mardi4nfdi.de/entity/Q28537072013-10-16Paper
An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds2013-10-05Paper
CLOSED TIMELIKE CURVES IN RELATIVISTIC COMPUTATION2013-08-16Paper
DECIDABILITY, UNDECIDABILITY, AND GÖDEL'S INCOMPLETENESS IN RELATIVITY THEORIES2013-08-16Paper
Residuated Kleene Algebras2012-07-16Paper
What are the numbers in which spacetime?2012-04-05Paper
The equational theory of Kleene lattices2012-01-04Paper
Formalizing set theory in weak logics, searching for the weakest logic with G\"odel's incompleteness property2011-11-03Paper
On Logical Analysis of Relativity Theories2011-05-04Paper
Vienna Circle and Logical Analysis of Relativity Theory2011-01-31Paper
Epimorphisms in cylindric algebras and definability in finite variable logic2010-01-04Paper
General relativistic hypercomputing and foundation of mathematics2009-10-19Paper
Weakly higher order cylindric algebras and finite axiomatization of the representables2009-03-17Paper
A twist in the geometry of rotating black holes: seeking the cause of acausality2008-12-16Paper
Axiomatizing relativistic dynamics without conservation postulates2008-09-02Paper
Omitting types for finite variable fragments and complete representations of algebras2008-05-08Paper
A Logical Analysis of the Time-Warp Effect of General Relativity2007-09-16Paper
https://portal.mardi4nfdi.de/entity/Q34472002007-06-28Paper
Logical Approaches to Computational Barriers2007-04-30Paper
SOFSEM 2006: Theory and Practice of Computer Science2006-11-14Paper
Twin paradox and the logical foundation of relativity theory2006-10-04Paper
https://portal.mardi4nfdi.de/entity/Q54828122006-08-15Paper
Relativistic computers and the Turing barrier2006-08-04Paper
https://portal.mardi4nfdi.de/entity/Q33673162006-01-24Paper
https://portal.mardi4nfdi.de/entity/Q33673292006-01-24Paper
Mutual definability does not imply definitional equivalence, a simple example2005-11-15Paper
https://portal.mardi4nfdi.de/entity/Q47894552003-01-29Paper
Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski2002-10-20Paper
On neat reducts of algebras of logic2002-05-22Paper
Non-Turing computations via Malament--Hogarth space-times2002-03-26Paper
https://portal.mardi4nfdi.de/entity/Q27083152001-04-17Paper
On the equational theory of representable polyadic equality algebras2001-01-29Paper
Notions of density that imply representability in algebraic logic2000-02-15Paper
Finite algebras of relations are representable on finite sets1999-11-29Paper
https://portal.mardi4nfdi.de/entity/Q42500711999-10-28Paper
Persistent properties and an application to algebras of logic1998-11-23Paper
Modal languages and bounded fragments of predicate logic1998-11-18Paper
https://portal.mardi4nfdi.de/entity/Q43907771998-10-19Paper
Relativised quantification: Some canonical varieties of sequence-set algebras1998-06-02Paper
Relation algebras from cylindric and polyadic algebras1998-05-10Paper
On the equational theory of representable polyadic equality algebras (extended abstract)1998-04-29Paper
https://portal.mardi4nfdi.de/entity/Q43492881997-12-22Paper
Decision problems for equational theories of relation algebras1997-12-07Paper
Strong representability of fork algebras, a set theoretic foundation1997-11-21Paper
https://portal.mardi4nfdi.de/entity/Q43492811997-11-05Paper
https://portal.mardi4nfdi.de/entity/Q43492801997-08-11Paper
https://portal.mardi4nfdi.de/entity/Q48871081997-06-18Paper
https://portal.mardi4nfdi.de/entity/Q48739751996-12-05Paper
Taming logic1996-10-08Paper
https://portal.mardi4nfdi.de/entity/Q48739671996-08-22Paper
Expressibility of properties of relations1996-07-24Paper
https://portal.mardi4nfdi.de/entity/Q48606471996-07-01Paper
Decidable and undecidable logics with a binary modality1996-07-01Paper
https://portal.mardi4nfdi.de/entity/Q48739741996-06-23Paper
Perfect extensions and derived algebras1996-06-19Paper
Axiomatization of identity-free equations valid in relation algebras1996-06-02Paper
https://portal.mardi4nfdi.de/entity/Q48705561996-05-19Paper
https://portal.mardi4nfdi.de/entity/Q48705701996-03-26Paper
Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators1996-01-30Paper
https://portal.mardi4nfdi.de/entity/Q46986151995-06-11Paper
Binary Relations and Permutation Groups1995-06-06Paper
Connections between axioms of set theory and basic theorems of universal algebra1995-03-15Paper
https://portal.mardi4nfdi.de/entity/Q43054891994-09-13Paper
The lattice of varieties of representable relation algebras1994-08-15Paper
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus1994-05-15Paper
https://portal.mardi4nfdi.de/entity/Q42734731994-01-13Paper
https://portal.mardi4nfdi.de/entity/Q42734761994-01-13Paper
A nonpermutational integral relation algebra1993-06-29Paper
Algebraization of quantifier logics, an introductory overview1992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40117261992-09-27Paper
Free algebras in discriminator varieties1992-06-27Paper
https://portal.mardi4nfdi.de/entity/Q39751381992-06-26Paper
Splitting in Relation Algebras1991-01-01Paper
On the strength of temporal proofs1991-01-01Paper
On varieties of cylindric algebras with applications to logic1987-01-01Paper
A unifying theorem for algebraic semantics and dynamic logics1987-01-01Paper
Decidability of Relation Algebras with Weakened Associativity1987-01-01Paper
A non-representable cylindric algebra with pairing functions1986-01-01Paper
On the number of generators of cylindric algebras1985-01-01Paper
Cylindric-relativised set algebras have strong amalgamation1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36841781985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37198231985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33401291984-01-01Paper
The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36669081983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36670881983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36688241983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47483221982-01-01Paper
On notions of factorization systems and their applications to cone- injective subcategories1982-01-01Paper
A complete logic for reasoning about programs via nonstandard model theory. I1982-01-01Paper
A complete logic for reasoning about programs via nonstandard model theory. II1982-01-01Paper
Every free algebra in the variety generated by the representable dynamic algebras is separable and representable1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33171061982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39505411982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39563901982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39586401982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47491821981-01-01Paper
Similarity types, pseudosimple algebras, and congruence representations of chains1981-01-01Paper
HSP K is equational class, without the axiom of choice1981-01-01Paper
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent1981-01-01Paper
Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33221631981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33294621981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39392241981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39424011981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39505601981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39684741981-01-01Paper
On systems of varieties definable by schemes of equations1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36746621980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39000701980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39236271980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39521601980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41965741979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41987271979-01-01Paper
INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I1979-01-01Paper
INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I1979-01-01Paper
Formulas and ultraproducts in categories1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32086421979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38834721979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38906901979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38917541979-01-01Paper
From hereditary classes to varieties in abstract model theory and partial algebra1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38536241978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38724541978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39601121978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39675191978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41934401978-01-01Paper
On universal algebraic constructions of logics1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41418821977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41467721977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41061911976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41935291976-01-01Paper
A simple, purely algebraic proof of the completeness of some first order logics1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32152781975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38758921975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41016621975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41588681975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41707191975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40490601974-01-01Paper
Sufficient and Necessary Condition for the Completeness of a Calculus1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40698021974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40774701974-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Istvan Németi