Revision as of 08:12, 11 February 2019 edit GreenC bot (talk \| contribs) Bots 3,060,429 edits Add 2 {{reflist-talk}} to #Materials and #Intro old (via reftalk bot) ← Previous edit		Revision as of 18:30, 21 March 2023 edit undo 2603:3024:184b:c100:b4cd:b680:d0d:5dd6 (talk) →infinite number of structures: Reply Tag: Reply Next edit →
Line 39: [[User:Sterling\|Sterling]] ([[User talk:Sterling\|talk]]) 22:00, 16 February 2011 (UTC) :The construction of a single formula doesn't work if there are infinitely many predicate symbols. The claim that a given model can be described by a single formula doesn't appear to hold in that case. [[Special:Contributions/2603:3024:184B:C100:B4CD:B680:D0D:5DD6\|2603:3024:184B:C100:B4CD:B680:D0D:5DD6]] ([[User talk:2603:3024:184B:C100:B4CD:B680:D0D:5DD6\|talk]]) 18:30, 21 March 2023 (UTC) == Materials ==

Talk:Finite model theory: Difference between revisions