Literatur
Feferman, S.: Arithmetization of metamathematics in a general setting, Fundamenta Mathematicae49 (1960) 35–92.
- Lectures on proof theory, Leeds 1967.
- Kreisel, G., Orey, S.: 1-consisteney and faithful interpretations, Arch. für Math. Logik und Grundlagenforschung Band6, 52–63.
Gödel, K.: Consistency of the axiom of choice etc., Princeton University Press 1940.
Hájek, P.: Syntactic models of axiomatic theories, Bull. Acad. Polon. Sci (sér. math., astr., phys.)13 (1965) 273–278.
—: Generalized interpretability in terms of models (note to a paper of R. Montague) Čas. pěst. mat.91 (1966) 352–357.
Hanf, W.: Model-theoretic methods in the study of elementary logic, in: The theory of models, Amsterdam 1965.
Kleene, S. C.: Introduction to metamathematics, Amsterdam 1952.
Kreisel, G.: Models, translations and interpretations, in: Mathematical interpretation of formal systems, Amsterdam 1955.
Mitchell, B.: Theory of categories, New York-London 1965.
Pour-El, M. B., Kripke, S.: Deduction-preserving “recursive isomorphisms” between theories, Fundamenta Mathematicae61 (1967) 142–163.
Scott, D.: Lectures on Booleanvalued models for set theory, lecture notes of the U.C.L.A. Summer Institute on Set Theory 1967.
Tarski, A., Mostowski, A., Robinson, R. M.: Undecidable theories, Amsterdam 1953.
Vopěnka, P.: General theory ofV-models, Comm. math. univ. Carol.8, (1967), 145–170.
- Hájek, P.: Sets, semisets, models (Buch in Vorbereitung).
Wang, H.: Arithmetic translations of axiom systems, Trans. Amer. Math. Soc.71 (1951) 283–293.
Myhill, J., Scott, D.: Ordinal-definable sets, lecture notes of the U.C.L.A. Summer Institute on Set Theory 1967.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hájek, P. Logische Kategorien. Arch math Logik 13, 168–193 (1970). https://doi.org/10.1007/BF01973622
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01973622