A. Tarski, Einige Betrachtungen uber die Begriffe der !-Widerspruchsfreiheit und der !-Vollstandigkeit. Monatshefte fur Mathematik und Physik 40 (1933) 97--112. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Strength of Mac Lane Set Theory - Mathias (2 citations) (Correct)
....1949) G1] studied versions of the simple theory of types and of Zermelo s set theory. Of his system of type theory, which he calls T, though we shall usually call it TKTI, or, shorn of its axiom of infinity, TKT, he states that the basic ideas of T are taken from a system due to Tarski [G6]. T differs from this system in that it contains axioms of infinity and choice, and it has a description operator. He credits the main ideas of the formalisation of his version, which he calls Z, of Zermelo s system to Skolem: Z too is equipped with a description operator and axioms of infinity ....
A. Tarski, Einige Betrachtungen uber die Begriffe der !-Widerspruchsfreiheit und der !-Vollstandigkeit. Monatshefte fur Mathematik und Physik 40 (1933) 97--112.
The Independence of Peano's Fourth Axiom from Martin-Löf's.. - Jan M. Smith (1988) (8 citations) (Correct)
....96 Goteborg Sweden March 1987 1 Introduction In Hilbert Ackermann [2] there is given a simple proof of the consistency of first order predicate logic by reducing it to propositional logic. Intuitively, the proof is based on interpreting predicate logic in a domain with only one element. Tarski [7] and Gentzen [1] have extended this method to simple type theory by starting with an individual domain consisting of a single element and then interpreting a higher type by the set of truth valued functions on the previous type. I will use the method of Hilbert and Ackermann on Martin Lof s type ....
A. Tarski. Einige Betrachtungen uber die Begriffe der ! -Wiederspruchsfreiheit und der ! -Vollstandigkeit. Monatsh. Math. Phys. 40, 1933. pp.279-295.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC