How would I do this? I'm a lot worse...

Images are sometimes not shown due to bandwidth/network limitations. Refreshing the page usually helps.

You are currently reading a thread in /sci/ - Science & Math

You are currently reading a thread in /sci/ - Science & Math

Thread images: 1

How would I do this? I'm a lot worse at logic than I thought I was.

LOGIC GENERAL

>>

>>7811955

Well, consider what the Tarski-Vaught criterion implies.

Problems there?

>>

Here's an elementary thing I like:

Prove that [math](\mathbb{N}, +, \cdot)[/math] is a definable substructure of [math](\mathbb{Z}, +, \cdot)[/math].

>>

>>7811955

Where is this taken from?

>>

Here's a more advanced thing I like:

Show that it is consistent with ZF that there is a countable collection A of 2-element sets such that A has no choice function.

This is as weak as choice can get, and even it can fail.

Thread images: 1

Thread DB ID: 468857

All trademarks and copyrights on this page are owned by their respective parties. Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.

This is a 4chan archive - all of the shown content originated from that site. This means that 4Archive shows their content, archived. If you need information for a Poster - contact them.

If a post contains personal/copyrighted/illegal content, then use the post's