On the Axiom of Canonicity
Copyright policy )On the Axiom of Canonicity
The axiom of canonicity was introduced by the famous Polish logician Roman Suszko in 1951 as an explication of Skolem's Paradox (without reference to the L\"{o}wenheim-Skolem theorem) and a precise representation of the axiom of restriction in set theory proposed much earlier by Abraham Fraenkel. We discuss the main features of Suszko's contribution and hint at its possible further applications.
History of mathematics in the 20th century, axiom of restriction, countability, Axiomatics of classical set theory and its fragments, History of mathematical logic and foundations, extremal axiom, uncountability, constructible set, model of set theory, Skolem's paradox
History of mathematics in the 20th century, axiom of restriction, countability, Axiomatics of classical set theory and its fragments, History of mathematical logic and foundations, extremal axiom, uncountability, constructible set, model of set theory, Skolem's paradox
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).1 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!