Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Model Theory for Beginners. 15 Lectures

Name: Model Theory for Beginners. 15 Lectures
Brand: College Publications
SKU: 35416858
Price: 413 CZK
Availability: InStock
Author: ROMAN KOSSAK
ISBN: 9781848903616

ROMAN KOSSAK

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 35416858

Nakladatelství College Publications, únor 2021

This book presents an introduction to model theory in 15 lectures. It concentrates on several key co... Celý popis

Libristo kód: 35416858

41 b

413 Kč

Skladem u dodavatele Odesíláme za 14-21 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Logic is Not Mathematical Hartley Slater

Brožovaná

465 Kč

Mathematical Logic Joel W Robbin

Brožovaná

274 Kč

Lattice Theory: Foundation George Grätzer

Brožovaná

2 274 Kč

Model Theory Chen Chung Chang

Brožovaná

567 Kč

Model Theory : An Introduction David Marker

Pevná

1 457 Kč

Lattice Theory: Special Topics and Applications George Grätzer

Brožovaná

2 357 Kč

Sets, Models and Proofs Ieke Moerdijk

Brožovaná

764 Kč

One True Logic Griffiths

Pevná

2 674 Kč

Counterexamples in Topology Lynn Arthur Steen

Brožovaná

272 Kč

Lattice Theory: Special Topics and Applications George Grätzer

Brožovaná

3 062 Kč

Logics of Variable Inclusion Stefano Bonzio

Pevná

2 592 Kč

Bob Noorda. Una vita nel segno della grafica Francesco Dondina

Brožovaná

677 Kč

This book presents an introduction to model theory in 15 lectures. It concentrates on several key concepts: first-order definability, classification of complete types, elementary extensions, categoricity, automorphisms, and saturation; all illustrated with examples that require neither advanced alegbra nor set theory. A full proof of the compactness theorem for countable languages and its applications are given, followed by a discussion of the Ehrefeucht-Mostowski technique for constructing models admitting automorphisms. Additional topics include recursive saturation, nonstandard models of arithmetic, Abraham Robinson's model-theoretic proof of Tarski's theorem on undefinability of truth, and the proof of the Infinite Ramsey Theorem using an elementary extension of the standard model of arithmetic.