{"entities":{"Q636396":{"pageid":638244,"ns":120,"title":"Item:Q636396","lastrevid":63168528,"modified":"2026-04-11T11:03:58Z","type":"item","id":"Q636396","labels":{"en":{"language":"en","value":"Mathematical logic and model theory. A brief introduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943674"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636396$9998E21D-44DA-4E5A-A390-C0D086DF316B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dac2ace7ed02679a76895e3afa0a6493aab2aff4","datavalue":{"value":{"text":"Mathematical logic and model theory. A brief introduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636396$02448E0B-D5C0-49CB-980D-2FFC6ABBA233","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43839e12ec1e95ec9a5d5f2cae24fd3364aaf2d8","datavalue":{"value":"1241.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636396$BDACB7A6-DC9A-40D5-82D9-CDFAE8BFC495","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87a584660ffef928c61dec8f27d10352d428c33e","datavalue":{"value":"10.1007/978-1-4471-2176-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636396$007B038C-4A8B-4AEC-8F98-C45A5EC7232F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02cb65e749db03889c98b08c69bfa0c4bcb1a840","datavalue":{"value":{"entity-type":"item","numeric-id":556424,"id":"Q556424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636396$5C5C60E0-DAA6-4FDE-B2A7-83A6D627DAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"198c5775cdd78d9f2a245ff506b1209d9f5cdb9d","datavalue":{"value":{"entity-type":"item","numeric-id":580402,"id":"Q580402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636396$B3332B8F-7FF2-485F-A4FC-47BA9A2C5C66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8add31f26cdbf28161a196bae4082822a85ebe4b","datavalue":{"value":{"entity-type":"item","numeric-id":166422,"id":"Q166422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636396$5619D2E0-9743-4BC7-AB1D-AEB6FB69FC8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636396$963C8EDF-8E0E-4481-A5E0-62E12E0CAA5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"336a9981cef167e6108578c63b3594ce20579d6b","datavalue":{"value":"The first edition of this book, published in 1986, was in German [\\textit{A. Prestel}, Einf\u00fchrung in die mathematische Logik und Modelltheorie. Braunschweig/Wiesbaden: Friedr. Vieweg \\& Sohn (1986; Zbl 0616.03001)], and intended to give ``a thorough and self-contained presentation of the model-theoretic aspects'' of algebraic theories. This new edition has the same intention and ``is essentially just a translation to address'' ``a larger audience''. (The authors state: ``German is sometimes considered to be a difficult language.'' Ganz richtig!) There are two major changes: the expansion of exercises and the addition of a second appendix. This review is addressed to these, leaving that of the main text, which is a pleasure to read, to J. Flum's review in Zbl 0616.03001.   Exercises for Chapter 1, `First-order logic', are routine: formalize notions, check if so and so are tautologies, deduce\\dots. Those for Chapters 2 and 3, `Model constructions' and `Properties of model classes', include some important topics which are not covered in the main text. They include the back-and-forth argument, Beth's theorem about definability, and model companions. Exercises of the last chapter, `Model theory of several algebraic theories', are about \\(p\\)-adically closed fields. The new appendix is titled `Remarks on second-order logic', and divided into three parts. First, set variables are interpreted naively, and all important first-order properties are lost. Then many-sorted formulation is introduced which is appropriate for valued fields, because valuation rings and value groups are associated. Finally, set variables are regarded as a new sort. Then, their range is not the full power-set.   The authors explicitly state that subsequent developments are not included: they are delegated to ``the many good books''. And yet, it's a pity that one cannot see the authors' succinct and lucid overview of recent work. Another appendix, perhaps?","type":"string"},"datatype":"string"},"type":"statement","id":"Q636396$7F9EF1B9-D3E9-4279-B587-44239572C79E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636396$8984EF54-44FC-4A84-BAB2-C79A9569A080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636396$4DAED478-5A9D-43B4-ADE4-1CE0AAA30CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636396$3905E92A-1EF2-432E-817B-3712BEF1AF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636396$1E2D320E-A48B-4ADC-964F-93D28F2B0459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636396$48F5359E-8B73-4753-8545-52B23803E2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636396$19E1847E-38CB-477A-909C-6DB98E25A1E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ad94fecf42fc9dde8e5806879d9a9883be65333","datavalue":{"value":"5943674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636396$ACCC7C82-15B8-4A3A-BBE1-DE758FA01860","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636396$CDE343E3-B6ED-420B-9463-59F1E828D4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q636396$3944B524-FE86-480B-9F7F-7BE0099C8184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21dbe1456b140b91ee724c304938f3e9a828016","datavalue":{"value":"model constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q636396$D893FF3C-DF25-4C3F-82F3-29893899896C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2966cf2ffb55305b64f3e46d71106f6d8bc20f53","datavalue":{"value":"properties of model classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q636396$B199C492-43F5-4485-A606-AAEF678A967B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q636396$35C86BB2-983E-4994-B9AF-7A2951038E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c076cbba3879ea62b1e41c3c4255e50a11f22bc5","datavalue":{"value":"algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q636396$F53A750C-C6A8-42B8-B3D3-DFDE777C796D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dcb7ed5d8ead74d68e6d0c6d9fc9762f5d5b5ca","datavalue":{"value":"Artin conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q636396$E3E96875-E7C9-4EFE-8444-039CD7A0F708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636396$19EF93B7-2E5B-4212-9392-1F867AD81020","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636396$772A27BE-0DC7-4B34-9B4D-FFF71713DFF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e7167147c2bc50e01086da7d3a11c9696443d0b","datavalue":{"value":"https://doi.org/10.1007/978-1-4471-2176-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q636396$A5354DD5-4F25-4234-895D-4ACCA9534232","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"181d939efb631c54548cd436e16ad90754200954","datavalue":{"value":"W2481467531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636396$D5E1B086-1728-4292-8C0A-FFBB5BFFACD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9824552a2b16a6fbf63e4f8dba2b5434656dccc0","datavalue":{"value":{"entity-type":"item","numeric-id":4422745,"id":"Q4422745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffff77e9056526f6776e370b3aedafa0b7cb4cfa","datavalue":{"value":{"amount":"+0.9504606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636396$BFB35C62-7C31-4624-A2D3-C89075C79D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a985fb1e48701fec418420e0d9b95598b68e0907","datavalue":{"value":{"entity-type":"item","numeric-id":2782580,"id":"Q2782580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd0ebf2eba7a5cdeb9f9ad59b31d5032eae86fa","datavalue":{"value":{"amount":"+0.95046055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636396$236A5131-059C-4289-967E-FDE8283EF616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7cf77e16ad347d38484b85a8e5f2e2f5f1f82c7","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8107f957ae2804cc4ed8dda073982759d0c34662","datavalue":{"value":{"amount":"+0.9436806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636396$A7041066-7E06-4D14-8977-8C0C59CC3BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3deacc587c18f59219705c0d7dfd5061517cd1","datavalue":{"value":{"entity-type":"item","numeric-id":3781080,"id":"Q3781080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f780073116a01c0df15915b1a08c3005121c8142","datavalue":{"value":{"amount":"+0.9399951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636396$EFF42B96-086A-4770-BCD8-F71A957AC83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d628c8079773c9fee417966a7fe514c4d9540937","datavalue":{"value":{"entity-type":"item","numeric-id":4513929,"id":"Q4513929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ecf82dfacacf34db13889b61f1cb21c1571725","datavalue":{"value":{"amount":"+0.93426204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636396$8B42AB51-3643-406A-AB8C-055F4C1A19DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f482ce30b37570b3aece0a1a332d1cd687d089","datavalue":{"value":{"entity-type":"item","numeric-id":4212151,"id":"Q4212151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ecf82dfacacf34db13889b61f1cb21c1571725","datavalue":{"value":{"amount":"+0.93426204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636396$CD8261DB-BB6A-452F-A4DC-658DC7121330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88aef8465c9d104d2b7e64bfe3dd4101f1b57b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5536619,"id":"Q5536619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a5c53838eb05f920c063650359cd07bd6766a7","datavalue":{"value":{"amount":"+0.9330693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636396$EA7621C8-124A-4DCD-AE03-D40621BD9648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363f72dcaad14d86ac059b3ce640b7f8931f6573","datavalue":{"value":{"entity-type":"item","numeric-id":2101369,"id":"Q2101369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0c74f70648f2b58732221799f836807d2ad7bd","datavalue":{"value":{"amount":"+0.93200713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636396$B54D88F3-A987-4F92-840F-00EDB19DD354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef45221510a91e6f0ef5f48efce0e0cc4382fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5595142,"id":"Q5595142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1cc9f7a343c6bb601dc56b5f61b9af435ff7905","datavalue":{"value":{"amount":"+0.9209876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636396$964AC4CC-4143-46EF-BD08-1D0AF19BD817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7128f980692594088325ca79378436bdbb637c79","datavalue":{"value":{"entity-type":"item","numeric-id":5902234,"id":"Q5902234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284f95aaf469093c6d228e594e71daed2d749f13","datavalue":{"value":{"amount":"+0.91876733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636396$EA35536D-CF8B-4388-A6A4-0C7A662FFC6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical logic and model theory. A brief introduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_logic_and_model_theory._A_brief_introduction"}}}}}