scientific article; zbMATH DE number 3813580

MaRDI QIDQ3661541zbMATH OpenFDO

Authors Erwin Engeler

Publication date 1983

zbMATH Keywords

algorithmsaxiom of choicecombinatory logiccompletecontinuum hypothesisdecidableelementary geometrylambda calculusnon-standard analysisquantifier eliminationreal line

Mathematics Subject Classification ID

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

Cited in

(5)

• 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
• Using geometric rewrite rules for solving geometric problems symbolically
• Tropical lower bounds for extended formulations

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)