Summaries of Talks Presented at the Summer Institute of Symbolic Logic in 1957 at Cornell University, Volume 3 |
From inside the book
Try this search over all volumes: relay
Results 1-0 of 0
Common terms and phrases
Abraham Robinson Alfred Tarski Algebraic Systems algebraically closed Alonzo Church Application of Recursive axiom of constructibility axiomatizable boolean algebra C-analytical hierarchies C-arithmetical cardinality closed term Cobham corresponding cylindrical algebra D-groups defined Definition Diophantine dual-invariant statements elementary exists formal formula Friedberg given Gödel number Hence hyperarithmetical set IBM Corporation infinite invariant July 15 July 24 Kochen Kreisel Lemma Leon Henkin M₂ machine Math Mostowski n-state natural numbers obtained partial recursive function polynomials predicate calculus Predicate Logic predicative set primitive recursive degrees primitive recursive functions Problem of Circuit procedure proof proper algebras proved Putnam R. L. Vaught Rabin Recursive Arithmetic recursive ordinals recursively enumerable set relation relativized representation result Richard Montague satisfy Scott Sect sentences true sentential calculus sequence set theory Shoenfield standard model sub-conjunction subset symbols tape true iff two-way automaton University valid variables well-ordering