The following pages link to Model theory. (Q1188602):
Displayed 50 items.
- Universal graphs with forbidden subgraphs and algebraic closure (Q1293133) (← links)
- Weak measure extension axioms (Q1295285) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Decidable Boolean algebras of low level (Q1295398) (← links)
- Purity and injectivity in accessible categories (Q1295551) (← links)
- Distinguishing three strong saturation properties in nonstandard analysis (Q1302293) (← links)
- Categoricity for abstract classes with amalgamation (Q1302296) (← links)
- Extended order-generic queries (Q1302301) (← links)
- Forcing in nonstandard analysis (Q1331917) (← links)
- Finite \(H\)-dimension does not imply expressive completeness (Q1337512) (← links)
- P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\) (Q1338220) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- First-order queries on databases embedded in an infinite structure (Q1350000) (← links)
- On elementary equivalence for equality-free logic (Q1355131) (← links)
- Proper cuts in \(^*R\) (Q1364714) (← links)
- How to define a linear order on finite models (Q1371431) (← links)
- Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe (Q1372154) (← links)
- Model completions and r-Heyting categories (Q1372155) (← links)
- Finitely presented partially ordered abelian groups (Q1377752) (← links)
- Ontologies for plane, polygonal mereotopology (Q1381436) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Queries with arithmetical constraints (Q1391932) (← links)
- Reachability and connectivity queries in constraint databases (Q1394800) (← links)
- Quantifier rank for parity of embedded finite models. (Q1401237) (← links)
- An essay on model theory (Q1407204) (← links)
- Bounds for the representation of quadratic forms. (Q1409749) (← links)
- Limits of theory sequences over algebraically closed fields and applications. (Q1421482) (← links)
- Covers for monoids. (Q1421817) (← links)
- Perfect pseudo-algebraically closed fields are algebraically bounded. (Q1421819) (← links)
- Alpha-theory: An elementary axiomatics for nonstandard analysis (Q1425690) (← links)
- On \(\vartriangleleft^{*}\)-maximality. (Q1428039) (← links)
- Decidability and complexity of simultaneous rigid E-unification with one variable and related results (Q1575636) (← links)
- Proto-semantics for positive free logic (Q1576387) (← links)
- Definable utility in o-minimal structures. (Q1587385) (← links)
- Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
- Weak elimination of imaginaries for Boolean algebras (Q1765160) (← links)
- Liouville closed \(H\)-fields (Q1772249) (← links)
- Completions, valuations and ultrapowers of Noetherian domains (Q1772255) (← links)
- Prime ideals in ultraproducts of commutative rings (Q1772448) (← links)
- Limit groups as limits of free groups. (Q1781931) (← links)
- Logic with equality: Partisan corroboration and shifted pairing (Q1854299) (← links)
- A comparative study of open default theories (Q1855239) (← links)
- Combinatorial principles in nonstandard analysis (Q1861543) (← links)
- Elementary polyhedral mereotopology (Q1863962) (← links)
- Numerosities of labelled sets: A new way of counting (Q1865286) (← links)
- On the expressiveness of choice quantification (Q1874242) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Normal conditions for inference relations and injective models (Q1884904) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Modal and guarded characterisation theorems over finite transition systems (Q1886323) (← links)