On the Axiom of Canonicity

DOI10.12775/llp.2022.022zbMath1530.03015OpenAlexW4285038040WikidataQ114007672 ScholiaQ114007672MaRDI QIDQ6107281

Jerzy Pogonowski

Publication date: 3 July 2023

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2022.022

zbMATH Keywords

constructible setuncountabilitycountabilitySkolem's paradoxmodel of set theoryaxiom of restrictionextremal axiom

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of set theory
• Investigations into the sentential calculus with identity
• Ontology in the Tractatus of L. Wittgenstein
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Models and reality
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• CARNAP ON EXTREMAL AXIOMS, “COMPLETENESS OF THE MODELS,” AND CATEGORICITY
• Pointwise definable models of set theory
• The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small
• On the Independence of the Axiom of Constructibility
• A system of axiomatic set theory—Part II
• A system of axiomatic set theory—Part VI
• Inner models for set theory—Part I
• Inner models for set theory—Part II
• The Hypothesis that all Classes are Nameable
• Inner models for set theory – Part III
• A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis
• Consistency of the Continuum Hypothesis. (AM-3)
• A system of axiomatic set theory. Part IV. General set theory
• A system of axiomatic set theory. Part V. General set theory (continued)
• Concatenation as a basis for arithmetic
• Does Mathematics Need New Axioms?

This page was built for publication: On the Axiom of Canonicity