CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-disabled vector-feature-custom-font-size-clientpref--excluded vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-disabled skin-theme-clientpref-day vector-toc-not-available" lang="en" dir="ltr"> <head> <meta charset="UTF-8"> <title>Related changes - Wikibooks, open books for an open world</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-disabled vector-feature-custom-font-size-clientpref--excluded vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-disabled skin-theme-clientpref-day vector-toc-not-available";var cookie=document.cookie.match(/(?:^|; )enwikibooksmwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":true,"wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""], "wgDefaultDateFormat":"dmy","wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgRequestId":"5a57d108-db87-482f-95f8-2f3e1d533cf3","wgCanonicalNamespace":"Special","wgCanonicalSpecialPageName":"Recentchangeslinked","wgNamespaceNumber":-1,"wgPageName":"Special:RecentChangesLinked/Finite_Model_Theory","wgTitle":"RecentChangesLinked/Finite Model Theory","wgCurRevisionId":0,"wgRevisionId":0,"wgArticleId":0,"wgIsArticle":false,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":[],"wgPageViewLanguage":"en","wgPageContentLanguage":"en","wgPageContentModel":"wikitext","wgRelevantPageName":"Finite_Model_Theory","wgRelevantArticleId":121703,"wgIsProbablyEditable":false,"wgRelevantPageIsProbablyEditable":true,"wgNoticeProject":"wikibooks","wgCiteReferencePreviewsActive":true,"wgFlaggedRevsParams":{"tags":{"value":{"levels":3}}},"wgMediaViewerOnClick":true, "wgMediaViewerEnabledByDefault":true,"wgVisualEditor":{"pageLanguageCode":"en","pageLanguageDir":"ltr","pageVariantFallbacks":"en"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":false,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":0,"wgStructuredChangeFilters":[{"name":"userExpLevel","type":"string_options","fullCoverage":true,"filters":[{"name":"unregistered","label":"rcfilters-filter-user-experience-level-unregistered-label","description":"rcfilters-filter-user-experience-level-unregistered-description","cssClass":"mw-changeslist-user-unregistered","priority":-2,"subset":[],"conflicts":[],"defaultHighlightColor":null},{"name":"registered","label":"rcfilters-filter-user-experience-level-registered-label","description":"rcfilters-filter-user-experience-level-registered-description","cssClass":"mw-changeslist-user-registered","priority":-3,"subset":[{"group":"userExpLevel","filter":"newcomer"},{"group":"userExpLevel","filter": "learner"},{"group":"userExpLevel","filter":"experienced"}],"conflicts":[],"defaultHighlightColor":null},{"name":"newcomer","label":"rcfilters-filter-user-experience-level-newcomer-label","description":"rcfilters-filter-user-experience-level-newcomer-description","cssClass":"mw-changeslist-user-newcomer","priority":-4,"subset":[],"conflicts":[],"defaultHighlightColor":null},{"name":"learner","label":"rcfilters-filter-user-experience-level-learner-label","description":"rcfilters-filter-user-experience-level-learner-description","cssClass":"mw-changeslist-user-learner","priority":-5,"subset":[],"conflicts":[],"defaultHighlightColor":null},{"name":"experienced","label":"rcfilters-filter-user-experience-level-experienced-label","description":"rcfilters-filter-user-experience-level-experienced-description","cssClass":"mw-changeslist-user-experienced","priority":-6,"subset":[],"conflicts":[],"defaultHighlightColor":null}],"priority":-2,"conflicts":[],"title": "rcfilters-filtergroup-user-experience-level","separator":";","default":""},{"name":"authorship","type":"send_unselected_if_any","fullCoverage":true,"filters":[{"name":"hidemyself","label":"rcfilters-filter-editsbyself-label","description":"rcfilters-filter-editsbyself-description","cssClass":"mw-changeslist-self","priority":-2,"subset":[],"conflicts":[],"defaultHighlightColor":null,"default":false},{"name":"hidebyothers","label":"rcfilters-filter-editsbyother-label","description":"rcfilters-filter-editsbyother-description","cssClass":"mw-changeslist-others","priority":-3,"subset":[],"conflicts":[],"defaultHighlightColor":null,"default":false}],"priority":-3,"conflicts":[],"title":"rcfilters-filtergroup-authorship"},{"name":"automated","type":"send_unselected_if_any","fullCoverage":true,"filters":[{"name":"hidebots","label":"rcfilters-filter-bots-label","description":"rcfilters-filter-bots-description","cssClass":"mw-changeslist-bot","priority":-2,"subset":[],"conflicts":[], "defaultHighlightColor":null,"default":true},{"name":"hidehumans","label":"rcfilters-filter-humans-label","description":"rcfilters-filter-humans-description","cssClass":"mw-changeslist-human","priority":-3,"subset":[],"conflicts":[],"defaultHighlightColor":null,"default":false}],"priority":-4,"conflicts":[],"title":"rcfilters-filtergroup-automated"},{"name":"significance","type":"send_unselected_if_any","fullCoverage":true,"filters":[{"name":"hideminor","label":"rcfilters-filter-minor-label","description":"rcfilters-filter-minor-description","cssClass":"mw-changeslist-minor","priority":-2,"subset":[],"conflicts":[{"group":"changeType","filter":"hidecategorization","globalDescription":"rcfilters-hideminor-conflicts-typeofchange-global","contextDescription":"rcfilters-hideminor-conflicts-typeofchange"},{"group":"changeType","filter":"hidelog","globalDescription":"rcfilters-hideminor-conflicts-typeofchange-global","contextDescription":"rcfilters-hideminor-conflicts-typeofchange"},{"group" :"changeType","filter":"hidenewuserlog","globalDescription":"rcfilters-hideminor-conflicts-typeofchange-global","contextDescription":"rcfilters-hideminor-conflicts-typeofchange"},{"group":"changeType","filter":"hidenewpages","globalDescription":"rcfilters-hideminor-conflicts-typeofchange-global","contextDescription":"rcfilters-hideminor-conflicts-typeofchange"}],"defaultHighlightColor":null,"default":false},{"name":"hidemajor","label":"rcfilters-filter-major-label","description":"rcfilters-filter-major-description","cssClass":"mw-changeslist-major","priority":-3,"subset":[],"conflicts":[{"group":"changeType","filter":"hideWikibase","globalDescription":"wikibase-rcfilters-hide-wikibase-conflicts-major-global","contextDescription":"wikibase-rcfilters-major-conflicts-hide-wikibase"}],"defaultHighlightColor":null,"default":false}],"priority":-6,"conflicts":[],"title":"rcfilters-filtergroup-significance"},{"name":"lastRevision","type":"send_unselected_if_any","fullCoverage":true,"filters":[ {"name":"hidelastrevision","label":"rcfilters-filter-lastrevision-label","description":"rcfilters-filter-lastrevision-description","cssClass":"mw-changeslist-last","priority":-2,"subset":[],"conflicts":[],"defaultHighlightColor":null,"default":false},{"name":"hidepreviousrevisions","label":"rcfilters-filter-previousrevision-label","description":"rcfilters-filter-previousrevision-description","cssClass":"mw-changeslist-previous","priority":-3,"subset":[],"conflicts":[],"defaultHighlightColor":null,"default":false}],"priority":-7,"conflicts":[],"title":"rcfilters-filtergroup-lastrevision"},{"name":"changeType","type":"send_unselected_if_any","fullCoverage":true,"filters":[{"name":"hidepageedits","label":"rcfilters-filter-pageedits-label","description":"rcfilters-filter-pageedits-description","cssClass":"mw-changeslist-src-mw-edit","priority":-2,"subset":[],"conflicts":[],"defaultHighlightColor":null,"default":false},{"name":"hidenewpages","label":"rcfilters-filter-newpages-label", "description":"rcfilters-filter-newpages-description","cssClass":"mw-changeslist-src-mw-new","priority":-3,"subset":[],"conflicts":[{"group":"significance","filter":"hideminor","globalDescription":"rcfilters-hideminor-conflicts-typeofchange-global","contextDescription":"rcfilters-typeofchange-conflicts-hideminor"}],"defaultHighlightColor":null,"default":false},{"name":"hidecategorization","label":"rcfilters-filter-categorization-label","description":"rcfilters-filter-categorization-description","cssClass":"mw-changeslist-src-mw-categorize","priority":-4,"subset":[],"conflicts":[{"group":"significance","filter":"hideminor","globalDescription":"rcfilters-hideminor-conflicts-typeofchange-global","contextDescription":"rcfilters-typeofchange-conflicts-hideminor"}],"defaultHighlightColor":null,"default":true},{"name":"hideWikibase","label":"wikibase-rcfilters-hide-wikibase-label","description":"wikibase-rcfilters-hide-wikibase-description","cssClass":"mw-changeslist-src-mw-wikibase", "priority":-4,"subset":[],"conflicts":[{"group":"significance","filter":"hidemajor","globalDescription":"wikibase-rcfilters-hide-wikibase-conflicts-major-global","contextDescription":"wikibase-rcfilters-hide-wikibase-conflicts-major"}],"defaultHighlightColor":null,"default":true},{"name":"hidelog","label":"rcfilters-filter-logactions-label","description":"rcfilters-filter-logactions-description","cssClass":"mw-changeslist-src-mw-log","priority":-5,"subset":[],"conflicts":[{"group":"significance","filter":"hideminor","globalDescription":"rcfilters-hideminor-conflicts-typeofchange-global","contextDescription":"rcfilters-typeofchange-conflicts-hideminor"}],"defaultHighlightColor":null,"default":false},{"name":"hidenewuserlog","label":"rcfilters-filter-accountcreations-label","description":"rcfilters-filter-accountcreations-description","cssClass":"mw-changeslist-src-mw-newuserlog","priority":-6,"subset":[],"conflicts":[{"group":"significance","filter":"hideminor","globalDescription": "rcfilters-hideminor-conflicts-typeofchange-global","contextDescription":"rcfilters-typeofchange-conflicts-hideminor"}],"defaultHighlightColor":null,"default":false}],"priority":-8,"conflicts":[],"title":"rcfilters-filtergroup-changetype"},{"name":"flaggedrevs","type":"string_options","fullCoverage":true,"filters":[{"name":"needreview","label":"flaggedrevs-rcfilters-need-review-label","description":"flaggedrevs-rcfilters-need-review-desc","cssClass":"mw-changeslist-need-review","priority":-2,"subset":[],"conflicts":[],"defaultHighlightColor":null},{"name":"reviewed","label":"flaggedrevs-rcfilters-reviewed-label","description":"flaggedrevs-rcfilters-reviewed-desc","cssClass":"mw-changeslist-reviewed","priority":-3,"subset":[],"conflicts":[],"defaultHighlightColor":null},{"name":"notreviewable","label":"flaggedrevs-rcfilters-not-reviewable-label","description":"flaggedrevs-rcfilters-not-reviewable-desc","cssClass":"mw-changeslist-not-reviewable","priority":-4,"subset":[],"conflicts":[], "defaultHighlightColor":null}],"priority":-9,"conflicts":[],"title":"flaggedrevs","separator":";","default":""}],"wgStructuredChangeFiltersMessages":{"rcfilters-filtergroup-user-experience-level":"User registration and experience","rcfilters-filter-user-experience-level-unregistered-label":"Unregistered","rcfilters-filter-user-experience-level-unregistered-description":"Editors who aren't logged-in.","rcfilters-filter-user-experience-level-registered-label":"Registered","rcfilters-filter-user-experience-level-registered-description":"Logged-in editors.","rcfilters-filter-user-experience-level-newcomer-label":"Newcomers","rcfilters-filter-user-experience-level-newcomer-description":"Registered editors who have fewer than 10 edits or 4 days of activity.","rcfilters-filter-user-experience-level-learner-label":"Learners","rcfilters-filter-user-experience-level-learner-description":"Registered editors whose experience falls between \"Newcomers\" and \"Experienced users.\"", "rcfilters-filter-user-experience-level-experienced-label":"Experienced users","rcfilters-filter-user-experience-level-experienced-description":"Registered editors with more than 500 edits and 30 days of activity.","rcfilters-filtergroup-authorship":"Contribution authorship","rcfilters-filter-editsbyself-label":"Changes by you","rcfilters-filter-editsbyself-description":"Your own contributions.","rcfilters-filter-editsbyother-label":"Changes by others","rcfilters-filter-editsbyother-description":"All changes except your own.","rcfilters-filtergroup-automated":"Automated contributions","rcfilters-filter-bots-label":"Bot","rcfilters-filter-bots-description":"Edits made by automated tools.","rcfilters-filter-humans-label":"Human (not bot)","rcfilters-filter-humans-description":"Edits made by human editors.","rcfilters-filtergroup-significance":"Significance","rcfilters-filter-minor-label":"Minor edits","rcfilters-filter-minor-description":"Edits the author labeled as minor.", "rcfilters-hideminor-conflicts-typeofchange-global":"The \"Minor edits\" filter conflicts with one or more Type of change filters, because certain types of change cannot be designated as \"minor\". The conflicting filters are marked in the Active filters area, above.","rcfilters-hideminor-conflicts-typeofchange":"Certain types of change cannot be designated as \"minor\", so this filter conflicts with the following Type of Change filters: $1","rcfilters-filter-major-label":"Non-minor edits","rcfilters-filter-major-description":"Edits not labeled as minor.","wikibase-rcfilters-hide-wikibase-conflicts-major-global":"All {{WBREPONAME}} edits are designated as \"minor\", so the \"{{WBREPONAME}} edits\" filter conflicts with the \"Non-minor edits\" filter.","wikibase-rcfilters-major-conflicts-hide-wikibase":"All {{WBREPONAME}} edits are designated as \"minor\", so the \"{{WBREPONAME}} edits\" filter conflicts with the \"Non-minor edits\" filter.","rcfilters-filtergroup-lastrevision": "Latest revisions","rcfilters-filter-lastrevision-label":"Latest revision","rcfilters-filter-lastrevision-description":"Only the most recent change to a page.","rcfilters-filter-previousrevision-label":"Not the latest revision","rcfilters-filter-previousrevision-description":"All changes that are not the \"latest revision\".","rcfilters-filtergroup-changetype":"Type of change","rcfilters-filter-pageedits-label":"Page edits","rcfilters-filter-pageedits-description":"Edits to wiki content, discussions, category descriptions…","rcfilters-filter-newpages-label":"Page creations","rcfilters-filter-newpages-description":"Edits that make new pages.","rcfilters-typeofchange-conflicts-hideminor":"This Type of change filter conflicts with the \"Minor edits\" filter. Certain types of change cannot be designated as \"minor\".","rcfilters-filter-categorization-label":"Category changes","rcfilters-filter-categorization-description":"Records of pages being added or removed from categories.", "wikibase-rcfilters-hide-wikibase-label":"{{WBREPONAME}} edits","wikibase-rcfilters-hide-wikibase-description":"Edits that originate on {{WBREPONAME}}.","wikibase-rcfilters-hide-wikibase-conflicts-major":"All {{WBREPONAME}} edits are designated as \"minor\", so the \"{{WBREPONAME}} edits\" filter conflicts with the \"Non-minor edits\" filter.","rcfilters-filter-logactions-label":"Logged actions","rcfilters-filter-logactions-description":"Administrative actions, page deletions, uploads…","rcfilters-filter-accountcreations-label":"Account creations","rcfilters-filter-accountcreations-description":"Log entries for account creation. Logged actions must be selected.","flaggedrevs":"Flagged Revisions","flaggedrevs-rcfilters-need-review-label":"Need review","flaggedrevs-rcfilters-need-review-desc":"Edits requiring review.","flaggedrevs-rcfilters-reviewed-label":"Reviewed","flaggedrevs-rcfilters-reviewed-desc":"Edits that have been reviewed.","flaggedrevs-rcfilters-not-reviewable-label": "Not subject to review","flaggedrevs-rcfilters-not-reviewable-desc":"Changes of all types that don't require review."},"wgStructuredChangeFiltersCollapsedState":false,"StructuredChangeFiltersDisplayConfig":{"maxDays":30,"limitArray":[50,100,250,500],"limitDefault":50,"daysArray":[1,3,7,14,30],"daysDefault":7},"wgStructuredChangeFiltersSavedQueriesPreferenceName":"rcfilters-saved-queries","wgStructuredChangeFiltersLimitPreferenceName":"rcfilters-limit","wgStructuredChangeFiltersDaysPreferenceName":"rcdays","wgStructuredChangeFiltersCollapsedPreferenceName":"rcfilters-rc-collapsed","wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"thanks-confirmation-required":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":true,"wgSiteNoticeId":"2.24"};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready", "user.options":"loading","mediawiki.helplink":"ready","wikibase.client.miscStyles":"ready","oojs-ui-core.styles":"ready","oojs-ui.styles.indicators":"ready","mediawiki.widgets.styles":"ready","oojs-ui-core.icons":"ready","mediawiki.interface.helpers.styles":"ready","mediawiki.special.changeslist.legend":"ready","mediawiki.special.changeslist":"ready","mediawiki.rcfilters.filters.base.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","mediawiki.feedlink":"ready","ext.flaggedRevs.basic":"ready","codex-styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","ext.wikimediaBadges":"ready","ext.dismissableSiteNotice.styles":"ready"};RLPAGEMODULES=["mediawiki.special.changeslist.watchlistexpiry","mediawiki.special.changeslist.legend.js","mediawiki.rcfilters.filters.ui","site","mediawiki.page.ready","skins.vector.js", "ext.centralNotice.geoIP","ext.gadget.wikidialog","ext.gadget.commons-file","ext.urlShortener.toolbar","ext.centralauth.centralautologin","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.thanks.corethank","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.dismissableSiteNotice"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=en&modules=codex-styles%7Cext.dismissableSiteNotice.styles%7Cext.flaggedRevs.basic%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cmediawiki.feedlink%2Chelplink%7Cmediawiki.interface.helpers.styles%7Cmediawiki.rcfilters.filters.base.styles%7Cmediawiki.special.changeslist%7Cmediawiki.special.changeslist.legend%7Cmediawiki.widgets.styles%7Coojs-ui-core.icons%2Cstyles%7Coojs-ui.styles.indicators%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.miscStyles&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=en&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=en&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="noindex,nofollow,max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Related changes - Wikibooks, open books for an open world"> <meta property="og:type" content="website"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//en.m.wikibooks.org/wiki/Special:RecentChangesLinked/Finite_Model_Theory"> <link rel="icon" href="/static/favicon/wikibooks.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikibooks (en)"> <link rel="EditURI" type="application/rsd+xml" href="//en.wikibooks.org/w/api.php?action=rsd"> <link rel="canonical" href="https://en.wikibooks.org/wiki/Special:RecentChangesLinked/Finite_Model_Theory"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en"> <link rel="alternate" type="application/atom+xml" title=""Special:RecentChangesLinked/Finite Model Theory" Atom feed" href="/w/api.php?hidebots=1&hidecategorization=1&hideWikibase=1&urlversion=1&days=7&limit=50&target=Finite_Model_Theory&action=feedrecentchanges&feedformat=atom"> <link rel="alternate" type="application/atom+xml" title="Wikibooks Atom feed" href="/w/index.php?title=Special:RecentChanges&feed=atom"> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="mw-rcfilters-enabled skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns--1 ns-special mw-special-Recentchangeslinked page-Special_RecentChangesLinked_Finite_Model_Theory rootpage-Special_RecentChangesLinked_Finite_Model_Theory skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Jump to content</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Main menu" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Main menu</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Main menu</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">hide</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigation </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage" class="mw-list-item"><a href="/wiki/Main_Page" title="Visit the main page [z]" accesskey="z"><span>Main Page</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Help:Contents" title="Find help on how to use and edit Wikibooks"><span>Help</span></a></li><li id="n-Browse" class="mw-list-item"><a href="/wiki/Wikibooks:Card_Catalog_Office" title="Check out what Wikibooks has to offer"><span>Browse</span></a></li><li id="n-Cookbook" class="mw-list-item"><a href="/wiki/Cookbook:Table_of_Contents" title="Learn recipes from around the world"><span>Cookbook</span></a></li><li id="n-Wikijunior" class="mw-list-item"><a href="/wiki/Wikijunior" title="Books for children"><span>Wikijunior</span></a></li><li id="n-Featured-books" class="mw-list-item"><a href="/wiki/Wikibooks:Featured_books" title="The best of Wikibooks"><span>Featured books</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Special:RecentChanges" title="A list of recent changes in the wiki [r]" accesskey="r"><span>Recent changes</span></a></li><li id="n-randomrootpage" class="mw-list-item"><a href="/wiki/Special:RandomInCategory/Book:Wikibooks_Stacks/Books"><span>Random book</span></a></li><li id="n-Using-Wikibooks" class="mw-list-item"><a href="/wiki/Using_Wikibooks"><span>Using Wikibooks</span></a></li> </ul> </div> </div> <div id="p-community" class="vector-menu mw-portlet mw-portlet-community" > <div class="vector-menu-heading"> Community </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-Reading-room-forum" class="mw-list-item"><a href="/wiki/Wikibooks:Reading_room"><span>Reading room forum</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikibooks:Community_Portal" title="Find your way around the Wikibooks community"><span>Community portal</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Wikibooks:Reading_room/Bulletin_Board" title="Important community news"><span>Bulletin Board</span></a></li><li id="n-maintenance" class="mw-list-item"><a href="/wiki/Wikibooks:Maintenance" title="Frequent tasks that you can help with"><span>Help out!</span></a></li><li id="n-Policies-and-guidelines" class="mw-list-item"><a href="/wiki/Wikibooks:Policies_and_guidelines" title="Pages detailing important rules and procedures"><span>Policies and guidelines</span></a></li><li id="n-contact" class="mw-list-item"><a href="/wiki/Wikibooks:Contact_us" title="Alternative methods of communication"><span>Contact us</span></a></li> </ul> </div> </div> <div id="p-lang" class="vector-menu mw-portlet mw-portlet-lang" > <div class="vector-menu-heading"> In other languages </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> <div class="after-portlet after-portlet-lang"><span class="uls-after-portlet-link"></span></div> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Main_Page" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikibooks.svg" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikibooks" src="/static/images/mobile/copyright/wikibooks-wordmark-vi.svg" style="width: 7.5em; height: 0.9375em;"> <img class="mw-logo-tagline" alt="The Free Textbook Project" src="/static/images/mobile/copyright/wikibooks-tagline-en.svg" width="120" height="10" style="width: 7.5em; height: 0.625em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Special:Search" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Search Wikibooks [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Search</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Search Wikibooks" aria-label="Search Wikibooks" autocapitalize="sentences" title="Search Wikibooks [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Special:Search"> </div> <button class="cdx-button cdx-search-input__end-button">Search</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Personal tools"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Change the appearance of the page's font size, width, and color" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Appearance" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Appearance</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_en.wikibooks.org&uselang=en" class=""><span>Donations</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:CreateAccount&returnto=Special%3ARecentChangesLinked%2FFinite+Model+Theory" title="You are encouraged to create an account and log in; however, it is not mandatory" class=""><span>Create account</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:UserLogin&returnto=Special%3ARecentChangesLinked%2FFinite+Model+Theory" title="You are encouraged to log in; however, it is not mandatory [o]" accesskey="o" class=""><span>Log in</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="More options" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Personal tools" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Personal tools</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="User menu" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_en.wikibooks.org&uselang=en"><span>Donations</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:CreateAccount&returnto=Special%3ARecentChangesLinked%2FFinite+Model+Theory" title="You are encouraged to create an account and log in; however, it is not mandatory"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Create account</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:UserLogin&returnto=Special%3ARecentChangesLinked%2FFinite+Model+Theory" title="You are encouraged to log in; however, it is not mandatory [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Log in</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Pages for logged out editors <a href="/wiki/Help:Introduction" aria-label="Learn more about editing"><span>learn more</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Special:MyContributions" title="A list of edits made from this IP address [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Special:MyTalk" title="Discussion about edits from this IP address [n]" accesskey="n"><span>Discussion for this IP address</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"><div id="mw-dismissablenotice-anonplace"></div><script>(function(){var node=document.getElementById("mw-dismissablenotice-anonplace");if(node){node.outerHTML="\u003Cdiv class=\"mw-dismissable-notice\"\u003E\u003Cdiv class=\"mw-dismissable-notice-close\"\u003E[\u003Ca tabindex=\"0\" role=\"button\"\u003Edismiss\u003C/a\u003E]\u003C/div\u003E\u003Cdiv class=\"mw-dismissable-notice-body\"\u003E\u003C!-- CentralNotice --\u003E\u003Cdiv id=\"localNotice\" data-nosnippet=\"\"\u003E\u003Cdiv class=\"anonnotice\" lang=\"en\" dir=\"ltr\"\u003E\u003Cdiv style=\"width: fit-content; padding: 5px; border: 3px solid gray; background-color: #fafafa; text-align: center; margin: auto;\"\u003E\n\u003Cp\u003E\u003Cspan typeof=\"mw:File\"\u003E\u003Ca href=\"/wiki/File:OOjs_UI_icon_robot.svg\" class=\"mw-file-description\"\u003E\u003Cimg src=\"//upload.wikimedia.org/wikipedia/commons/thumb/7/71/OOjs_UI_icon_robot.svg/40px-OOjs_UI_icon_robot.svg.png\" decoding=\"async\" width=\"40\" height=\"40\" class=\"mw-file-element\" srcset=\"//upload.wikimedia.org/wikipedia/commons/thumb/7/71/OOjs_UI_icon_robot.svg/60px-OOjs_UI_icon_robot.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/71/OOjs_UI_icon_robot.svg/80px-OOjs_UI_icon_robot.svg.png 2x\" data-file-width=\"20\" data-file-height=\"20\" /\u003E\u003C/a\u003E\u003C/span\u003E The Wikibooks community is developing a policy on the use of generative AI. Please review the \u003Ca href=\"/wiki/Wikibooks:Artificial_Intelligence\" title=\"Wikibooks:Artificial Intelligence\"\u003Edraft policy\u003C/a\u003E and provide feedback on \u003Ca href=\"/wiki/Wikibooks_talk:Artificial_Intelligence\" title=\"Wikibooks talk:Artificial Intelligence\"\u003Eits talk page\u003C/a\u003E.\n\u003C/p\u003E\n\u003C/div\u003E\u003C/div\u003E\u003C/div\u003E\u003C/div\u003E\u003C/div\u003E";}}());</script></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <h1 id="firstHeading" class="firstHeading mw-first-heading">Related changes</h1> <div class="mw-indicators"> <div id="mw-indicator-mw-helplink" class="mw-indicator"><a href="https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Related_changes" target="_blank" class="mw-helplink"><span class="mw-helplink-icon"></span>Help</a></div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Namespaces"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Finite_Model_Theory" title="View the content page [c]" accesskey="c"><span>Book</span></a></li><li id="ca-talk" class="new vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Talk:Finite_Model_Theory&action=edit&redlink=1" rel="discussion" class="new" title="Discussion about the content page (does not exist) [t]" accesskey="t"><span>Discussion</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Change language variant" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">English</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Views"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="vector-tab-noicon mw-list-item"><a href="/wiki/Finite_Model_Theory"><span>Read</span></a></li><li id="ca-ve-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Finite_Model_Theory&veaction=edit" title="Edit this page [v]" accesskey="v"><span>Edit</span></a></li><li id="ca-edit" class="collapsible vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Finite_Model_Theory&action=edit" title="Edit the source code of this page [e]" accesskey="e"><span>Edit source</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Finite_Model_Theory&action=history" title="Past revisions of this page [h]" accesskey="h"><span>View history</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Tools" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Tools</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Tools</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">hide</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="More options" > <div class="vector-menu-heading"> Actions </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="vector-more-collapsible-item mw-list-item"><a href="/wiki/Finite_Model_Theory"><span>Read</span></a></li><li id="ca-more-ve-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Finite_Model_Theory&veaction=edit" title="Edit this page [v]" accesskey="v"><span>Edit</span></a></li><li id="ca-more-edit" class="collapsible vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Finite_Model_Theory&action=edit" title="Edit the source code of this page [e]" accesskey="e"><span>Edit source</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Finite_Model_Theory&action=history"><span>View history</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> General </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="feedlinks" class="mw-list-item"><a href="/w/api.php?hidebots=1&hidecategorization=1&hideWikibase=1&urlversion=1&days=7&limit=50&target=Finite_Model_Theory&action=feedrecentchanges&feedformat=atom" id="feed-atom" rel="alternate" type="application/atom+xml" class="feedlink" title="Atom feed for this page"><span>Atom</span></a></li><li id="t-upload" class="mw-list-item"><a href="//commons.wikimedia.org/wiki/Special:UploadWizard?uselang=en" title="Upload files [u]" accesskey="u"><span>Upload file</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Special:SpecialPages" title="A list of all special pages [q]" accesskey="q"><span>Special pages</span></a></li><li id="t-print" class="mw-list-item"><a href="javascript:print();" rel="alternate" title="Printable version of this page [p]" accesskey="p"><span>Printable version</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Special:UrlShortener&url=https%3A%2F%2Fen.wikibooks.org%2Fwiki%2FSpecial%3ARecentChangesLinked%2FFinite_Model_Theory"><span>Get shortened URL</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Special:QrCode&url=https%3A%2F%2Fen.wikibooks.org%2Fwiki%2FSpecial%3ARecentChangesLinked%2FFinite_Model_Theory"><span>Download QR code</span></a></li> </ul> </div> </div> <div id="p-sister_projects" class="vector-menu mw-portlet mw-portlet-sister_projects" > <div class="vector-menu-heading"> Sister projects </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-Wikipedia" class="mw-list-item"><a href="https://en.wikipedia.org/wiki/Main_Page"><span>Wikipedia</span></a></li><li id="n-Wikiversity" class="mw-list-item"><a href="https://en.wikiversity.org/wiki/Wikiversity:Main_Page"><span>Wikiversity</span></a></li><li id="n-Wiktionary" class="mw-list-item"><a href="https://en.wiktionary.org/wiki/Wiktionary:Main_Page"><span>Wiktionary</span></a></li><li id="n-Wikiquote" class="mw-list-item"><a href="https://en.wikiquote.org/wiki/Main_Page"><span>Wikiquote</span></a></li><li id="n-Wikisource" class="mw-list-item"><a href="https://en.wikisource.org/wiki/Main_Page"><span>Wikisource</span></a></li><li id="n-Wikinews" class="mw-list-item"><a href="https://en.wikinews.org/wiki/Main_Page"><span>Wikinews</span></a></li><li id="n-Wikivoyage" class="mw-list-item"><a href="https://en.wikivoyage.org/wiki/Main_Page"><span>Wikivoyage</span></a></li><li id="n-Commons" class="mw-list-item"><a href="https://commons.wikimedia.org/wiki/Main_Page"><span>Commons</span></a></li><li id="n-Wikidata" class="mw-list-item"><a href="https://www.wikidata.org/wiki/Wikidata:Main_Page"><span>Wikidata</span></a></li><li id="n-MediaWiki" class="mw-list-item"><a href="https://www.mediawiki.org/wiki/Main_Page"><span>MediaWiki</span></a></li><li id="n-Meta-Wiki" class="mw-list-item"><a href="https://meta.wikimedia.org/wiki/Main_Page"><span>Meta-Wiki</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects emptyPortlet" > <div class="vector-menu-heading"> In other projects </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Appearance</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">hide</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> </div> <div id="contentSub"><div id="mw-content-subtitle">← <a href="/wiki/Finite_Model_Theory" title="Finite Model Theory">Finite Model Theory</a></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-specialpage-summary"> <p>Track the most recent changes to pages that this page links to. Pages on <a href="/wiki/Special:Watchlist" title="Special:Watchlist">your watchlist</a> are shown in <b>bold</b>. </p> </div><div class="mw-rcfilters-head"><div class="mw-rcfilters-container"></div><fieldset class="rcoptions cloptions"> <legend>Recent changes options</legend> <span class="rclinks">Show last <a href="/w/index.php?title=Special:RecentChangesLinked&limit=50&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"limit":50}" data-keys="limit"><strong>50</strong></a> | <a href="/w/index.php?title=Special:RecentChangesLinked&limit=100&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"limit":100}" data-keys="limit">100</a> | <a href="/w/index.php?title=Special:RecentChangesLinked&limit=250&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"limit":250}" data-keys="limit">250</a> | <a href="/w/index.php?title=Special:RecentChangesLinked&limit=500&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"limit":500}" data-keys="limit">500</a> changes in last <a href="/w/index.php?title=Special:RecentChangesLinked&days=1&from=&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"days":1,"from":""}" data-keys="days,from">1</a> | <a href="/w/index.php?title=Special:RecentChangesLinked&days=3&from=&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"days":3,"from":""}" data-keys="days,from">3</a> | <a href="/w/index.php?title=Special:RecentChangesLinked&days=7&from=&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"days":7,"from":""}" data-keys="days,from"><strong>7</strong></a> | <a href="/w/index.php?title=Special:RecentChangesLinked&days=14&from=&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"days":14,"from":""}" data-keys="days,from">14</a> | <a href="/w/index.php?title=Special:RecentChangesLinked&days=30&from=&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"days":30,"from":""}" data-keys="days,from">30</a> days</span><br /><span class="rcshowhide"><span class="rcshowhideliu rcshowhideoption clshowhideoption" data-filter-name="hideliu" data-feature-in-structured-ui="1"><a href="/w/index.php?title=Special:RecentChangesLinked&hideliu=1&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"hideliu":1}" data-keys="hideliu">Hide</a> registered users</span> | <span class="rcshowhideanons rcshowhideoption clshowhideoption" data-filter-name="hideanons" data-feature-in-structured-ui="1"><a href="/w/index.php?title=Special:RecentChangesLinked&hideanons=1&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"hideanons":1}" data-keys="hideanons">Hide</a> anonymous users</span> | <span class="rcshowhidemine rcshowhideoption clshowhideoption" data-filter-name="hidemyself" data-feature-in-structured-ui="1"><a href="/w/index.php?title=Special:RecentChangesLinked&hidemyself=1&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"hidemyself":1}" data-keys="hidemyself">Hide</a> my edits</span> | <span class="rcshowhidebots rcshowhideoption clshowhideoption" data-filter-name="hidebots" data-feature-in-structured-ui="1"><a href="/w/index.php?title=Special:RecentChangesLinked&hidebots=0&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"hidebots":0}" data-keys="hidebots">Show</a> bots</span> | <span class="rcshowhideminor rcshowhideoption clshowhideoption" data-filter-name="hideminor" data-feature-in-structured-ui="1"><a href="/w/index.php?title=Special:RecentChangesLinked&hideminor=1&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"hideminor":1}" data-keys="hideminor">Hide</a> minor edits</span> | <span class="rcshowhidecategorization rcshowhideoption clshowhideoption" data-filter-name="hidecategorization" data-feature-in-structured-ui="1"><a href="/w/index.php?title=Special:RecentChangesLinked&hidecategorization=0&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"hidecategorization":0}" data-keys="hidecategorization">Show</a> page categorization</span> | <span class="wikibase-rc-hide-wikidata rcshowhideoption clshowhideoption" data-filter-name="hideWikibase" data-feature-in-structured-ui="1"><a href="/w/index.php?title=Special:RecentChangesLinked&hideWikibase=0&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"hideWikibase":0}" data-keys="hideWikibase">Show</a> Wikidata</span> | <span class="flaggedrevs-hidereviewed rcshowhideoption clshowhideoption" data-filter-name="hideReviewed" data-feature-in-structured-ui="1"><a href="/w/index.php?title=Special:RecentChangesLinked&hideReviewed=1&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"hideReviewed":1}" data-keys="hideReviewed">Hide</a> reviewed edits</span></span><br /><span class="rclistfrom"><a href="/w/index.php?title=Special:RecentChangesLinked&from=20241125064436&fromFormatted=06%3A44%2C+25+November+2024&target=Finite_Model_Theory" title="Special:RecentChangesLinked" data-params="{"from":"20241125064436","fromFormatted":"06:44, 25 November 2024"}" data-keys="from,fromFormatted">Show new changes starting from 06:44, 25 November 2024</a></span> <hr /> <form action="/w/index.php"><table class="mw-recentchanges-table"><tr class="namespaceForm"><td class="mw-label mw-namespace-label"><label for="namespace">Namespace:</label></td><td class="mw-input"><select id="namespace" name="namespace"> <option value="" selected="">all</option> <option value="0">(Main)</option> <option value="1">Talk</option> <option value="2">User</option> <option value="3">User talk</option> <option value="4">Wikibooks</option> <option value="5">Wikibooks talk</option> <option value="6">File</option> <option value="7">File talk</option> <option value="8">MediaWiki</option> <option value="9">MediaWiki talk</option> <option value="10">Template</option> <option value="11">Template talk</option> <option value="12">Help</option> <option value="13">Help talk</option> <option value="14">Category</option> <option value="15">Category talk</option> <option value="102">Cookbook</option> <option value="103">Cookbook talk</option> <option value="108">Transwiki</option> <option value="109">Transwiki talk</option> <option value="110">Wikijunior</option> <option value="111">Wikijunior talk</option> <option value="112">Subject</option> <option value="113">Subject talk</option> <option value="710">TimedText</option> <option value="711">TimedText talk</option> <option value="828">Module</option> <option value="829">Module talk</option> </select> <label class="mw-input-with-label" title="Check this box to hide changes to pages within the selected namespace (and the associated namespace if checked)"><input type="checkbox" name="invert" value="1"> Invert selection</label> <label class="mw-input-with-label" title="Check this box to also include the talk or subject namespace associated with the selected namespace"><input type="checkbox" name="associated" value="1"> Associated namespace</label></td></tr><tr class="tagfilterForm"><td class="mw-label mw-tagfilter-label"><label for="tagfilter"><a href="/wiki/Special:Tags" title="Special:Tags">Tag</a> filter:</label></td><td class="mw-input"><input class="mw-tagfilter-input mw-ui-input mw-ui-input-inline" size="20" id="tagfilter" list="tagfilter-datalist" name="tagfilter"><datalist id="tagfilter-datalist"><option value="visualeditor-wikitext">2017 source edit</option> <option value="advanced mobile edit">Advanced mobile edit</option> <option value="android app edit">Android app edit</option> <option value="ASCII text added">ASCII text added</option> <option value="mw-blank">Blanking</option> <option value="abusefilter-condition-limit">condition limit reached</option> <option value="mw-contentmodelchange">content model change</option> <option value="OAuth CID: 1904">DiBabel [1.2]</option> <option value="disambiguator-link-added">Disambiguation links</option> <option value="discussiontools">discussiontools (hidden tag)</option> <option value="discussiontools-added-comment">discussiontools-added-comment (hidden tag)</option> <option value="discussiontools-source">discussiontools-source (hidden tag)</option> <option value="discussiontools-source-enhanced">discussiontools-source-enhanced (hidden tag)</option> <option value="discussiontools-visual">discussiontools-visual (hidden tag)</option> <option value="emoji">Emoji</option> <option value="possible link spam">external link added</option> <option value="ios app edit">iOS app edit</option> <option value="IP edit to a userpage">IP userpage edit</option> <option value="mw-manual-revert">Manual revert</option> <option value="massmessage-delivery">MassMessage delivery</option> <option value="meta spam id">meta spam id</option> <option value="mobile app edit">Mobile app edit</option> <option value="mobile edit">Mobile edit</option> <option value="mobile web edit">Mobile web edit</option> <option value="new blank article">new blank article</option> <option value="mw-new-redirect">New redirect</option> <option value="discussiontools-newtopic">New topic</option> <option value="Ntsamr spambot">Ntsamr spambot</option> <option value="OTRS permission added by non-OTRS member">OTRS permission added by non-OTRS member</option> <option value="OAuth CID: 429">PAWS [1.2]</option> <option value="adding email address">possible email address</option> <option value="possible vandalism">possible vandalism</option> <option value="mw-changed-redirect-target">Redirect target changed</option> <option value="rmallcat">removed all categories</option> <option value="mw-removed-redirect">Removed redirect</option> <option value="repeating characters">repeating characters</option> <option value="mw-replace">Replaced</option> <option value="discussiontools-reply">Reply</option> <option value="mw-reverted">Reverted</option> <option value="mw-rollback">Rollback</option> <option value="shouting">shouting</option> <option value="OAuth CID: 1188">SWViewer [1.0]</option> <option value="OAuth CID: 1261">SWViewer [1.2]</option> <option value="OAuth CID: 1352">SWViewer [1.3]</option> <option value="OAuth CID: 1805">SWViewer [1.4]</option> <option value="OAuth CID: 6365">SWViewer [1.6]</option> <option value="mw-undo">Undo</option> <option value="unusual redirect">unusual redirect</option> <option value="visualeditor">Visual edit</option> <option value="visualeditor-switched">Visual edit: Switched</option> <option value="wikieditor">wikieditor (hidden tag)</option></datalist> <span class="mw-input-with-label"><input type="checkbox" name="inverttags" value="1" id="inverttags"> <label for="inverttags">Invert selection</label></span></td></tr><tr class="targetForm"><td class="mw-label mw-target-label">Page name:</td><td class="mw-input"><input name="target" size="40" value="Finite Model Theory" /> <input name="showlinkedto" type="checkbox" value="1" id="showlinkedto" /> <label for="showlinkedto">Show changes to pages linked to the given page instead</label> <input type="submit" value="Show"></td></tr></table><input type="hidden" value="Special:RecentChangesLinked" name="title"></form> </fieldset> </div><div class="mw-rcfilters-spinner"><div class="mw-rcfilters-spinner-bounce"></div></div><div class="mw-changeslist-empty">No changes during the given period match these criteria.</div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Retrieved from "<a dir="ltr" href="https://en.wikibooks.org/wiki/Special:RecentChangesLinked/Finite_Model_Theory">https://en.wikibooks.org/wiki/Special:RecentChangesLinked/Finite_Model_Theory</a>"</div></div> <div id="catlinks" class="catlinks catlinks-allhidden" data-mw="interface"></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Privacy policy</a></li> <li id="footer-places-about"><a href="/wiki/Wikibooks:Welcome">About Wikibooks</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikibooks:General_disclaimer">Disclaimers</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code of Conduct</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Developers</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/en.wikibooks.org">Statistics</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Cookie statement</a></li> <li id="footer-places-mobileview"><a href="//en.m.wikibooks.org/w/index.php?title=Special:RecentChangesLinked/Finite_Model_Theory&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Mobile view</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-f69cdc8f6-vqclb","wgBackendResponseTime":196,"wgPageParseReport":{"limitreport":{"cputime":"0.003","walltime":"0.003","ppvisitednodes":{"value":2,"limit":1000000},"postexpandincludesize":{"value":0,"limit":2097152},"templateargumentsize":{"value":0,"limit":2097152},"expansiondepth":{"value":1,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":0,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 0.000 1 -total"]},"cachereport":{"origin":"mw-web.codfw.main-f69cdc8f6-vqclb","timestamp":"20241125064436","ttl":2592000,"transientcontent":false}}});});</script> </body> </html>