Publication:3661541
From MaRDI portal
zbMath0515.03001MaRDI QIDQ3661541
Publication date: 1983
algorithms; quantifier elimination; continuum hypothesis; lambda calculus; axiom of choice; complete; combinatory logic; real line; non-standard analysis; decidable; elementary geometry
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E50: Continuum hypothesis and Martin's axiom
03E25: Axiom of choice and related propositions
03B40: Combinatory logic and lambda calculus
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Using geometric rewrite rules for solving geometric problems symbolically, Tropical lower bounds for extended formulations, Euclidean geometry in terms of automata theory, Three remarks on spectra of zero-nonzero patterns, Tropical lower bound for extended formulations. II. Deficiency graphs of matrices