Jump to content

Boolean-valued model: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 11:1711:17, 23 March 2025 Citation bot talk contribs 16,811 bytes −1 Altered author. | Use this bot. Report bugs. | Suggested by Ringo62 | Category:Boolean algebra | #UCB_Category 37/103 undo

curprev 22:0322:03, 12 February 2024 HeyElliott talk contribs 16,812 bytes −22 MOS:OP-ED undo Tag: 2017 wikitext editor

curprev 05:0205:02, 6 April 2023 Cedar101 talk contribs m 16,834 bytes −25 →Boolean-valued models of set theory: {{norm}} undo
curprev 04:5804:58, 6 April 2023 Cedar101 talk contribs m 16,859 bytes +12 →Boolean-valued models of set theory: fix math italics, {{norm}} undo
curprev 04:4604:46, 6 April 2023 Cedar101 talk contribs 16,847 bytes +52 →Definition: {{angbr}} {{norm}} undo

curprev 14:3914:39, 4 February 2023 Vilem77 talk contribs 16,795 bytes −369 I deleted all mentions of probabilistic interpretation of the degrees of membership of the booleagn algebra B because calling them "probabilities" is essentially wrong. The nature of probability is much deeper and has no place in boolean models. undo

curprev 15:5115:51, 5 May 2022 93.105.176.168 talk 17,164 bytes +1 →Interpretation of other formulas and sentences undo

curprev 21:5221:52, 30 January 2022 Qwerfjkl (bot) talk contribs m 17,163 bytes 0 Capitalising short description "set theory concept" per WP:SDFORMAT (via Bandersnatch) undo

curprev 02:1502:15, 5 December 2021 Comp.arch talk contribs m 17,163 bytes +1 No edit summary undo Tag: 2017 wikitext editor

curprev 18:3618:36, 11 September 2021 Beland talk contribs m 17,162 bytes −14 convert special characters (via WP:JWB) undo

curprev 20:0520:05, 28 January 2021 95.42.4.253 talk 17,176 bytes −1 →Interpretation of other formulas and sentences undo

curprev 14:4014:40, 20 July 2020 Salix alba talk contribs m 17,177 bytes +9 fix broken encylopedia of maths ref undo

curprev 22:4422:44, 11 November 2019 Jarble talk contribs m 17,168 bytes +27 linking undo
curprev 11:0211:02, 11 November 2019 InternetArchiveBot talk contribs 17,141 bytes +81 Bluelink 1 book for verifiability.) #IABot (v2.0) (GreenC bot undo

curprev 18:5218:52, 13 October 2019 31.33.164.250 talk 17,060 bytes +201 No edit summary undo

curprev 08:3908:39, 21 February 2018 Trovatore talk contribs 16,859 bytes +41 {{short description}} undo

curprev 09:2209:22, 30 May 2017 Magic links bot talk contribs m 16,818 bytes +4 Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 21:0721:07, 29 March 2017 24.85.232.10 talk 16,814 bytes +4 No edit summary undo

curprev 02:1602:16, 25 July 2016 66.77.29.98 talk 16,810 bytes +4 No edit summary undo

curprev 14:2314:23, 22 June 2016 Dewritech talk contribs 16,806 bytes −24 clean up, typo(s) fixed: newly- → newly using AWB undo

curprev 13:5113:51, 26 May 2016 Radegast talk contribs m 16,830 bytes 0 →Interpretation of other formulas and sentences: fixed math: undo

curprev 09:4709:47, 10 September 2015 Alexey Muranov talk contribs 16,830 bytes +16 →Boolean-valued models and syntactic forcing: use a more direct description of the topology on P undo

curprev 19:5119:51, 5 February 2014 31.52.252.194 talk 16,814 bytes −1 →References undo
curprev 19:5119:51, 5 February 2014 31.52.252.194 talk 16,815 bytes +148 →References undo

curprev 16:4016:40, 14 March 2013 Addbot talk contribs m 16,667 bytes −24 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q4943349 undo

curprev 23:1923:19, 14 February 2012 Cydebot talk contribs m 16,691 bytes +14 Robot - Speedily moving category Forcing to Category:Forcing (mathematics) per CFDS. undo

curprev 10:5710:57, 8 December 2011 Kiefer.Wolfowitz talk contribs 16,677 bytes +4 →References: * {{cite book|author=Kusraev, A. G. and S. S. Kutateladze|title=Boolean Valued Analysis| publisher=Kluwer Academic Publishers|year=1999|isbn=0-7923-5921-6|oclc=41967176}} Contains an account of Boolean-valued models and applicat undo

curprev 08:5208:52, 29 September 2010 Marcos talk contribs m 16,673 bytes −4 "obtain get" --> "obtain" undo

curprev 17:4117:41, 19 September 2009 Tea2min talk contribs m 16,677 bytes +27 Disambiguate Paul Cohen to Paul Cohen (mathematician) undo

curprev 23:2223:22, 1 September 2009 Gregbard talk contribs 16,650 bytes −25 disambiguate redirect "proposition", Removed: Proposition (philosophy)|, using AWB undo

curprev 23:1723:17, 20 June 2009 BD2412 talk contribs m 16,675 bytes +20 Fixing links to disambiguation pages and other minor cleanup tasks, Replaced: proposition → [[Proposition (phil using AWB undo

curprev 12:4612:46, 19 May 2009 CBM talk contribs 16,655 bytes +55 →Relationship to forcing: one third copyedited undo
curprev 12:4212:42, 19 May 2009 CBM talk contribs 16,600 bytes +212 →Boolean-valued models of set theory: copyedit (seoncd person, rearragne sub/superscripts, etc) undo

curprev 22:5422:54, 18 May 2009 DrilBot talk contribs m 16,388 bytes −3 →Relationship to forcing: WikiProject Check Wikipedia cleanup (category before last headline) and general fixes undo

curprev 15:4515:45, 16 May 2009 CBM talk contribs 16,391 bytes +98 →Interpretation of other formulas and sentences: copyedit undo
curprev 15:3915:39, 16 May 2009 CBM talk contribs 16,293 bytes −272 →Definition: c/e undo
curprev 15:3515:35, 16 May 2009 CBM talk contribs 16,565 bytes +103 →[[WP:LEAD|Lede]]: copyedit undo

curprev 16:0716:07, 21 April 2009 71.139.24.75 talk 16,462 bytes +1 →Boolean-valued models of set theory: punct. undo
curprev 16:0616:06, 21 April 2009 71.139.24.75 talk 16,461 bytes +7 →Boolean-valued models of set theory: wording, quotes undo

curprev 22:0822:08, 10 April 2009 TakuyaMurata talk contribs m 16,454 bytes +27 →Relationship to forcing undo

curprev 18:3718:37, 21 March 2009 CBM talk contribs m 16,427 bytes +2 →Definition: small c/e undo

curprev 03:0103:01, 3 January 2009 Lightbot talk contribs 16,425 bytes −4 Units/dates/other undo

curprev 03:4503:45, 14 October 2008 Citation bot talk contribs m 16,429 bytes +44 Citation maintenance. Added: oclc. You can use this bot yourself! Please report any bugs. undo

curprev 01:0001:00, 12 September 2008 Newbyguesses talk contribs 16,385 bytes +1 →Boolean-valued models and generic objects over countable transitive models: fix typo undo

curprev 03:5903:59, 16 March 2008 Zero sharp talk contribs 16,384 bytes +134 →Definition: move to talk page, add sec-stub template undo

curprev 01:1701:17, 6 February 2008 R.e.b. talk contribs 16,250 bytes +52 →References: eom undo

curprev 01:5201:52, 5 February 2008 R.e.b. talk contribs 16,198 bytes +212 →Boolean-valued models and generic objects over countable transitive models: correction undo

curprev 16:0516:05, 31 January 2008 Giftlite talk contribs 15,986 bytes +23 →References: +Authorlink undo
curprev 05:1505:15, 31 January 2008 R.e.b. talk contribs 15,963 bytes −162 →Boolean-valued models and generic objects over countable transitive models: correction undo
curprev 05:1305:13, 31 January 2008 R.e.b. talk contribs 16,125 bytes −363 →Boolean-valued models and generic objects over countable transitive models: correction undo

Retrieved from "https://en.wikipedia.org/wiki/Boolean-valued_model"