Search Results for Model theory. - Narrowed by: Model theory.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dModel$002btheory.$0026qf$003dSUBJECT$002509Subject$002509Model$002btheory.$002509Model$002btheory.$0026ps$003d300?2025-12-12T19:14:06ZModel theoryent://SD_ILS/0/SD_ILS:2570842025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Chang, Chen Chung, 1927- Keisler, H. Jerome.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444880543">http://www.sciencedirect.com/science/book/9780444880543</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Finite model theoryent://SD_ILS/0/SD_ILS:932882025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg.<br/>Preferred Shelf Number QA9.7 E23 1999<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Introduction to model theoryent://SD_ILS/0/SD_ILS:1142402025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Rothmaler, Philipp.<br/>Preferred Shelf Number QA9.7 .R671 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Model theory and modulesent://SD_ILS/0/SD_ILS:1142392025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Prest, Mike.<br/>Preferred Shelf Number QA9.7 .P74 1988<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A course in model theoryent://SD_ILS/0/SD_ILS:2792172025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Tent, Katrin, 1963- Ziegler, Martin.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438561">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438561</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Large infinitary languages model theoryent://SD_ILS/0/SD_ILS:2571992025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Dickmann, M. A., 1940-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444106223">http://www.sciencedirect.com/science/book/9780444106223</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intuitionistic logic, model theory and forcingent://SD_ILS/0/SD_ILS:2572252025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Fitting, Melvin, 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534187">http://www.sciencedirect.com/science/book/9780444534187</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1.ent://SD_ILS/0/SD_ILS:2372772025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Cluckers, Raf. Nicaise, Johannes. Sebag, Julien.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511667534">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Theory with Applications to Algebra and Analysis Volume 1.ent://SD_ILS/0/SD_ILS:2357052025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Chatzidakis, Zoé. Macpherson, Dugald. Pillay, Anand. Wilkie, Alex.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511735226">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model theory for infinitary logic logic with countable conjunctions and finite quantifiersent://SD_ILS/0/SD_ILS:2572532025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Keisler, H. Jerome.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422580">http://www.sciencedirect.com/science/book/9780720422580</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to model theory and to the metamathematics of algebraent://SD_ILS/0/SD_ILS:2572082025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Robinson, Abraham, 1918-1974.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533975">http://www.sciencedirect.com/science/book/9780444533975</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Essays on the Extended Evolutionary Synthesis Formalizations and Expansionsent://SD_ILS/0/SD_ILS:5270582025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Wallace, Rodrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29879-0">https://doi.org/10.1007/978-3-031-29879-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Pragmatics and Semiotics of Standard Languagesent://SD_ILS/0/SD_ILS:5359402025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Sweet, Albert, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9780271073538?locatt=mode:legacy">https://doi.org/10.1515/9780271073538?locatt=mode:legacy</a>
<a href="https://www.degruyter.com/isbn/9780271073538">https://www.degruyter.com/isbn/9780271073538</a>
Cover <a href="https://www.degruyter.com/cover/covers/9780271073538.jpg">https://www.degruyter.com/cover/covers/9780271073538.jpg</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The foundations of mathematicsent://SD_ILS/0/SD_ILS:2673212025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Kunen, Kenneth.<br/>Preferred Shelf Number QA9 K796 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Simple Theories and Hyperimaginariesent://SD_ILS/0/SD_ILS:2374352025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Casanovas, Enrique.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139003728">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models and Gamesent://SD_ILS/0/SD_ILS:2390112025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Väänänen, Jouko.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511974885">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stable Domination and Independence in Algebraically Closed Valued Fieldsent://SD_ILS/0/SD_ILS:2355732025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Haskell, Deirdre. Hrushovski, Ehud. Macpherson, Dugald.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511546471">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Classification theory and the number of non-isomorphic modelsent://SD_ILS/0/SD_ILS:2571672025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Shelah, Saharon.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444702609">http://www.sciencedirect.com/science/book/9780444702609</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The metamathematics of algebraic systems, collected papers: 1936-1967ent://SD_ILS/0/SD_ILS:2572552025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967. Wells, Benjamin Franklin.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422665">http://www.sciencedirect.com/science/book/9780720422665</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Constructible sets with applicationsent://SD_ILS/0/SD_ILS:2572032025-12-12T19:14:06Z2025-12-12T19:14:06ZAuthor Mostowski, Andrzej.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534217">http://www.sciencedirect.com/science/book/9780444534217</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>