Wikipedia's article on Beth definability, used to source its 1953 proof date and to state its claim about implicit and explicit definitions in the atlas's own words.
Facts
Citation
PublisherWikimedia Foundation
URLhttps://en.wikipedia.org/wiki/Beth_definability
Source TypeEncyclopedia
Assessment
Reliability Tier2
Sources
Beth Definability (Wikipedia)
Wikimedia Foundation- publisher line at the foot of the Wikipedia page
- editorial tier assigned by this atlas, not text on the page
- editorial classification assigned by this atlas, not text on the page
- the page's own web address
View the Source Claims Backed By This Source (13 claims)
This source backs 13 claims across the atlas. As facts: 8 well-attested. As cited relationships: 3 holds. Plus 2 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Theorems, 9 claims: 4 well-attested, 3 holds, 2 general references.
- Sources, 4 claims: 4 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.