scientific article

From MaRDI portal

Publication:3902984

Jump to:navigation, search

zbMath0455.03007MaRDI QIDQ3902984

Detlef Seese

Publication date: 1978

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

zbMATH Keywords

Boolean algebras algebraic theories trees real closed fields ordered Abelian groups extended theories

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)

Related Items

Stationary Logic and Ordinals

This page was built for publication:

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