scientific article; zbMATH DE number 5722772

MaRDI QIDQ3568115zbMATH OpenFDO

Authors Dirk Schlimm

Publication date 17 June 2010

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• On axiomatizations of Boolean algebras
• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
• Axiomatizing schemes and their behaviors
• scientific article; zbMATH DE number 637397
• The axiomatic method in theory and in practice
• Axiomatization of some basic and modal Boolean connexive logics
• On Tarski's axiomatic foundations of the calculus of relations
• On the Axiomatization of “If-Then-Else”
• Axiomatizing proof tree concepts in bounded arithmetic
• Finite axiomatizability and theories with trivial algebraic closure

Cited in

(5)

• Eigenlogic in the spirit of George Boole
• What were the genuine Banach spaces in 1922? Reflection on axiomatisation and progression of the mathematical thought
• The intensional side of algebraic-topological representation theorems
• On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others
• Confronting ideals of proof with the ways of proving of the research mathematician

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