## Mathematical Logic and Formal SystemsThis unique collection of research papers provides an important contribution to the area of Mathematical Logic and Formal Systems. Exploring interesting practical applications as well as problems for further investigation, this single-source reference discusses the interpretations of the concept of probability and their relationship to statistical methods ... illustrates the problem of set theoretical foundations and category theory ... treats the various aspects of the theory of large cardinals including combinatorial properties of some sets naturally related to them ... resolves an open problem in the theory of relations ... and characterizes interpretations of elementary theories as functors between categories whose objects are structures. Written by world-renowned authorities in their fields, Mathematical Logic and Formal Systems is important reading for logicians, pure and applied mathematicians, and graduate students in logic courses. Book jacket. |

### What people are saying - Write a review

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

### Contents

SUR LES NOMBRES NATURELS ET LES FONDEMENTS DE LARITHMÉTIQUE | 17 |

HOW TO DECIDE BETWEEN DIFFERENT METHODS OF STATISTICAL INFERENCE | 43 |

THE SET THEORY OF A CLASS SYSTEM | 57 |

SOME ASPECTS OF THE THEORY OF LARGE CARDINALS | 87 |

THE CONDITIONAL AND PARACONSISTENT LOGICS | 141 |

DEUX RELATIONS DĒNOMBRABLES LOGIQUEMENT ÉQUIVELENTES POUR | 161 |

### Common terms and phrases

algebra apply assume axioms called cardinal complete condition consider consists constant construction contains contradiction corresponding Costa defined definition dénombrable denoted deux élément elementary elements ensemble entiers equivalent espace example exists extension fact filter fini finite formula function functor given hérédénombrable holds huge identity implies induction infini interpretation introduce isomorphism k-complete l'ensemble language least lemma libre logic Math Mathematics means measure methods morphisme natural naturels nombres normal Note notice notion objects obtain operations paraconsistent partition possible predicate probability problem proof propositions prove rang relation respect restriction result rules satisfies semi-groupal sentence sequence set theory stationary structure subsets suite supercompact Suppose symbol theorem theory tout true truth ultrafilter University valeur