User contributions for Georgydunaev
Appearance
A user with 29 edits. Account created on 16 March 2016.
6 June 2024
- 14:2914:29, 6 June 2024 diff hist +2 Class (set theory) NBG is a conservative extension of ZFC, not just ZF, as it was written. In NBG, the global choice follows from the limitation of size axiom. current Tag: Visual edit
2 June 2024
28 May 2024
- 11:4111:41, 28 May 2024 diff hist +171 Talk:Singleton (mathematics) →Axiomatic definition in set/class theories: Reply Tags: Mobile edit Mobile web edit Reply
27 May 2024
- 19:2219:22, 27 May 2024 diff hist +248 Unordered pair added axiomatic definition which doesn't specify explicitly what {A,B} for proper classes is, so these axioms are universal for different systems Tag: Reverted
- 19:1019:10, 27 May 2024 diff hist +191 Singleton (mathematics) added the axiomatic definition containing the essence of the singleton, which leaves unspecified situations which are varying in different systems Tag: Reverted
25 May 2024
- 20:2920:29, 25 May 2024 diff hist +175 Perspective (graphical) No edit summary
- 19:5919:59, 25 May 2024 diff hist +1,223 Function (mathematics) No edit summary Tag: Reverted
23 May 2024
- 21:4521:45, 23 May 2024 diff hist +229 Epsilon calculus No edit summary Tag: Reverted
- 20:5720:57, 23 May 2024 diff hist −26 Cardinality Undid revision 1225344952 by Georgydunaev (talk) Tag: Undo
- 20:5620:56, 23 May 2024 diff hist +26 Cardinality →Definition of cardinality in class theory (NBG or MK) Tag: Reverted
21 April 2024
- 21:2021:20, 21 April 2024 diff hist +4 m Gödel operation →Definition Tags: Reverted Disambiguation links added
- 21:1821:18, 21 April 2024 diff hist +122 Gödel operation →Definition Tag: Reverted
- 21:1121:11, 21 April 2024 diff hist +41 Gödel operation →Definition Tag: Reverted
26 October 2023
- 15:3015:30, 26 October 2023 diff hist −15 m Riemann sphere Undid revision 1182006716 by 141.89.85.145 (talk) Tag: Undo
26 July 2023
- 18:2518:25, 26 July 2023 diff hist +334 Talk:Axiom of extensionality →Russel's paradox: new section Tag: New topic
31 August 2022
- 13:4513:45, 31 August 2022 diff hist +159 Talk:Filters in topology →Too long
- 13:3913:39, 31 August 2022 diff hist −309 Filters in topology This was an IMPORTANT factual error, from the source of Dugundji. Dugundji's definition violates the equivalence ( f(B)->f(x) ) <=> (\forall W\in N(f(x)), f^{-1}\in N(x) ) which is about continuity in a point. Now it is okey.
25 August 2021
- 23:3423:34, 25 August 2021 diff hist +269 User:Georgydunaev No edit summary current
- 23:3123:31, 25 August 2021 diff hist +1,009 User:Georgydunaev No edit summary
- 23:2823:28, 25 August 2021 diff hist +5 N User:Georgydunaev ←Created page with 'empty'
- 18:5518:55, 25 August 2021 diff hist +4 m Uniqueness quantification →Generalizations
- 18:5018:50, 25 August 2021 diff hist 0 Uniqueness quantification →Generalizations
- 18:5018:50, 25 August 2021 diff hist +358 Uniqueness quantification →Generalizations
21 August 2021
- 20:2820:28, 21 August 2021 diff hist +41 m Topological space →Other definitions Tag: Reverted
- 20:1820:18, 21 August 2021 diff hist +7 m Topological space →Other definitions Tag: Reverted
- 20:1820:18, 21 August 2021 diff hist +597 Topological space →Other definitions Tag: Reverted
6 September 2020
- 08:5208:52, 6 September 2020 diff hist +362 Talk:Total order →Intuitionistic comment: new section
5 August 2020
- 10:0010:00, 5 August 2020 diff hist +163 Talk:Grothendieck universe →What does a "family of sets" means here: set or class?: new section
24 April 2017
- 09:3009:30, 24 April 2017 diff hist −1 Sentence (mathematical logic) Sentences are built out of formulas, NOT sentences cause the definining property of sentences is their closeness. You just can not normally use quantifiers without some open variables.