Skip to content
June 29, 2017 / porton

New theorem about funcoids (ERROR!)

I have proved (and added to my online book) the following theorem:

Theorem Let f \in \mathsf{FCD} (A ; B) and z \in \mathscr{F} (B)^A. Then there is an (obviously unique) funcoid g \in \mathsf{FCD} (A ; B) such that \langle g\rangle x = \langle f\rangle x for nontrivial ultrafilters x and \langle g\rangle @\{ p \} = z (p) for p \in A

After I started to prove it, it took about a hour or like this to finish the proof.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: