The following pages link to Model theory. (Q1188602):
Displayed 50 items.
- 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)
- Three-valued completion for abductive logic programs (Q671511) (← links)
- Syntactic characterizations of closure under pullbacks and of locally polypresentable categories (Q676312) (← links)
- \(\mathbb{B}\)-fuzzy probabilities (Q678970) (← links)
- A construction of Boolean algebras from first-order structures (Q685061) (← links)
- Finite-model theory -- A personal perspective (Q688663) (← links)
- Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers (Q701303) (← links)
- On Horn spectra (Q757356) (← links)
- Ultraproducts of PM-rings and MP-rings (Q793785) (← links)
- Links between physics and set theory. (Q815623) (← 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)
- A framework for measuring the complexity of mathematical concepts (Q920074) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- Generic splitting for special groups (Q948725) (← 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)
- Domain theory in logical form (Q1174593) (← links)
- Proof normalization with nonstandard objects (Q1178706) (← links)
- Decidability problems in languages with Henkin quantifiers (Q1198829) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- Valental aspects of Peircean algebraic logic (Q1202678) (← links)
- Quantified extensions of canonical propositional intermediate logics (Q1207339) (← links)
- A semantic characterization of the well-typed formulae of \(\lambda\)- calculus (Q1208735) (← links)
- Loeb extensions and ultrapowers of measures on fragments (Q1210142) (← links)
- Game sentences and ultrapowers (Q1210353) (← links)
- Forcing infinito generalizzato in teoria dei modelli (Q1246529) (← links)
- Coherence and consistency in domains (Q1262787) (← links)
- Combinatorial variability of Vapnik-Chervonenkis classes with applications to sample compression schemes (Q1265741) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- Sentences over integral domains and their computational complexities (Q1286369) (← links)
- Randomizing a model (Q1288257) (← links)