Skip to content

Math Research of Victor Porton

Several math research monographies

  • SCIENCE
    • Journal with post-moderation
    • World Science DAO
  • Home
    • Blog
    • Soft
  • Algebraic General Topology
    • Paperback
    • Ebook
    • PDF
  • Axiomatic Theory of Formulas
    • Paperback
    • Ebook
    • PDF
  • Discontinuous Analysis
    • Full Course
  • More
    • Donate
    • Review
    • Publish
    • Politics
  • Prize

Author: Victor Porton

  • Home
  • Victor Porton
  • Page 53
Uncategorized

Formalistics of generalization

By Victor Porton
On September 11, 2009

In the framework of ZF formally considered generalizations, such as whole numbers generalizing natural number, rational numbers generalizing whole numbers, real numbers generalizing rational numbers, complex numbers generalizing real numbers, etc. The formal consideration of this may be especially useful for computer…

read more
#computer proof#logic#logics#math logic#numbers#proof assistants#set theory
Filters Open problems

Proposal: Conjecture about complementive filters

By Victor Porton
On August 30, 2009

Earlier I proposed finishing writing this manuscript as a polymath project. But the manuscript contains (among other) this conjecture which can be reasonably separated into an its own detached polymath project.

read more
Filters

Proposal: Filters on Posets and Generalizations

By Victor Porton
On August 29, 2009

I propose to collaboratively finish writing my manuscript “Filters on Posets and Generalizations” which should become the exhaustive reference text about filters on posets, filters on lattices, and generalizations thereof. I have setup this wiki for this purpose.

read more
#collaborative mathematics#online research#polymath proposals#research collaboration
Filters

Filters on Posets at Google Knol

By Victor Porton
On August 26, 2009

I removed this Knol. The development of “Filters on Posets and Generalizations” happens on wikidot.com instead. I decided to put my draft article “Filters on Posets and Generalizations” at Google Knol to be edited collaboratively by the Internet math community. The current…

read more
#collaborative mathematics#online research#research collaboration
Filters Open problems

Do filters complementive to a given filter form a complete lattice?

By Victor Porton
On July 31, 2009

Let $latex U$ is a set. A filter (on $latex U$) $latex \mathcal{F}$ is by definition a non-empty set of subsets of $latex U$ such that $latex A,B\in\mathcal{F} \Leftrightarrow A\cap B\in\mathcal{F}$. Note that unlike some other authors I do not require $latex…

read more
Filters Open problems

Isomorphic filters – open problems

By Victor Porton
On June 10, 2009

For filters on sets defined equivalence relation being isomorphic. Posed some open problems like this: are every two nontrivial ultrafilters isomorphic?

read more
#ultrafilters
Algebraic general topology General Topology

Funcoids and Reloids – examples of funcoids added

By Victor Porton
On May 19, 2009

A mathematician has said me that he cannot understand my writings because I introduce new terms without examples before. Because of this I added to my article Funcoids and Reloids (PDF) new subsection Informal introduction into funcoids. Hopefully now it is understandable….

read more
#examples first#math article#math writing#mathematical writing#writing style
Uncategorized

My new math blog

By Victor Porton
On May 19, 2009

I abandoned my old blogs at my own site and moved to WordPress.com. This is my new math blog. Here I will tell about my math research.

read more

Posts navigation

Prev 1 … 52 53
Top

Copyright © 2023 Math Research of Victor Porton - WordPress Theme : By Sparkle Themes

  • SCIENCE
  • Home
  • Algebraic General Topology
  • Axiomatic Theory of Formulas
  • Discontinuous Analysis
  • More
  • Prize
  • SCIENCE
    • Journal with post-moderation
    • World Science DAO
  • Home
    • Blog
    • Soft
  • Algebraic General Topology
    • Paperback
    • Ebook
    • PDF
  • Axiomatic Theory of Formulas
    • Paperback
    • Ebook
    • PDF
  • Discontinuous Analysis
    • Full Course
  • More
    • Donate
    • Review
    • Publish
    • Politics
  • Prize