What people are saying - Write a review
We haven't found any reviews in the usual places.
ershov Constructions by Finite
j BARwisESome Eastern Two Cardinal Theorems
j y girard Functional Interpretation and Kripke Models
17 other sections not shown
Other editions - View all
a-Erdos a-recursive Algorithmic Logic assume axioms binary relation calculus cardinals category theory closed formula complete computable consistent constants constructive countable defined definition denoted Diophantine equation domain elementary elements entities equivalent example existence extension finite follows functional system given Godel Hence hierarchy Hintikka ideal individuating function induction algebra infinite integers intensional interpretation intuition intuitionistic iterative language large cardinals LEMMA Math Mathematical Logic means measurable cardinals modal model theory Moschovakis natural numbers non-standard normal notion objects obtained operation ordinal partial functions possible worlds pre-Ramsey predicate problem proof proper classes protopremises provable quantifiers Ramsey Ramsey cardinals real numbers recursion theory recursive function recursive in F recursively enumerable sets reflection principle relation replacement result rules satisfying Section semantics sense sentence sequence set theory Skolem structure subsets Suppose Symb symbols Tarski Theorem tion Troelstra universal Wang weakly compact weakly compact cardinals