On extremal axioms

DOI10.1080/01445348108837022zbMath0512.03003OpenAlexW2089295701WikidataQ58358320 ScholiaQ58358320MaRDI QIDQ4750620

Friedrich Bachmann, Rudolf Carnap

Publication date: 1981

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

Full work available at URL: https://doi.org/10.1080/01445348108837022

zbMATH Keywords

axiom systemscomplete isomorphismfundamental types

Mathematics Subject Classification ID

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

Related Items

H.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin Greenberg, Submodels in Carnap's early axiomatics revisited, Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics, Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic