The following pages link to Model theory (Q1393228):
Displaying 50 items.
- A class of almost \(c\)-simple rings (Q259849) (← links)
- The algebra and model theory of tame valued fields (Q323734) (← links)
- Integral closure of a valuation ring in a finite extension (Q354482) (← links)
- Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups (Q384406) (← links)
- (\(\kappa ,\theta \))-weak normality (Q431613) (← links)
- Characterization of NIP theories by ordered graph-indiscernibles (Q450958) (← links)
- Book review of: E. Grädel, P. Kolaitis, L. Libkin, M. Marx, I. Spencer, M. Vardi, Y. Venema, S. Weinstein, Finite model theory and its applications (Q458460) (← links)
- Elementary equivalence of automorphism groups of reduced Abelian \(p\)-groups. (Q469083) (← links)
- Representations of algebras in varieties generated by infinite primal algebras. (Q471157) (← links)
- Orthomodular posets related to \(Z_2\)-valued states (Q472697) (← links)
- The index set of Boolean algebras autostable relative to strong constructivizations (Q498225) (← links)
- Universal functions and almost \(c\)-simple models (Q498242) (← links)
- Algebraic and definable closure in free groups (Q506602) (← links)
- Sets and supersets (Q513990) (← links)
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL (Q518747) (← links)
- Constructing situations and time (Q543532) (← links)
- Free abelian lattice-ordered groups (Q556825) (← links)
- A descending chain condition for groups definable in o-minimal structures (Q556829) (← links)
- Implicit definability of subfields (Q558423) (← links)
- Fixed point equations with parameters in the projective model (Q580971) (← links)
- Lindelöf models of the reals: solution to a problem of Sikorski (Q594861) (← links)
- Tarski's definition and truth-makers (Q598268) (← links)
- Normative positions within an algebraic approach to normative systems (Q598543) (← links)
- Duality and rationality (Q599666) (← links)
- A representative individual from Arrovian aggregation of parametric individual utilities (Q617616) (← links)
- Extracting the resolution algorithm from a completeness proof for the propositional calculus (Q636273) (← links)
- Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\) (Q636389) (← links)
- On systems of equations over free products of groups. (Q651246) (← links)
- The complexity of querying indefinite data about linearly ordered domains (Q676427) (← links)
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
- Scopeless quantifiers and operators (Q689081) (← links)
- A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete (Q689290) (← links)
- Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
- On the existence of a possibility distribution function (Q703392) (← links)
- Finite rank and pseudofinite groups (Q721696) (← links)
- What is nominalistic mereology? (Q742476) (← links)
- Structure and transcendence degree of \(\eta_{\alpha +1}\)-fields and ultrapowers of fields (Q754918) (← links)
- On the consistency strength of ''accessible'' Jonsson cardinals and of the weak Chang conjecture (Q761448) (← links)
- Models with second order properties. IV. A general method and eliminating diamonds (Q762058) (← links)
- A logic for multiple-source approximation systems with distributed knowledge base (Q763469) (← links)
- The concepts of equivalence, equality and identity (Q777979) (← links)
- Stability of the class of divisible \(S\)-acts (Q779116) (← links)
- On \(\aleph_ 0\)-categorical class two groups (Q789505) (← links)
- Sheaf models and massless fields (Q791215) (← links)
- On the definability of properties of finite graphs (Q791548) (← links)
- On the size of congruence lattices for models of theories with definability of congruences (Q793011) (← links)
- Rings of finite representation type and modules of finite Morley rank (Q793133) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- Pseudovarieties, generalized varieties and similarly described classes (Q799720) (← links)
- Expressiveness and the completeness of Hoare's logic (Q800082) (← links)
