{'fraction_non_alphanumeric': 0.011961722488038277, 'fraction_numerical': 0.0, 'mean_word_length': 5.253731343283582, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Axioms for constructive fields

In constructive mathematics the Dedekind cut definition of real number is not equivalent to the definition of real number by Cauchy sequences, and the Dedekind real numbers do not satisfy Heyting's axioms for constructive fields. A more general notion of constructive field is proposed which includes the Dedekind real numbers; some linear algebra is given which applies to such fields.