Journal of Symbolic Logic 85 (4):1599-1606 (2020)

Abstract
We give a short proof of the fundamental theorem of central element theory. The original proof is constructive and very involved and relies strongly on the fact that the class be a variety. Here we give a more direct nonconstructive proof which applies for the more general case of a first-order class which is both closed under the formation of direct products and direct factors.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2020.41
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,114
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Cardinal Algebras.Alfred Tarski & Bjarni Jonsson - 1949 - Journal of Symbolic Logic 14 (3):188-189.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Maximal Chains in the Fundamental Order.Steven Buechler - 1986 - Journal of Symbolic Logic 51 (2):323-326.
A Basis Theorem for Perfect Sets.Marcia J. Groszek & Theodore A. Slaman - 1998 - Bulletin of Symbolic Logic 4 (2):204-209.
What Was Fisher’s Fundamental Theorem of Natural Selection and What Was It For?Anya Plutynski - 2005 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 37 (1):59-82.
What Was Fisher’s Fundamental Theorem of Natural Selection and What Was It For?Anya Plutynski - 2004 - Studies in History and Philosophy of Biological and Biomedical Sciences 37 (1):59-82.
On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory.Albert A. Mullin - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):203-205.
What Was Fisher’s Fundamental Theorem of Natural Selection and What Was It For?Anya Plutynski - 2006 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 37 (1):59-82.
On the Fundamental Theorem of the Theory of Relativity.Marco Mamone-Capria - 2016 - Foundations of Physics 46 (12):1680-1712.
Ultrapowers Without the Axiom of Choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.

Analytics

Added to PP index
2020-09-08

Total views
11 ( #849,027 of 2,499,055 )

Recent downloads (6 months)
1 ( #419,059 of 2,499,055 )

How can I increase my downloads?

Downloads

My notes