Pages that link to "Item:Q1572658"
From MaRDI portal
The following pages link to A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein (Q1572658):
Displaying 50 items.
- Reduction of database independence to dividing in atomless Boolean algebras (Q283121) (← links)
- On compactifications and the topological dynamics of definable groups (Q386629) (← links)
- Computing constraint sets for differential fields (Q402682) (← links)
- The automorphism group of a resplendent model (Q453194) (← links)
- Topological dynamics for groups definable in real closed field (Q487688) (← links)
- Stone MV-algebras and strongly complete MV-algebras (Q522224) (← links)
- On algebraic relations between solutions of a generic Painlevé equation (Q524582) (← links)
- NIP for some pair-like theories (Q535148) (← links)
- Implicit definability of subfields (Q558423) (← links)
- Topological differential fields (Q636296) (← links)
- On differentially closed ordered fields (Q640880) (← links)
- On some dynamical aspects of NIP theories (Q684224) (← links)
- Nonfinite basicity for a certain number system (Q694237) (← links)
- The decision problem for some logics for finite words on infinite alphabets (Q843605) (← links)
- Arithmetic deformation theory via arithmetic fundamental groups and non-Archimedean theta-functions, notes on the work of Shinichi Mochizuki (Q888768) (← links)
- On minimal flows, definably amenable groups, and o-minimality (Q908071) (← links)
- Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces and dynamics of their isometry groups (Q1024289) (← links)
- Fraïssé classes of graded relational structures (Q1643146) (← links)
- Iterated ultrapowers for the masses (Q1661675) (← links)
- The real spectrum of a noncommutative ring and the Artin-Lang homomorphism theorem (Q1697169) (← links)
- Model theoretic dynamics in Galois fashion (Q1740629) (← links)
- Imaginaries and invariant types in existentially closed valued differential fields (Q1741614) (← links)
- Modal and guarded characterisation theorems over finite transition systems (Q1886323) (← links)
- Existence of \(\partial\)-parameterized Picard-Vessiot extensions over fields with algebraically closed constants (Q1931688) (← links)
- Connectivity of joins, cohomological quantifier elimination, and an algebraic Toda's theorem (Q2003990) (← links)
- Divisible rigid groups. III: Homogeneity and quantifier elimination (Q2011344) (← links)
- A canonical model for constant domain basic first-order logic (Q2027216) (← links)
- First-order aspects of Coxeter groups (Q2068180) (← links)
- On \(\omega \)-categorical groups and rings of finite burden (Q2182049) (← links)
- The property of being a model complete theory is preserved by Cartesian extensions (Q2212696) (← links)
- An example of two cardinals that are equivalent in the \(n\)-order logic and not equivalent in the \((n + 1)\)-order logic (Q2258885) (← links)
- \(*\)-orderable semigroups. (Q2267772) (← links)
- Existentially closed de Morgan algebras (Q2283061) (← links)
- Product of invariant types modulo domination-equivalence (Q2288328) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- \(JSp\)-cosemanticness of \(R\)-modules (Q2331135) (← links)
- Equations for formally real meadows (Q2344368) (← links)
- Linear connections between roots of unity in nonzero characteristic (Q2368731) (← links)
- A general Lindström theorem for some normal modal logics (Q2392014) (← links)
- The Lascar groups and the first homology groups in model theory (Q2407273) (← links)
- On a possible application of the homotopy concept to model theory (Q2448535) (← links)
- Functional graphs (Q2484549) (← links)
- Central extensions of \(*\)-ordered skew fields (Q2505565) (← links)
- General differential Galois theory (Q2513144) (← links)
- Orbits of automorphism groups of fields (Q2575688) (← links)
- Stability and sparsity in sets of natural numbers (Q2631895) (← links)
- Property FW and 1-dimensional piecewise groups (Q2656162) (← links)
- Two applications of topology to model theory (Q2660154) (← links)
- Definably topological dynamics of \(p\)-adic algebraic groups (Q2668005) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
