The following pages link to Model theory (Q1393228):
Displaying 50 items.
- A decidable Ehrenfeucht theory with exactly two hyperarithmetic models (Q810001) (← links)
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- Relative elimination of quantifiers for Henselian valued fields (Q810501) (← links)
- Generalized region connection calculus (Q814636) (← links)
- A language for configuring multi-level specifications (Q820125) (← links)
- Ordered fields and Ł\(\Pi\frac{1}{2}\)-algebras (Q841977) (← links)
- The decision problem for some logics for finite words on infinite alphabets (Q843605) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- Elementary theory of free non-abelian groups. (Q855727) (← links)
- A common generalization for MV-algebras and Łukasiewicz-Moisil algebras (Q862349) (← links)
- First-order spectra with one variable (Q909462) (← links)
- Model theory and spectra (Q912088) (← links)
- Incidence algebras and coalgebras of decomposition structures (Q912099) (← links)
- Omega-categoricity, relative categoricity and coordinatisation (Q912842) (← links)
- Polycyclic groups, finite images, and elementary equivalence (Q914824) (← links)
- On the interpretability of arithmetic in temporal logic (Q915718) (← links)
- Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal (Q916644) (← links)
- Parametrization over inductive relations of a bounded number of variables (Q917545) (← links)
- Labelling systems and r.e. structures (Q923076) (← links)
- Topological complexity of locally finite \(\omega\)-languages (Q944222) (← links)
- Vive la différence. III (Q948874) (← links)
- The premiss-based approach to judgment aggregation (Q969119) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Order-isomorphic \(\eta _1\)-orderings in Cohen extensions (Q1011752) (← links)
- Definability in the \(h\)-quasiorder of labeled forests (Q1023296) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Representation of ideals of relational structures (Q1024444) (← links)
- Decidable fragments of many-sorted logic (Q1041587) (← links)
- The elementary theory of large e-fold ordered fields (Q1050407) (← links)
- Classifying topoi and finite forcing (Q1052317) (← links)
- Decidability and the number of countable models (Q1057259) (← links)
- Stationary logic of ordinals (Q1062974) (← links)
- Some questions about expressiveness and relative completeness in Hoare's logic (Q1064046) (← links)
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types (Q1069927) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- Applied model theory and metamathematics. An Abraham Robinson memorial problem list (Q1071758) (← links)
- Gruppenuniversalität und Homogenisierbarkeit (Q1073014) (← links)
- Intersections of algebraically closed fields (Q1076073) (← links)
- Remarks on infinite systems of equations (Q1078249) (← links)
- Existentially closed locally finite p-groups (Q1079660) (← links)
- Hyperfinite models of adapted probability logic (Q1080845) (← links)
- Quantifier elimination in discriminator varieties (Q1084391) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- A construction of all normal subgroup lattices of 2-transitive automorphism groups of linearly ordered sets (Q1086261) (← links)
- Counting unlabeled structures (Q1089001) (← links)
- Why Horn formulas matter in computer science: initial structures and generic examples (Q1089797) (← links)
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Uncountable groups have many nonconjugate subgroups (Q1093728) (← links)
