Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Embedding trees in the rationals.

J Baumgartner1, J Malitz, W Reinhardt

  • 1DARTMOUTH COLLEGE, HANOVER, NEW HAMPSHIRE.

Proceedings of the National Academy of Sciences of the United States of America
|December 1, 1970
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

How Do Household Energy Transitions Work?

Research report (Health Effects Institute)·2026
Same author

Correction to: Psychotic-like experiences in non-clinical subgroups with and without specific beliefs.

BMC psychiatry·2023
Same author

Psychotic-like experiences in non-clinical subgroups with and without specific beliefs.

BMC psychiatry·2023
Same author

Short confinement of sows after farrowing, but not pen type affects live-born piglet mortality.

Animal : an international journal of animal bioscience·2022
Same author

Effects of media stories featuring coping with suicidal crises on psychiatric patients: Randomized controlled trial.

European psychiatry : the journal of the Association of European Psychiatrists·2021
Same author

Identification of patients with recent-onset psychosis in KwaZulu Natal, South Africa: a pilot study with traditional health practitioners and diagnostic instruments.

Social psychiatry and psychiatric epidemiology·2018
Same journal

The TaMYB55-TaSnRK1α1-TabZIP9 module confers heat stress tolerance in wheat.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same journal

Superstatistics approach to turbulent circulation fluctuations.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same journal

A molecular timescale for evolution of cobamide biosynthesis.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same journal

Pierre Chambon, a pioneer of molecular biology and gene regulation in eukaryotes.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same journal

Granulosa cell glycogen fuels the avascular corpus luteum.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same journal

Synthetic essentiality of TRAIL/TNFSF10 in VHL-deficient renal cell carcinoma.

Proceedings of the National Academy of Sciences of the United States of America·2026
See all related articles

This study presents an algebraic statement independent of standard mathematics. It demonstrates that certain tree-like orderings cannot be embedded into rational numbers within current set theory axioms.

Area of Science:

  • Set Theory
  • Mathematical Logic
  • Algebraic Structures

Background:

  • Standard mathematical frameworks, including set theory, rely on axioms to define provable truths.
  • Independence results in mathematics indicate statements whose truth value cannot be determined from a given set of axioms.

Purpose of the Study:

  • To present a simple algebraic statement that is independent of the usual axiomatizations of set theory.
  • To illustrate the concept of undecidable statements in mathematics.

Main Methods:

  • Construction of a specific algebraic statement.
  • Analysis of the statement's independence from standard set theory axioms (e.g., Zermelo-Fraenkel set theory).

Main Results:

  • An example of an algebraic statement is provided whose truth is undecidable within ordinary mathematics.

Related Experiment Videos

  • The statement asserts that every tree-like ordering up to the first uncountable cardinal is not homomorphically embeddable into the rational numbers.

    • Conclusions:

    • The presented statement is independent of the standard axioms of set theory.
    • This finding highlights the inherent limitations of formal axiomatic systems in mathematics.