Mathematical Logic and Formal Systems
This 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.
SUR LES NOMBRES NATURELS ET LES FONDEMENTS DE LARITHMÉTIQUE
HOW TO DECIDE BETWEEN DIFFERENT METHODS OF STATISTICAL INFERENCE
THE SET THEORY OF A CLASS SYSTEM
SOME ASPECTS OF THE THEORY OF LARGE CARDINALS
THE CONDITIONAL AND PARACONSISTENT LOGICS
DEUX RELATIONS DĒNOMBRABLES LOGIQUEMENT ÉQUIVELENTES POUR
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