scientific article; zbMATH DE number 3249766
From MaRDI portal
Publication:5536619
zbMath0155.33801MaRDI QIDQ5536619
Jean-Louis Krivine, Georg Kreisel
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Refutational theorem proving for hierarchic first-order theories, Is there a ``Hilbert thesis?, Generalized interpolation in CASL, A bibliography of quantifier elimination for real closed fields, Mathematical properties common in all mechanism models of chemical reactions, Computability of a map and decidability of its graph in the model of Blum, Shub and Smale, Indexed types, Some supplements to Feferman-Vaught related to the model theory of adeles, Ultravaluations and their applications in \textsf{CPL}, Operator counterparts of types of reasoning, Completeness of cut-free type theories, Full dualisability is independent of the generating algebra, A finitely axiomatizable complete theory with atomlessF 1(T), Model completeness of some metric completions of absolutely free algebras, Unnamed Item, The Cooper storage idiom, Invariant computations for analytic projective geometry, Sugihara algebras and Sugihara monoids: Multisorted dualities, Universal algebra in higher types, Extracting Herbrand disjunctions by functional interpretation, Rational choice and polynomial measurement models, Characterizing Mal'cev conditions, The elementary theory of algebraic fields of finite corank, Model-completeness and elimination of quantifiers for subdirect products of structures, Logic and invariant theory. IV: Invariants and syzygies in combinatorial geometry, The number of subdirectly irreducible algebras in a variety, LTL over integer periodicity constraints, A finitely axiomatizable undecidable equational theory with recursively solvable word problems, Generalized rewrite theories, coherence completion, and symbolic methods, Cauchy and the continuum: the significance of non-standard analysis for the history and philosophy of mathematics, Revelations of a gambler, Model theory of adeles. I., Formal notes on the substitutional analysis of logical consequence, Axiomatic (and non-axiomatic) mathematics, Unnamed Item, Logical systems for structured specifications., Countable algebra and set existence axioms, A compositional semantics for logic programs
