On the Mathematical Content of the Theory of Classes KM

Mathematical induction in ramified type theory.James R. Royse - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (1-3):7-10.

On Quasi-Universal Model Classes.Manfred Armbrust & Klaus Kaiser - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30):403-406.

Universal classes of Monadic Algebras.Th Lucas - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):35-44.

Classes of One-Argument Recursive Functions.Nadejda V. Georgieva - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):127-130.

Game approximations of satisfaction classes models.Roman Kossak & Henryk Kotlarski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):21-26.

Classes of Numeration Models of λ-Calculus.Akira Kanda - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):315-322.

Enumeration of some classes of recursively enumerable sets.Kempachiro Ohashi - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (1):1-6.

Analytics

Added to PP
2015-12-02

Downloads
36 (#432,858)

6 months
9 (#436,631)

Historical graph of downloads

How can I increase my downloads?

Universitat de Barcelona

No citations found.

Set theory.Thomas Jech - 1981 - Journal of Symbolic Logic.

General Topology.John L. Kelley - 1962 - Journal of Symbolic Logic 27 (2):235-235.

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...