scientific article

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

set theory axiom of choice axiomatization independence of axioms

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) Axiom of choice and related propositions (03E25) General histories, source books (01A05)

Related Items (only showing first 100 items - show all)

On Liouville Numbers: Yet Another Application of Functional Analysis to Number Theory ⋮ THE FRAME ENVELOPE OF A σ-FRAME ⋮ Every polynomial-time 1-degree collapses if and only if P = PSPACE ⋮ WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT? ⋮ A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC ⋮ Hobson’s Conception of Definable Numbers ⋮ HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE ⋮ The finite intersection principle and genericity ⋮ Zermelo and Set Theory ⋮ Intuitionistic sets and ordinals ⋮ On uncountable strongly concentrated sets of reals ⋮ A Paradox Arising from the Elimination of a Paradox ⋮ Brezis-Browder Principles and Applications ⋮ Does Mathematics Need New Axioms? ⋮ Does Mathematics Need New Axioms? ⋮ In the footsteps of Julius König's paradox ⋮ Redundant axioms in teaching linear algebra ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC ⋮ Hermann Weyl, the reluctant revolutionary ⋮ No decreasing sequence of cardinals ⋮ Metric fixed point theory: a brief retrospective ⋮ Definitions of compactness and the axiom of choice ⋮ Invariant measures -- from Lebesgue to our days ⋮ V = Land Intuitive Plausibility in set Theory. A Case Study ⋮ On Arbitrary sets andZFC ⋮ Well ordered subsets of linearly ordered sets ⋮ Ordering infinite utility streams comes at the cost of a non-Ramsey set ⋮ A ``neoclassic probabilist: Francesco Paolo Cantelli ⋮ The strength of prime separation, sobriety, and compactness theorems ⋮ Choice-free dualities for domains ⋮ Contraction Maps in Pseudometric Structures ⋮ König, Hadamard and Kürschák, and abstract algebra ⋮ Brezis-Browder Principle and Dependent Choice ⋮ Partition principles and infinite sums of cardinal numbers ⋮ Beppo Levi's analysis of the paradoxes ⋮ David Hilbert and the axiomatization of physics (1894--1905) ⋮ On the origins of Dénes König's infinity lemma ⋮ On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary ⋮ THOUGHTS ON THE CANTOR-BERNSTEIN THEOREM ⋮ Traditional logic and the early history of sets, 1854-1908 ⋮ Wigner's ``unreasonable effectiveness in context ⋮ On the Warsaw interactions of logic and mathematics in the years 1919--1939 ⋮ The ``Zeitschrift für die Grundlagen der gesamten Mathematik. The failure of a journal project from the year 1908 ⋮ A Remark on Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices ⋮ On the strength of the finite intersection principle ⋮ The mentor of Alan Turing: Max Newman (1897--1984) as a logician ⋮ Incommensurability, music and continuum: a cognitive approach ⋮ Notes on the fate of logicism fromprincipia mathematicato gödel's incompletability theorem ⋮ Argumentation in Mathematics ⋮ Set theory and the analyst ⋮ Intuitionism and effective descriptive set theory ⋮ von Neumann standard quantum mechanics is logically inconsistent ⋮ A Dedekind finite Borel set ⋮ Which mathematical logic is the logic of mathematics? ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Meir–Keeler Sequential Contractions and Applications ⋮ Burali-Forti's paradox: A reappraisal of its origins ⋮ Developing arithmetic in set theory without infinity: some historical remarks ⋮ The Mathematical Development of Set Theory from Cantor to Cohen ⋮ PPF Dependent Fixed Points in Razumikhin Metrical Chains ⋮ Book review of Jeremy Gray, Henri Poincaré: a scientific biography ⋮ Function Variational Principles and Normed Minimizers ⋮ Nadler-Liu Functional Contractions in Metric Spaces ⋮ History of mathematics: a global cultural approach. Abstracts from the workshop held December 13--19, 2020 (online meeting) ⋮ Ekeland variational principles in 2-local branciari metric spaces ⋮ Homotopic metric-interval L-contractions in gauge spaces ⋮ Analytic methods in Rhoades contractions theory ⋮ Relations Between Some Cardinals in the Absence of the Axiom of Choice ⋮ The Mathematical Import of Zermelo's Well-Ordering Theorem ⋮ Completeness and categoricity: Frege, gödel and model theory ⋮ The role of axioms in mathematics ⋮ The emergence of open sets, closed sets, and limit points in analysis and topology ⋮ Zermelo and the Heidelberg Congress 1904 ⋮ When series go in indefinitum, ad infinitum and in infinitum concepts of infinity in Kant's antinomy of pure reason ⋮ Peirce's topical theory of continuity ⋮ The Empty Set, The Singleton, and the Ordered Pair ⋮ The concept of ``character in Dirichlet's theorem on primes in an arithmetic progression ⋮ Logic, ontology, mathematical practice ⋮ Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship ⋮ Historians and Philosophers of Logic: Are They Compatible? The Bolzano-Weierstrass Theorem as a Case Study ⋮ The finite and the infinite ⋮ Hilbert's \(\varepsilon{}\)-operator and classical logic ⋮ HOW APPLIED MATHEMATICS BECAME PURE ⋮ FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION ⋮ ‘ich habe mich wohl gehütet, alle patronen auf einmal zu verschießen’. ernst zermelo in göttingen ⋮ On Bourbaki's axiomatic system for set theory ⋮ MAXIMAL FILTERS, CONTINUITY AND CHOICE PRINCIPLES ⋮ Function variational principles and coercivity ⋮ Zermelo and Set Theory ⋮ Towards a Re-Evaluation of Julius König's Contribution to Logic ⋮ Themes in the evolution of number systems ⋮ CARATHÉODORY AND THE AXIOMATIZATION AND ALGEBRAIZATION OF MEASURE THEORY IN THE FIRST HALF OF THE XX CENTURY ⋮ Did Poincaré say ``Set theory is a disease? ⋮ Partial orderings for sets of multisets ⋮ How good is Lebesgue measure? ⋮ Finiteness conditions and distributive laws for Boolean algebras ⋮ Zermelo: definiteness and the universe of definable sets ⋮ Unifying threads in Alfred Tarski's work ⋮ Early History of the Generalized Continuum Hypothesis: 1878–1938 ⋮ Perturbed geometric contractions in ordered metric spaces

This page was built for publication: