The following pages link to Model theory. (Q1188602):
Displaying 50 items.
- Syntactic characterizations of closure under pullbacks and of locally polypresentable categories (Q676312) (← links)
- \(\mathbb{B}\)-fuzzy probabilities (Q678970) (← links)
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- A construction of Boolean algebras from first-order structures (Q685061) (← links)
- Finite-model theory -- A personal perspective (Q688663) (← links)
- An integer construction of infinitesimals: toward a theory of eudoxus hyperreals (Q691131) (← links)
- Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers (Q701303) (← links)
- Small universal families for graphs omitting cliques without GCH (Q711564) (← links)
- Linear maps on \(k^{I}\), and homomorphic images of infinite direct product algebras (Q713403) (← links)
- Some characterization and preservation theorems in modal logic (Q714726) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- \(\aleph\)-injective Banach spaces and \(\aleph\)-projective compacta (Q748335) (← links)
- On Horn spectra (Q757356) (← links)
- Modelltheorie - topologische Modelltheorie (Q793013) (← links)
- Ultraproducts of PM-rings and MP-rings (Q793785) (← links)
- Links between physics and set theory. (Q815623) (← links)
- Unwinding modal paradoxes on digraphs (Q830367) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- Model-theoretic imaginaries and coherent sheaves (Q843754) (← links)
- Default theories over monadic languages (Q860840) (← links)
- Horn axiomatizations for sequential data (Q870272) (← links)
- On fixed-point sets of nonexpansive mappings in nonstandard hulls and Banach space ultrapowers (Q876948) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- The complexity of reasoning with FODD and GFODD (Q900300) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- A generalization of the Łoś-Tarski preservation theorem (Q904143) (← links)
- What's right with a syntactic approach to theories and models? (Q907910) (← links)
- A framework for measuring the complexity of mathematical concepts (Q920074) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- Generic splitting for special groups (Q948725) (← links)
- The axiomatization of override and update (Q975885) (← links)
- Theories with the independence property (Q993495) (← links)
- When is there state independence? (Q1017785) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Exploiting functional dependencies in declarative problem specifications (Q1028967) (← links)
- Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity (Q1076669) (← links)
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus (Q1079157) (← links)
- Measures and forking (Q1095891) (← links)
- Produits lexicographiques de groupes ordonnés: Isomorphisme et équivalence élémentaire. (Lexicographic products of ordered groups: isomorphism and elementary equivalence) (Q1109800) (← links)
- Les cogroupes et les D-hypergroupes. (Cogroups and D-hypergroups) (Q1112016) (← links)
- Filter spaces: Towards a unified theory of large cardinal and embedding axioms (Q1117925) (← links)
- A note on the stable model semantics for logic programs (Q1127348) (← links)
- An intelligent interactive project management support system (Q1129303) (← links)
- Complexity of Boolean algebras (Q1137036) (← links)
- Embeddings in groups of permutations with supports of bounded cardinality (Q1144122) (← links)
- The optimization of the domain problem. I: Basic concepts (Q1162692) (← links)
- Existentially closed linear groups (Q1165321) (← links)
- On the cohomological dimension of non-standard number fields (Q1174276) (← links)
