scientific article; zbMATH DE number 3249766
From MaRDI portal
Publication:5536619
zbMATH Open0155.33801MaRDI QIDQ5536619FDOQ5536619
Georg Kreisel, Jean-Louis Krivine
Publication date: 1967
Title of this publication is not available (Why is that?)
Cited In (42)
- Generalized rewrite theories, coherence completion, and symbolic methods
- Some supplements to Feferman-Vaught related to the model theory of adeles
- Countable algebra and set existence axioms
- Operator counterparts of types of reasoning
- Universal algebra in higher types
- Model theory of adeles. I.
- A bibliography of quantifier elimination for real closed fields
- Mathematical properties common in all mechanism models of chemical reactions
- Axiomatic (and non-axiomatic) mathematics
- Completeness of cut-free type theories
- Full dualisability is independent of the generating algebra
- Title not available (Why is that?)
- Logical systems for structured specifications.
- Title not available (Why is that?)
- Indexed types
- Model theory under the axiom of determinateness
- Is there a ``Hilbert thesis?
- Generalized interpolation in CASL
- Computability of a map and decidability of its graph in the model of Blum, Shub and Smale
- Title not available (Why is that?)
- Refutational theorem proving for hierarchic first-order theories
- Ultravaluations and their applications in \textsf{CPL}
- Sugihara algebras and Sugihara monoids: Multisorted dualities
- Characterizing Mal'cev conditions
- A compositional semantics for logic programs
- Rational choice and polynomial measurement models
- Revelations of a gambler
- Model completeness of some metric completions of absolutely free algebras
- Model-Theoretic Logics
- A finitely axiomatizable undecidable equational theory with recursively solvable word problems
- Invariant computations for analytic projective geometry
- A finitely axiomatizable complete theory with atomlessF 1(T)
- The number of subdirectly irreducible algebras in a variety
- 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
- The elementary theory of algebraic fields of finite corank
- Mathematical logic and model theory. A brief introduction
- Formal notes on the substitutional analysis of logical consequence
- Extracting Herbrand disjunctions by functional interpretation
- Model-completeness and elimination of quantifiers for subdirect products of structures
- LTL over integer periodicity constraints
- The Cooper storage idiom
Recommendations
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)
