scientific article; zbMATH DE number 3249766
From MaRDI portal
Publication:5536619
Recommendations
Cited in
(43)- Cauchy and the continuum: the significance of non-standard analysis for the history and philosophy of mathematics
- Logic and invariant theory. IV: Invariants and syzygies in combinatorial geometry
- scientific article; zbMATH DE number 3928978 (Why is no real title available?)
- scientific article; zbMATH DE number 3259043 (Why is no real title available?)
- Model-Theoretic Logics
- Is there a ``Hilbert thesis?
- A compositional semantics for logic programs
- Universal algebra in higher types
- Rational choice and polynomial measurement models
- Formal notes on the substitutional analysis of logical consequence
- Full dualisability is independent of the generating algebra
- scientific article; zbMATH DE number 3883589 (Why is no real title available?)
- Generalized interpolation in CASL
- Countable algebra and set existence axioms
- Completeness of cut-free type theories
- Logical systems for structured specifications.
- Sugihara algebras and Sugihara monoids: Multisorted dualities
- Model theory of adeles. I.
- Model-completeness and elimination of quantifiers for subdirect products of structures
- Indexed types
- Operator counterparts of types of reasoning
- Some supplements to Feferman-Vaught related to the model theory of adeles
- LTL over integer periodicity constraints
- Refutational theorem proving for hierarchic first-order theories
- Revelations of a gambler
- The elementary theory of algebraic fields of finite corank
- Computability of a map and decidability of its graph in the model of Blum, Shub and Smale
- Ultravaluations and their applications in \textsf{CPL}
- Characterizing Mal'cev conditions
- Invariant computations for analytic projective geometry
- Model completeness of some metric completions of absolutely free algebras
- The Cooper storage idiom
- A bibliography of quantifier elimination for real closed fields
- Mathematical properties common in all mechanism models of chemical reactions
- Model theory under the axiom of determinateness
- Generalized rewrite theories, coherence completion, and symbolic methods
- Extracting Herbrand disjunctions by functional interpretation
- A finitely axiomatizable complete theory with atomlessF 1(T)
- Axiomatic (and non-axiomatic) mathematics
- The number of subdirectly irreducible algebras in a variety
- Mathematical logic and model theory. A brief introduction
- A finitely axiomatizable undecidable equational theory with recursively solvable word problems
- scientific article; zbMATH DE number 4063054 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5536619)
