A Lattice of Chapters of Mathematics: Interpretations between Theorems

A Lattice of Chapters of Mathematics: Interpretations between Theorems
Author :
Publisher : American Mathematical Soc.
Total Pages : 78
Release :
ISBN-10 : 9780821824887
ISBN-13 : 0821824880
Rating : 4/5 (880 Downloads)

Book Synopsis A Lattice of Chapters of Mathematics: Interpretations between Theorems by : Jan Mycielski

Download or read book A Lattice of Chapters of Mathematics: Interpretations between Theorems written by Jan Mycielski and published by American Mathematical Soc.. This book was released on 1990 with total page 78 pages. Available in PDF, EPUB and Kindle. Book excerpt: What are mathematical theories? What mathematical objects should correspond to this informal concept? The classical and most important answer to these questions is: Theories formalized in first order logic. But this answer has also some undesirable features. One of theme is the dependence of such theories upon the language or the choice of primitive concepts, whereas a slightly deeper view would identify theories interpretable in each other. The purpose of the present memoir is to investigate further, to survey the former work and to point out a number of open problems about local interpretability.


A Lattice of Chapters of Mathematics: Interpretations between Theorems Related Books

A Lattice of Chapters of Mathematics: Interpretations between Theorems
Language: en
Pages: 78
Authors: Jan Mycielski
Categories: First-order logic
Type: BOOK - Published: 1990 - Publisher: American Mathematical Soc.

GET EBOOK

What are mathematical theories? What mathematical objects should correspond to this informal concept? The classical and most important answer to these questions
Mathematics, Logic, and their Philosophies
Language: en
Pages: 493
Authors: Mojtaba Mojtahedi
Categories: Philosophy
Type: BOOK - Published: 2021-02-09 - Publisher: Springer Nature

GET EBOOK

This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various as
Gödel's Disjunction
Language: en
Pages: 288
Authors: Leon Horsten
Categories: Mathematics
Type: BOOK - Published: 2016-09-09 - Publisher: Oxford University Press

GET EBOOK

The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equi
Feferman on Foundations
Language: en
Pages: 617
Authors: Gerhard Jäger
Categories: Mathematics
Type: BOOK - Published: 2018-04-04 - Publisher: Springer

GET EBOOK

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the colle
Selberg Trace Formulae and Equidistribution Theorems for Closed Geodesics and Laplace
Language: en
Pages: 113
Authors: Steven Zelditch
Categories: Curves on surfaces
Type: BOOK - Published: 1992 - Publisher: American Mathematical Soc.

GET EBOOK

This work is concerned with a pair of dual asymptotics problems on a finite-area hyperbolic surface. The first problem is to determine the distribution of close