scientific article; zbMATH DE number 204990

From MaRDI portal

Publication:4695319

Jump to:navigation, search

zbMath0773.03001MaRDI QIDQ4695319

Erwin Engeler

Publication date: 17 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithms quantifier elimination continuum hypothesis computability lambda calculus axiom of choice complete combinatory logic real line non-standard analysis decidable elementary geometry

Mathematics Subject Classification ID

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

Related Items (3)

Axiomatizing geometric constructions ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ Constructibility and Geometry

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4695319&oldid=18921472"