Non-trivial copies of N*

Alan Dow

Non-trivial copies of N*

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2406.03471 v1 pith:HGE5A6FD submitted 2024-06-05 math.GN math.LO

Alan Dow This is my paper · ORCID

classification math.GNmath.LO

keywords mathbbcopiesnon-trivialautohomeomorphismsclosedconsistentevennon-clopen

verification ladder T0 review T1 audit T2 compute T3 formal

0 comments

abstract

We show that it is consistent to have regular closed non-clopen copies of $\mathbb N^*$ within $\mathbb N^*$ and a non-trivial self-map of $\mathbb N^*$ even if all autohomeomorphisms of $\mathbb N^*$ are trivial.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Biba's trick, with applications
math.LO 2024-12 conditional novelty 8.0 of 10

Assuming OCA_T and MA(σ-linked), every homomorphism from P(N) into a quotient by a countably 80-determined ideal has a continuous lifting on a nonmeager ideal, improving PFA-based results and removing MA for countably...

Pith tools