An algebraic proof of completeness for the two-valued propositional calculus
J. Łoś (1951)
Colloquium Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: