The following pages link to (Q4003410):
Displaying 50 items.
- Simple structures axiomatized by almost sure theories (Q255959) (← links)
- On inflationary fix-point operators safety (Q266210) (← links)
- Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent \(p>2\) (Q283100) (← links)
- Priestley-type dualities for partially ordered structures (Q290644) (← links)
- Algebraically closed and existentially closed abelian lattice-ordered groups (Q292831) (← links)
- On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry (Q306575) (← links)
- Cofinality spectrum problems: the axiomatic approach (Q330046) (← links)
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- Homogenizable structures and model completeness (Q334999) (← links)
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- A comprehensive picture of the decidability of mereological theories (Q383563) (← links)
- A process calculus with finitary comprehended terms (Q385508) (← links)
- Automatic models of first order theories (Q387121) (← links)
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- Measurability in modules (Q403409) (← links)
- Inversive meadows and divisive meadows (Q420833) (← links)
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- Completely representable lattices (Q422347) (← links)
- Groups elementarily equivalent to a free 2-nilpotent group of finite rank. (Q431679) (← links)
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \) (Q439222) (← links)
- Spectral real semigroups (Q439225) (← links)
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Characterization of NIP theories by ordered graph-indiscernibles (Q450958) (← links)
- A dependent theory with few indiscernibles (Q466122) (← links)
- Random orderings and unique ergodicity of automorphism groups (Q479519) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Valued difference fields and \(\mathrm{NTP}_2\) (Q480802) (← links)
- Dependent \(T\) and existence of limit models (Q482659) (← links)
- Non-universality of automorphism groups of uncountable ultrahomogeneous structures (Q484292) (← links)
- Type extension trees for feature construction and learning in relational domains (Q490428) (← links)
- Positive primitive formulae of modules over rings of semi-algebraic functions on a curve (Q494649) (← links)
- On non-forking spectra (Q502150) (← links)
- Algebraic and definable closure in free groups (Q506602) (← links)
- Polish groups and Baire category methods (Q507021) (← links)
- Universal and homogeneous structures on the Urysohn and Gurarij spaces (Q522337) (← links)
- The \(\aleph_{0}\)-categorical trees (Q523151) (← links)
- On central extensions and definably compact groups in o-minimal structures (Q536010) (← links)
- Beth definability, interpolation and language splitting (Q542122) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Algebraic geometry over groups. III: Elements of model theory. (Q555757) (← links)
- On \(*\)-orderable groups. (Q557056) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- The incompleteness theorems after 70 years (Q598275) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- Vanishing of derived limits of non-standard inverse systems (Q602039) (← links)
- Definability in the structure of words with the inclusion relation (Q606049) (← links)
- \(\Sigma \)-definability of uncountable models of \(c\)-simple theories (Q606059) (← links)
- On complexity of Ehrenfeucht-Fraïssé games (Q636279) (← links)
