- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A Note onI-Types
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (2-6):95-96 (1981)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A note on the Lambek-van Benthem calculus.Wojciech Buszkowski - 1984 - Bulletin of the Section of Logic 13 (1):31-35.
Stationary types in moduless.Philipp Rothmaler - 1983 - Mathematical Logic Quarterly 29 (8):445-464.
Modules with regular generic types. Part IV.Ivo Herzog & Philipp Rothmaler - 1992 - Journal of Symbolic Logic 57 (1):193-199.
A note on subgroups of the automorphism group of a saturated model, and regular types.A. Pillay - 1989 - Journal of Symbolic Logic 54 (3):858-864.
Power types in explicit mathematics?Gerhard Jäger - 1997 - Journal of Symbolic Logic 62 (4):1142-1146.
Types and Formation Rules: A Note on Tractatus 3.334.Edwin B. Allaire - 1960 - Analysis 21 (1):14 - 16.
A Note on Products and Degree of Types.J. Wierzejewski - 1976 - Mathematical Logic Quarterly 23 (27‐30):431-434.
A note on the theory of propositional types.Andrzej Grzegorczyk - 1964 - Fundamenta Mathematicae 54 (3):27-29.
A note on S. Noren's "logical types and the identity theory".D. S. Mannison - 1972 - Philosophy and Phenomenological Research 32 (4):569-572.
A note on countable complete theories having three isomorphism types of countable models.Robert E. Woodrow - 1976 - Journal of Symbolic Logic 41 (3):672-680.
Grzegorczyk A.. A note on the theory of prepositional types. Fundamenta mathematicae, vol. 54 (1964), pp. 27–29.Peter Andrews - 1966 - Journal of Symbolic Logic 31 (3):502-503.
Analytics
Added to PP
2015-12-02
Downloads
20 (#571,565)
6 months
1 (#481,788)
2015-12-02
Downloads
20 (#571,565)
6 months
1 (#481,788)
Historical graph of downloads
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ffd8f9497-mnh4c N