Simplicity

DOI10.1305/NDJFL/1093637936MaRDI QIDQ1118574zbMATH OpenOpenAlexFDO

Authors Victor V. Pambuccian

Publication date 1988

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093637936

zbMATH Keywords

axiomatisationselegancesimplicity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Review text

This paper neatly summarises various results about the simplicity of axiomatisations or formal languages (in the sense in which theories are usually given by presenting a set of predicate (or relation) symbols and a set of function (or operation) symbols as the language of the theory). The paper cites various results about simplicity taken as syntactical, and presents a number of open problems about simplicity taken as semantical.

Recommendations

• Simplicity simplified
• Simplicity Is the Point
• Simplicity theory
• Prime simplicity
• scientific article; zbMATH DE number 558376
• A criterion for pure simplicity
• A simplification of the theory of simplicity
• What Simplicity Is Not
• Simplicity and stability in there
• Strengthening prompt simplicity

Cited in

(16)

• On the stepwise construction of the parallel postulate
• The calculus of reflections and the order relation in hyperbolic geometry
• On the simplicity of ordered geometry
• Requirements for interfacing IP-components in re-configurable platforms
• Strengthening prompt simplicity
• scientific article; zbMATH DE number 3900727 (Why is no real title available?)
• scientific article; zbMATH DE number 4097365 (Why is no real title available?)
• From Stability to Simplicity
• The simplest axiom system for hyperbolic geometry revisited, again
• What Simplicity Is Not
• Simplicity Is the Point
• scientific article; zbMATH DE number 933212 (Why is no real title available?)
• Discussing Hilbert's 24th problem
• Binary relations as single primitive notions for hyperbolic three-space and the inversive plane.
• The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
• On simplicity of formulas

This page was built for publication: Simplicity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1118574)