The following pages link to Model Theory (Q4779973):
Displaying 50 items.
- Distance constraint satisfaction problems (Q259047) (← links)
- Constraint satisfaction and semilinear expansions of addition over the rationals and the reals (Q269512) (← links)
- On the uniqueness of some girth eight algebraically defined graphs (Q277648) (← links)
- Reduction of database independence to dividing in atomless Boolean algebras (Q283121) (← links)
- Computable dimension for ordered fields (Q283123) (← links)
- A theory of infinitary relations extending Zermelo's theory of infinitary propositions (Q284223) (← links)
- Multi-sorted logic, models, and logical geometry. (Q289767) (← links)
- Algebraically closed and existentially closed abelian lattice-ordered groups (Q292831) (← links)
- Forking and JSJ decompositions in the free group (Q303833) (← links)
- The direct summand conjecture for some bigenerated extensions and an asymptotic version of Koh's conjecture (Q304566) (← links)
- Counting critical formations on the circle: algebraic-geometric and Morse-theoretic bounds (Q305693) (← links)
- Extending orthogonal subsets of semimodules (Q307824) (← links)
- On the auto Igusa-zeta function of an algebraic curve (Q321294) (← links)
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- The asymptotic couple of the field of logarithmic transseries (Q335587) (← links)
- Algebraic logic and logical geometry. Two in one (Q357775) (← links)
- Hyperbolic towers and independent generic sets in the theory of free groups. (Q372628) (← links)
- Real closed exponential subfields of pseudo-exponential fields (Q372638) (← links)
- A regularization approach for estimating the type of a plane curve singularity (Q385004) (← links)
- Elementary geometric local-global principles for fields (Q385805) (← links)
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- Layered tropical mathematics (Q404243) (← links)
- On \(\Sigma\)-rigid presentations of the real order (Q404712) (← links)
- \(C\)-minimal fields, in honor of François Lucas (Q439226) (← links)
- Characterization of NIP theories by ordered graph-indiscernibles (Q450958) (← links)
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) (Q467668) (← links)
- \( h\)-vectors of matroids and logarithmic concavity (Q481673) (← links)
- Linear model theory for Lipschitz structures (Q481878) (← links)
- Representing Scott sets in algebraic settings (Q494652) (← links)
- Independence in computable algebra (Q497725) (← links)
- Algebraic and definable closure in free groups (Q506602) (← links)
- The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
- On algebraic relations between solutions of a generic Painlevé equation (Q524582) (← links)
- The complexity of isomorphism for complete theories of linear orders with unary predicates (Q527333) (← links)
- A Jordan-Hölder theorem for differential algebraic groups (Q536174) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Tractability conditions for numeric CSPs (Q683751) (← links)
- Generic expansions of countable models (Q691128) (← links)
- Logic in representations of groups (Q694234) (← links)
- Some presentations of the real number field (Q694238) (← links)
- The computable embedding problem (Q695798) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Distance structures for generalized metric spaces (Q730089) (← links)
- Completeness in partial differential algebraic geometry (Q743918) (← links)
- Isotyped algebras (Q744308) (← links)
- Radiality of definable sets (Q776809) (← links)
- Metabelian groups: full-rank presentations, randomness and Diophantine problems (Q831196) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- On the relationship between differential algebra and tropical differential algebraic geometry (Q831965) (← links)
