The following pages link to Model theory. (Q1188602):
Displayed 50 items.
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Representation growth and rational singularities of the moduli space of local systems (Q284633) (← links)
- On the complexity of Boolean unification (Q293360) (← links)
- Arithmetic groups, base change, and representation growth. (Q295839) (← links)
- Reasoning about negligibility and proximity in the set of all hyperreals (Q301366) (← links)
- Representable posets (Q301370) (← links)
- Ultrafilter convergence in ordered topological spaces (Q304182) (← links)
- Ultracoproduct continua and their regular subcontinua (Q306128) (← links)
- Fields with almost small absolute Galois group (Q312261) (← links)
- Cofinality spectrum problems: the axiomatic approach (Q330046) (← links)
- Closures and generating sets related to combinations of structures (Q332347) (← links)
- A logic road from special relativity to general relativity (Q383001) (← links)
- Omitting types for infinitary \([0,1]\)-valued logic (Q386155) (← links)
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Exponentially closed fields and the conjecture on intersections with tori (Q400418) (← links)
- Polycyclic-by-finite groups and first-order sentences (Q405903) (← links)
- Completely representable lattices (Q422347) (← links)
- On the verification of security-aware E-services (Q429592) (← links)
- Craig interpolation for networks of sentences (Q435205) (← links)
- Spectral real semigroups (Q439225) (← links)
- The embedding structure for linearly ordered topological spaces (Q439311) (← links)
- Quasi-selective ultrafilters and asymptotic numerosities (Q456765) (← links)
- A measure-theoretic approach to the theory of dense hypergraphs (Q456779) (← links)
- Trivial automorphisms (Q466097) (← links)
- The existence of superluminal particles is consistent with relativistic dynamics (Q472799) (← links)
- Saturation and elementary equivalence of \(C^\ast\)-algebras (Q490729) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- On small abstract quotients of Lie groups and locally compact groups (Q506941) (← links)
- \(\mathcal {F}\)-finite embeddabilities of sets and ultrafilters (Q506964) (← links)
- Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
- Magidor-Malitz reflection (Q527330) (← links)
- Forking in short and tame abstract elementary classes (Q529160) (← links)
- \({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations (Q535102) (← links)
- On the first-order expressibility of lattice properties related to unicoherence in continua (Q535165) (← links)
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
- Ultrasheaves and double negation (Q558435) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- On the fullness of certain functors (Q584378) (← links)
- Cancellation and elementary equivalence of groups (Q585348) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Boolean logics with relations (Q604451) (← links)
- A geometrical characterization of the twin paradox and its variants (Q609644) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- Homomorphisms on infinite direct product algebras, especially Lie algebras (Q651230) (← links)
- Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras (Q652515) (← links)
- Graph components of prime spectra (Q657971) (← links)
- The Thomsen-Bachmann correspondence in metric geometry. I (Q669609) (← links)
- Three-valued completion for abductive logic programs (Q671511) (← links)