An algebraic proof of completeness for the two-valued propositional calculus
J. Łoś (1951)
Colloquium Mathematicae
Similarity:
Displaying similar documents to “The completeness of logic with the added quantifier 'there are uncountable many'”
An algebraic proof of completeness for the two-valued propositional calculus
Non standard interpretations of higher order theories
Paweł Zbierski (1981)
Fundamenta Mathematicae
Similarity:
On the principle of dependent choices
Andrzej Mostowski (1948)
Fundamenta Mathematicae
Similarity:
On the distinct sums of λ-type transfinite series obtained by permuting the elements of a fixed λ-type series
S. Ginsburg (1952)
Fundamenta Mathematicae
Similarity:
On the extending of models (II)
J. Łoś, R. Suszko (1955)
Fundamenta Mathematicae
Similarity:
On a problem of W. Kinna and K. Wagner
Andrzej Mostowski (1958)
Colloquium Mathematicum
Similarity:
Non-extensional equality
A. Troelstra (1975)
Fundamenta Mathematicae
Similarity:
Set theory and category theory: Two rival siblings and their relations with the foundations of mathematics. (La théorie des ensembles et la théorie des catégories: Présentation de deux soeurs ennemies du point de vue de leurs relations avec les fondements des mathématiques.)
Béziau, Jean-Yves (2002)
Boletín de la Asociación Matemática Venezolana
Similarity:
Un continu irréductible à décomposition continue en tranches
Bronisław Knaster (1935)
Fundamenta Mathematicae
Similarity:
On joins of spherical mappings
Sze-tsen Hu (1949)
Fundamenta Mathematicae
Similarity:
Un modèle individuel de décomposition additive des préférences : le modèle Benito
Catherine Dupont-Gatelmand (1981)
Revue de Statistique Appliquée
Similarity: