Pages that link to "Item:Q3261418"
From MaRDI portal
The following pages link to The first order properties of products of algebraic systems (Q3261418):
Displaying 50 items.
- Some supplements to Feferman-Vaught related to the model theory of adeles (Q400416) (← links)
- Direct products and elementary equivalence of polycyclic-by-finite groups. (Q406363) (← links)
- Courcelle's theorem -- a game-theoretic approach (Q408375) (← links)
- Model-checking hierarchical structures (Q414908) (← links)
- Temporal logics over linear time domains are in PSPACE (Q418122) (← links)
- Continuous time temporal logic with counting (Q418179) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Algebraic geometry over groups. III: Elements of model theory. (Q555757) (← links)
- Solubility of theories in a certain calculus (Q585191) (← links)
- Counting models in universal Horn classes (Q594089) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Selection over classes of ordinals expanded by monadic predicates (Q636340) (← links)
- On systems of equations over free products of groups. (Q651246) (← links)
- Exact complexity bounds for ordinal addition (Q671516) (← links)
- Recursive properties of relations on models (Q687281) (← links)
- The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) (← links)
- On universal Horn classes categorical in some infinite power (Q759010) (← links)
- Definable families of theories, related calculi and ranks (Q779113) (← links)
- Rings of finite representation type and modules of finite Morley rank (Q793133) (← links)
- A portrait of Alfred Tarski (Q809989) (← links)
- Combining sets with cardinals (Q812443) (← links)
- Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← links)
- Model-theoretic imaginaries and coherent sheaves (Q843754) (← links)
- Vertex-minors, monadic second-order logic, and a conjecture by Seese (Q858683) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Decidable theories of non-projectable \(l\)-groups of continuous functions (Q876381) (← links)
- MSOL partitioning problems on graphs of bounded treewidth and clique-width (Q884481) (← links)
- A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
- Elementary equivalence of some rings of definable functions (Q943341) (← links)
- Arity hierarchy for temporal logics (Q944387) (← links)
- Decidable metric logics (Q999264) (← links)
- Towards the decidability of the theory of modules over finite commutative rings (Q1023048) (← links)
- Erratum to: ``Some model-theoretic results in the algebraic theory of quadratic forms'' (Q1024557) (← links)
- The real-algebraic structure of Scott's model of intuitionistic analysis (Q1059071) (← links)
- Stationary logic of ordinals (Q1062974) (← links)
- Elementary and algebraic properties of the Arens-Kaplansky constructions (Q1082333) (← links)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- Zur Modelltheorie von Kranzprodukten. (On the model theory of wreath products) (Q1100458) (← links)
- Produits lexicographiques de groupes ordonnés: Isomorphisme et équivalence élémentaire. (Lexicographic products of ordered groups: isomorphism and elementary equivalence) (Q1109800) (← links)
- Cancellation and absorption of lexicographic powers of totally ordered Abelian groups (Q1115465) (← links)
- Dominoes and the complexity of subclasses of logical theories (Q1115859) (← links)
- On \(\aleph_0\)-categoricity of filtered Boolean extensions (Q1135845) (← links)
- The periodic power of \(\mathcal A\) and complete Horn theories (Q1147121) (← links)
- Lattices of equational theories of models (Q1149430) (← links)
- Elementary properties of free extensions (Q1149944) (← links)
- The completeness of Peano multiplication (Q1158147) (← links)
- On direct products of automaton decidable theories (Q1168306) (← links)
- Mal'cev's correspondence and unsolvability (Q1204738) (← links)
- Compactness and normality in abstract logics (Q1208083) (← links)
