The following pages link to (Q5536619):
Displayed 38 items.
- Some supplements to Feferman-Vaught related to the model theory of adeles (Q400416) (← links)
- Full dualisability is independent of the generating algebra (Q422337) (← links)
- Formal notes on the substitutional analysis of logical consequence (Q778737) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- Countable algebra and set existence axioms (Q1063593) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- Mathematical properties common in all mechanism models of chemical reactions (Q1107475) (← links)
- Computability of a map and decidability of its graph in the model of Blum, Shub and Smale (Q1127553) (← links)
- Model completeness of some metric completions of absolutely free algebras (Q1155604) (← links)
- Invariant computations for analytic projective geometry (Q1176391) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- Rational choice and polynomial measurement models (Q1216263) (← links)
- Characterizing Mal'cev conditions (Q1216327) (← links)
- The elementary theory of algebraic fields of finite corank (Q1220977) (← links)
- Model-completeness and elimination of quantifiers for subdirect products of structures (Q1222162) (← links)
- Logic and invariant theory. IV: Invariants and syzygies in combinatorial geometry (Q1227948) (← links)
- The number of subdirectly irreducible algebras in a variety (Q1234301) (← links)
- Cauchy and the continuum: the significance of non-standard analysis for the history and philosophy of mathematics (Q1254295) (← links)
- Revelations of a gambler (Q1256945) (← links)
- A compositional semantics for logic programs (Q1314414) (← links)
- Refutational theorem proving for hierarchic first-order theories (Q1328182) (← links)
- Indexed types (Q1389626) (← links)
- The Cooper storage idiom (Q1711505) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Model theory of adeles. I. (Q2067515) (← links)
- Axiomatic (and non-axiomatic) mathematics (Q2080664) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Extracting Herbrand disjunctions by functional interpretation (Q2486989) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Is there a ``Hilbert thesis''? (Q2631647) (← links)
- (Q3217584) (← links)
- Completeness of cut-free type theories (Q4041553) (← links)
- A finitely axiomatizable undecidable equational theory with recursively solvable word problems (Q4955722) (← links)
- Sugihara algebras and Sugihara monoids: Multisorted dualities (Q5142337) (← links)
- (Q5544276) (← links)
- A finitely axiomatizable complete theory with atomlessF 1(T) (Q5668801) (← links)
- Ultravaluations and their applications in \textsf{CPL} (Q6054105) (← links)
- Operator counterparts of types of reasoning (Q6146294) (← links)