Conference in Mathematical Logic - London '70

AvW. Hodges

Häftad, Engelska, 1972

Del 255 i serien Lecture Notes in Mathematics

446 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1972-02-25
Mått:155 x 235 x 20 mm
Vikt:552 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:358
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540057444

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

Inductive definitions and analogues of large cardinals.- Compact injectives and Non-Standard Analysis.- Non-axiomatizability results in infinitary languages for higher-order structures.- ? 1 1 models and ? 1 1 -categoricity.- Infinitary properties, local functors, and systems of ordinal functions.- Logics containing S4 without the finite model property.- An ?-calculus system for first-order S4.- Craig's interpolation theorem for modal logics.- A note on models and submodels of arithmetic.- An application of ultra-products to prime rings with polynomial identities.- Embedding nondistributive lattices in the recursively enumerable degrees.- Direct powers with distinguished diagonal.- Solution of problems of choquet and puritz.- Some B. Russell's sprouts (1903 – 1908).- On models of arithmetic.- -definability in set theory.- Initial segments and implications for the structure of degrees.- Abstracts of contributed papers.

Du kanske också är intresserad av

Del 42

La peste

Albert Camus

Häftad, 1972

(2)

154 kr

Hamiltonian Cosmology

Michael Ryan

Häftad, 1972

556 kr

Conference in Mathematical Logic - London '70

W. Hodges

E-bok

2006

574 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

-19%

Nattsäsong

Karolina Ramqvist

Inbunden, 2026

215 kr265 kr

IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer - SIGNERAD - Kopians hämnd, Inbunden

Signerad!

Del 2

SIGNERAD - Kopians hämnd

IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer

Inbunden, 2026

189 kr

Nyhet

Middag med Jennie Walldén

Jennie Walldén

Inbunden, 2026

269 kr

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

-21%

Ha en nice dag

Mikael Yvesand

Inbunden, 2026

189 kr239 kr

Nyhet

Domino : Dåren, domaren och den välkammade mannen från pirayaministeriet

Håkan Nesser

Inbunden, 2026

259 kr

Conference in Mathematical Logic - London '70

AvW. Hodges

Häftad, Engelska, 1972

Del 255 i serien Lecture Notes in Mathematics

446 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1972-02-25
Mått:155 x 235 x 20 mm
Vikt:552 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:358
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540057444

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

Inductive definitions and analogues of large cardinals.- Compact injectives and Non-Standard Analysis.- Non-axiomatizability results in infinitary languages for higher-order structures.- ? 1 1 models and ? 1 1 -categoricity.- Infinitary properties, local functors, and systems of ordinal functions.- Logics containing S4 without the finite model property.- An ?-calculus system for first-order S4.- Craig's interpolation theorem for modal logics.- A note on models and submodels of arithmetic.- An application of ultra-products to prime rings with polynomial identities.- Embedding nondistributive lattices in the recursively enumerable degrees.- Direct powers with distinguished diagonal.- Solution of problems of choquet and puritz.- Some B. Russell's sprouts (1903 – 1908).- On models of arithmetic.- -definability in set theory.- Initial segments and implications for the structure of degrees.- Abstracts of contributed papers.