Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Congresses. --- Congrès --- Logic, symbolic and mathematical --- Congresses --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Logic, Symbolic and mathematical - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Le Séminaire de philosophie et mathématiques de l'École normale supérieure s'attache depuis quelques années à permettre le débat d'idées qu'appelle le développement impétueux des mathématiques. Mathématiciens, logiciens, philosophes, physiciens, linguistes, informaticiens y confrontent leurs rapports - de production, d'utilisation, de réflexion, de diffusion - aux mathématiques. Le présent recueil de textes issus des conférences du Séminaire s'intéresse tout particulièrement aux rapports cruciaux des mathématiques avec le langage d'une part, avec la réalité d'autre part. Études philosophiques et analyses historiques dessinent ainsi les grands courants de la pensée mathématique - part intégrante de notre culture.

Philosophy of science --- Mathematics --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Logic, Symbolic and mathematical --- Mathématiques --- Logique symbolique et mathématique --- Philosophy --- Philosophie --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical. --- Philosophy. --- Mathématiques --- Logique symbolique et mathématique --- Philosophie. --- Mathematics - Philosophy

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The core model, K, is a generalization of Gödel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restrictive kind. This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory. The covering lemma for K is the main technical result but other applications are also considered. The author gives a full exposition of general fine structure and of iterated ultrapowers and concludes the work with a short section on the difficulties encountered in constructing more general core models using 'extenders'.

Axiomatic set theory. --- Algebra. --- Mathematics --- Mathematical analysis --- Axioms --- Logic, Symbolic and mathematical --- Set theory --- Probability theory --- Axiomatic set theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, symbolic and mathematical --- Set theory --- Logic, Symbolic and mathematical. --- Set theory. --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Syllogism

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logicians --- Logic, symbolic and mathematical --- Correspondence --- Boole, George, --- De Morgan, Augustus, --- -Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Philosophers --- Boole, George --- De Morgan, Augustus --- Logic, Symbolic and mathematical --- Morgan, Augustus de, --- Ti-mo-kan, --- Pu-erh, --- Bu er, --- Logicians - Correspondence --- Boole, George, - 1815-1864 --- De Morgan, Augustus, - 1806-1871