scientific article; zbMATH DE number 204990

From MaRDI portal

Revision as of 19:12, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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"