Page:  of 102
 

INDEX
To avoid repetitions, words and successions of words are often
replaced by dashes, each dash replacing one word.
Synonyms of a term and symbols for a term, insofar as they are
actually used in the book, are given in brackets. Specific contexts in which
a term occurs are indicated in parentheses.
Numbers following the name of an author indicate those pages on
which either the author himself is mentioned or a work of his is referred to.
Abelian group, 19, 85
Abstract projective geometry, 33
Addition [+], 41. See also: Symbol of --
AJDUKIEWICZ, K., 10
Antinomy of the liar, 48
Arithmetic, 35 ff. and passim; -- of integers, 32 ff., 39, 41, 67 f., 77 ff., 84,
see also: Theory J, J<, J*, J+; -- -- natural numbers, 30 ff., 39, 41, 51,
66, see also: Theory N, N*, N+; -- -- positive integers, 67 ; -- -- rational
numbers, 33. See also: Peano's --
Arithmetization of metamathematics, 12
Associative system (groupoid], 86
Atomic (formula, sentence, symbol, term), 7, 13, 63
Axiom, -- system, 10, 13, and passim; -- scheme, 52 f., 67. See also: Irredu-
cibility, Logical --, Non-logical --
Axiomatic, axiomatically built (system, theory), 10 ff., 35, and passim
Axiomatizable (theory), 13 ff., 19, 26, 31, 49, 60 f.; we also: Finitely --
BERNAYS, P., 5, 13, 23, 32, 52, 89
Binary operation symbol, 6, 20, see also: Symbol of addition, Symbol of
multiplication, Symbol of the group operation; -- predicate, 6, 18 ff.,
29, 34, see also: Symbol of identity, Symbol of the divisibility relation,
Symbol of the element relation, Symbol of the less-then relation
Bound occurrence of a variable, -- variable, 6 f.
Brouwerian algebra, 33
Cartesian product [X x Y), 41
Centerless group, 85
Characteristic function [C p ], 46
CHURCH, A., 4, 17, 19, 31, 35, 61 f., 89
Closure algebra, 33

-93-

Questia, a part of Gale, Cengage Learning. www.questia.com

Publication Information: Book Title: Undecidable Theories. Contributors: Alfred Tarski - author. Publisher: North-Holland Pub. Co.. Place of Publication: Amsterdam. Publication Year: 1953. Page Number: 93.
    
This feature allows you to create and manage separate folders for your different research projects. To view markups for a different project, make that project your current project.
This feature allows you to save a link to the publication you are reading or view all the publications you have put on your bookshelf.
This feature allows you to save a link to the page you are reading, which you can later return to from Projects.
This feature allows you to highlight words or phrases on the publication page you are reading.
This feature allows you to save a note you write on the publication page you are reading.
This feature allows you to create a citation to the page you are reading that you can paste into your paper. Highlight a passage to include that passage as a quotation.
This feature allows you to save a reference to a publication you are reading for your bibliography or generate a bibliography you can paste into your paper.
This feature allows you to print the page you are reading, including your notes or highlights (IE users must have "print background colors and image" setting selected.)
This feature allows you to look up words in encyclopedia.
  About Questia Tools
Close Window  
Questia's powerful research tools allow you to highlight, take notes, bookmark and even create instant citations and bibliographies. To use these features and save hours of work, you must create a Questia account.
Need a Questia account?
Sign up for a FREE trial now. Save time, stress and hassle, and get better grades with trusted, online research.

» Click here for our free trial

Already have a Questia account? Login now!
Error
Working...
Printing Preferences
Format for black and white printer: On Off
Print highlights: On Off
Print notes: On Off
Choose one of the options for printing:
Print this page (No Charge)
Print pages to