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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Citations of this work BETA
No citations found.
Similar books and articles
Cultural Inheritance and Fisher’s “Fundamental Theorem” of Natural Selection.Samir Okasha - 2007 - Biological Theory 2 (3):290-299.
Herbrand’s Fundamental Theorem in the Eyes of Jean Van Heijenoort.Claus-Peter Wirth - 2012 - Logica Universalis 6 (3-4):485-520.
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 - Mathematical Logic Quarterly 9 (12‐15):203-205.
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.
Review: Albert A. Mullin, On a Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (2):343-343.
Condorcet’s jury theorem: General will and epistemic democracy.Miljan Vasić - 2018 - Theoria: Beograd 61 (4):147-170.
Mullin Albert A.. On a Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 9 , Pp. 203–205. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (2):343-343.
On the Strength of Ramsey's Theorem for Pairs.Peter A. Cholak, Carl G. Jockusch & Theodore A. Slaman - 2001 - Journal of Symbolic Logic 66 (1):1-55.
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 )
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
