scientific article

zbMATH Open0515.03001MaRDI QIDQ3661541FDOQ3661541

Erwin Engeler

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

algorithmscombinatory logiclambda calculusaxiom of choicecompletecontinuum hypothesisquantifier eliminationreal linenon-standard analysisdecidableelementary geometry

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Combinatory logic and lambda calculus (03B40) Axiom of choice and related propositions (03E25) Quantifier elimination, model completeness, and related topics (03C10) Continuum hypothesis and Martin's axiom (03E50)

Cited In (5)

• Using geometric rewrite rules for solving geometric problems symbolically
• Euclidean geometry in terms of automata theory
• Tropical lower bounds for extended formulations
• Three remarks on spectra of zero-nonzero patterns
• Tropical lower bound for extended formulations. II. Deficiency graphs of matrices

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 Q3661541)