## Logic, methodology and philosophy of science IV: proceedings of the Foutth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971Patrick Suppes, Leon Henkin, Athanase Joja, Gr C.. Moisil |

### What people are saying - Write a review

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

### Contents

Partial Orderings of the Family of comodels A Mostowski | 13 |

A Survey of Decidability Results for Modal Tense and Intermediate | 29 |

On the Number of Countable Models of a Countable Superstable | 45 |

Copyright | |

62 other sections not shown

### Common terms and phrases

algebra ALGOL 68 analysis argument schema arithmetic assume assumptions axioms calculus Carnap causal cell classical co-model coherence conditions computability predicate concept consider consistent constructive contains corresponding countable deduction defined definition denote diophantine equations elementary submodel elements empirical equivalent example existential exists finite formal formula genetics given Godel number hence hypothesis inductive inference rules integers intermediate logics interpretation intuitionistic intuitionistic logic kind language lattice Lemma logical space mathematical means Mendelian method microtheory modal logic Moschovakis natural numbers notion objects observation obtained operation parameters Philosophy of Science physical polynomial possible Prawitz Prewellordering principles probability problem programming proof theory propensity propositional proved quantum mechanics question reason recursive function relation satisfies scientific Section semantics sense sentences sequence solution specific properties statistical strongly valid structure theorem tion true Turing machine University valid with respect values variables