The following pages link to Hajnalka Andréka (Q787977):
Displaying 50 items.
- (Q331021) (redirect page) (← links)
- Ultraproducts of continuous posets (Q331024) (← links)
- A logic road from special relativity to general relativity (Q383001) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- The equational theory of Kleene lattices (Q655418) (← links)
- General relativistic hypercomputing and foundation of mathematics (Q734209) (← links)
- Formulas and ultraproducts in categories (Q787978) (← links)
- On the strength of temporal proofs (Q809066) (← links)
- Axiomatizing relativistic dynamics without conservation postulates (Q941737) (← links)
- A twist in the geometry of rotating black holes: seeking the cause of acausality (Q960067) (← links)
- (Q1047104) (redirect page) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Relative epis need not be surjective (Q1062130) (← links)
- On taking subalgebras of relativized relation algebras (Q1105597) (← links)
- A complete logic for reasoning about programs via nonstandard model theory. I (Q1159460) (← links)
- A complete logic for reasoning about programs via nonstandard model theory. II (Q1159461) (← links)
- (Q1160642) (redirect page) (← links)
- Similarity types, pseudosimple algebras, and congruence representations of chains (Q1160643) (← links)
- HSP K is equational class, without the axiom of choice (Q1167715) (← links)
- Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent (Q1169457) (← links)
- 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. Nemeti (Q1170185) (← links)
- One variable is not enough for defining relation algebras, but two are (Q1175933) (← links)
- A simple, purely algebraic proof of the completeness of some first order logics (Q1217805) (← links)
- (Q1239726) (redirect page) (← links)
- On universal algebraic constructions of logics (Q1239727) (← links)
- On systems of varieties definable by schemes of equations (Q1250215) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Persistent properties and an application to algebras of logic (Q1272145) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- Weakly representable but not representable relation algebras (Q1337158) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- Coset relation algebras (Q1652860) (← links)
- Functionally dense relation algebras (Q1762473) (← links)
- A representation theorem for measurable relation algebras (Q1791048) (← links)
- A nonpermutational integral relation algebra (Q1803909) (← links)
- A unifying theorem for algebraic semantics and dynamic logics (Q1821095) (← links)
- The equational theory of union-free algebras of relations (Q1894553) (← links)
- Representations for small relation algebras (Q1903131) (← links)
- Axiomatization of identity-free equations valid in relation algebras (Q1913874) (← links)
- Term algebras of elementarily equivalent atom structures (Q1991592) (← links)
- Universal algebraic logic. Dedicated to the unity of science (Q2093497) (← links)
- Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime (Q2120977) (← links)
- Representations of distributive lattice-ordered semigroups with binary relations (Q2277499) (← links)
- Varieties generated by completions (Q2311330) (← links)
- On a new semantics for first-order predicate logic (Q2363414) (← links)
- A note on ‘Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox’ (Q2831253) (← links)
- CLOSED TIMELIKE CURVES IN RELATIVISTIC COMPUTATION (Q2842651) (← links)
- DECIDABILITY, UNDECIDABILITY, AND GÖDEL'S INCOMPLETENESS IN RELATIVITY THEORIES (Q2842652) (← links)