porton's user avatar
porton's user avatar
porton's user avatar
porton
  • Member for 14 years, 1 month
  • Last seen more than a month ago
10 votes
1 answer
2k views

Order theory as a foundation of mathematics?

8 votes
1 answer
771 views

A characterization of the poset of filters on a set

7 votes
2 answers
2k views

Product of ultrafilters, is it an ultrafilter?

6 votes
2 answers
1k views

Embedding a Brouwerian lattice into a Boolean lattice

6 votes
1 answer
1k views

Orderings of ultrafilters

4 votes
4 answers
935 views

An ultrafilter and a partition

2 votes
4 answers
783 views

Filter-closed vs. chain-closed

2 votes
1 answer
307 views

A conjecture about certain relations

2 votes
1 answer
170 views

Interweaving two indexed families of filters

2 votes
2 answers
404 views

Is certain topology-related set a distributive lattice?

1 vote
0 answers
201 views

About filters on real numbers

1 vote
1 answer
441 views

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

1 vote
3 answers
1k views

Is the Rudin-Keisler order of ultrafilters linear?

1 vote
1 answer
320 views

About ordering and equivalence of filters

1 vote
2 answers
1k views

Downgrading from ZFC with universes to ZFC

0 votes
3 answers
1k views

How different category theories relate

0 votes
3 answers
1k views

Bijection of proper classes

0 votes
1 answer
137 views

Connectedness of a union regading a proximity

0 votes
2 answers
505 views

Partition into connected sets by proximity

0 votes
1 answer
931 views

A property of a product of posets

0 votes
1 answer
129 views

Two different products of filters

-1 votes
1 answer
255 views

Lowering from filters to ultrafilters for an infinitary relation

-1 votes
2 answers
465 views

Union of proximally connected sets

-2 votes
2 answers
946 views

Weak partitioning vs. strong partitioning

-2 votes
2 answers
954 views

Three modifications of connectedness

-2 votes
1 answer
247 views

Restore multipliers from the product

-2 votes
1 answer
321 views

Expressing a value related to an infinitary relation through ultrafilters

-5 votes
1 answer
1k views

How to prove that there are no exponential object in a category?

-5 votes
1 answer
482 views

For every proximity, does there exist a uniformity which generates this proximity?

-7 votes
2 answers
1k views

Special infinitary relations and ultrafilters