## Logic, Methodology and Philosophy of Science: Proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science, Volume 1 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

ershov Constructions by Finite | 3 |

j BARwisESome Eastern Two Cardinal Theorems | 11 |

j y girard Functional Interpretation and Kripke Models | 33 |

Copyright | |

17 other sections not shown

### Other editions - View all

### Common terms and phrases

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