Lattice of Chapters of Mathematics (Interpretations between Theorems) 1
bokomslag Lattice of Chapters of Mathematics (Interpretations between Theorems)
Vetenskap & teknik

Lattice of Chapters of Mathematics (Interpretations between Theorems)

Jan Mycielski • Pavel Pudlak • Alan S Stern

Pocket

409:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 1990
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 aboutlocal interpretability.
  • Författare: Jan Mycielski, Pavel Pudlak, Alan S Stern
  • Format: Pocket/Paperback
  • ISBN: 9780821824887
  • Språk: Engelska
  • Utgivningsdatum: 1990-07-30
  • Förlag: American Mathematical Society

Du kanske gillar

  1. bokomslag Bayesian Data Analysis

    Bayesian Data Analysis

    Andrew Gelman • John B. Carlin • Hal ...

    Inbunden

    1259:-
  2. bokomslag Metamathematics of First-Order Arithmetic

    Metamathematics of First-Order Arithm...

    Pavel Pudlak Petr Hajek

    Pocket

    1859:-
  3. bokomslag A Lifetime Worth Remembering: New York City 1920 to 1960

    A Lifetime Worth Remembering: New Yor...

    Stanley R Graham, Carol Pentleton, Roxanne S Stern

    Häftad

    419:-
  4. bokomslag Structures in Logic and Computer Science

    Structures in Logic and Computer Science

    Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa

    Pocket

    719:-
  5. bokomslag Elements of the Theory of Elliptic Functions

    Elements of the Theory of Elliptic Fu...

    N I Akhiezer

    Pocket

    2639:-
  6. bokomslag Robotics

    Robotics

    Inbunden

    2009:-
  7. bokomslag Baskets in Polynesia

    Baskets in Polynesia

    Wendy Arbeit

    Pocket

    359:-
  8. bokomslag Män och kvinnor

    Män och kvinnor

    Lena Andersson

    Inbunden

    299:-
  9. bokomslag Tranorna flyger söderut

    Tranorna flyger söderut

    Lisa Ridzén

    Pocket

    125:-
  10. bokomslag Theory of Singularities and Its Applications

    Theory of Singularities and Its Appli...

    Inbunden

    2819:-

Andra av samma författare

  1. bokomslag Logic Colloquium '98

    Logic Colloquium '98

    Samuel R Buss, Petr Hajek, Pavel Pudlak

    Inbunden

    1009:-
  2. bokomslag Logic Colloquium '98

    Logic Colloquium '98

    Samuel R Buss, Petre Hajek, Pavel Pudlak

    Pocket

    489:-
  3. bokomslag Structures in Logic and Computer Science

    Structures in Logic and Computer Science

    Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa

    Pocket

    719:-
  4. bokomslag Metamathematics of First-Order Arithmetic

    Metamathematics of First-Order Arithm...

    Pavel Pudlak Petr Hajek

    Pocket

    1859:-