Pith. sign in

REVIEW

Not yet reviewed by Pith; the record is open.

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 1902.05830 v3 pith:FZRD6EPK submitted 2019-02-15 math.LO

Immediately algebraically closed fields

classification math.LO
keywords hongclassesdefinedfieldsquestionvaluationadditionalalgebraically
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We consider two overlapping classes of fields, IAC and VAC, which are defined using valuation theory but which do not involve a distinguished valuation. Rather, each class is defined by a condition that quantifies over all possible valuations on the field. In his thesis, Hong asked whether these two classes are equal (Hong, 2013, Question 5.6.8). In this paper, we give an example that negatively answers Hong's question. We also explore several situations in which the equivalence does hold with an additional assumption, including the case where every $K'\equiv K$ is IAC.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.