{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,15]],"date-time":"2026-02-15T03:29:22Z","timestamp":1771126162163,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T00:00:00Z","timestamp":1510876800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s00153-017-0595-y","type":"journal-article","created":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T11:18:15Z","timestamp":1510917495000},"page":"665-686","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["On the minimal cover property and certain notions of finite"],"prefix":"10.1007","volume":"57","author":[{"given":"Eleftherios","family":"Tachtsis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,17]]},"reference":[{"key":"595_CR1","first-page":"141","volume":"9","author":"R Arens","year":"1950","unstructured":"Arens, R., Dugundji, J.: Remark on the concept of compactness. Port. Math. 9, 141\u2013143 (1950)","journal-title":"Port. Math."},{"key":"595_CR2","doi-asserted-by":"crossref","first-page":"387","DOI":"10.2307\/2272866","volume":"42","author":"A Blass","year":"1977","unstructured":"Blass, A.: Ramsey\u2019s theorem in the hierarchy of choice principles. J. Symb. Log. 42, 387\u2013390 (1977)","journal-title":"J. Symb. Log."},{"key":"595_CR3","volume-title":"Stetigkeit und irrationale Zahlen","author":"R Dedekind","year":"1872","unstructured":"Dedekind, R.: Stetigkeit und irrationale Zahlen. Vieweg, Braunschweig (1872)"},{"key":"595_CR4","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm173-1-4","volume":"173","author":"O Cruz De la","year":"2002","unstructured":"De la Cruz, O.: Finiteness and choice. Fund. Math. 173, 57\u201376 (2002)","journal-title":"Fund. Math."},{"issue":"2","key":"595_CR5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.4064\/ba63-2-1","volume":"63","author":"H Herrlich","year":"2015","unstructured":"Herrlich, H., Howard, P., Tachtsis, E.: On a certain notion of finite and a finiteness class in set theory without choice. Bull. Pol. Acad. Sci. Math. 63(2), 89\u2013112 (2015)","journal-title":"Bull. Pol. Acad. Sci. Math."},{"key":"595_CR6","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1305\/ndjfl\/1040511347","volume":"35","author":"H H\u00f6ft","year":"1994","unstructured":"H\u00f6ft, H., Howard, P.: Well ordered subsets of linearly ordered sets. Notre Dame J. Form. Log. 35, 413\u2013425 (1994)","journal-title":"Notre Dame J. Form. Log."},{"key":"595_CR7","doi-asserted-by":"crossref","first-page":"169","DOI":"10.4064\/fm-133-3-169-177","volume":"133","author":"PE Howard","year":"1989","unstructured":"Howard, P.E., Yorke, M.F.: Definitions of finite. Fund. Math. 133, 169\u2013177 (1989)","journal-title":"Fund. Math."},{"key":"#cr-split#-595_CR8.1","doi-asserted-by":"crossref","unstructured":"Howard, P., Rubin, J.E.: Consequences of the Axiom of Choice, Mathematical Surveys and Monographs, vol. 59. American Mathematical Society, Providence (1998);","DOI":"10.1090\/surv\/059"},{"key":"#cr-split#-595_CR8.2","unstructured":"Consequences of the Axiom of Choice Project Homepage. http:\/\/consequences.emich.edu\/conseq.htm"},{"issue":"3","key":"595_CR9","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1002\/malq.201400089","volume":"62","author":"P Howard","year":"2016","unstructured":"Howard, P., Saveliev, D.I., Tachtsis, E.: On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements. Math. Log. Q. 62(3), 155\u2013176 (2016)","journal-title":"Math. Log. Q."},{"key":"595_CR10","unstructured":"Howard, P., Saveliev, D.I., Tachtsis, E.: On the existence of cofinal well-founded subsets of posets without $${\\bf AC}$$ AC \u00a0 (article in preparation)"},{"issue":"1","key":"595_CR11","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1305\/ndjfl\/1093634567","volume":"34","author":"P Howard","year":"1993","unstructured":"Howard, P., Solski, J.: The strength of the $$\\Delta $$ \u0394 -system lemma. Notre Dame J. Form. Log. 34(1), 100\u2013106 (1993)","journal-title":"Notre Dame J. Form. Log."},{"key":"595_CR12","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/j.topol.2014.05.021","volume":"173","author":"P Howard","year":"2014","unstructured":"Howard, P., Tachtsis, E.: On the minimal cover property in $${\\mathbf{ZF}}$$ ZF . Topol. Appl. 173, 94\u2013106 (2014)","journal-title":"Topol. Appl."},{"key":"595_CR13","volume-title":"The Axiom of Choice, Studies in Logic and the Foundations of Mathematics","author":"TJ Jech","year":"1973","unstructured":"Jech, T.J.: The Axiom of Choice, Studies in Logic and the Foundations of Mathematics, vol. 75. North-Holland, Amsterdam (1973)"},{"key":"595_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-46-1-1-13","volume":"46","author":"A L\u00e9vy","year":"1958","unstructured":"L\u00e9vy, A.: The independence of various definitions of finiteness. Fund. Math. 46, 1\u201313 (1958)","journal-title":"Fund. Math."},{"key":"595_CR15","doi-asserted-by":"crossref","first-page":"475","DOI":"10.4064\/fm-50-5-475-483","volume":"50","author":"A L\u00e9vy","year":"1962","unstructured":"L\u00e9vy, A.: Axioms of multiple choice. Fund. Math. 50, 475\u2013483 (1962)","journal-title":"Fund. Math."},{"key":"595_CR16","doi-asserted-by":"crossref","first-page":"721","DOI":"10.2307\/2272420","volume":"37","author":"D Pincus","year":"1972","unstructured":"Pincus, D.: Zermelo\u2013Fraenkel consistency results by Fraenkel\u2013Mostowski methods. J. Symb. Log. 37, 721\u2013743 (1972)","journal-title":"J. Symb. Log."},{"key":"595_CR17","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0003-4843(77)90011-0","volume":"11","author":"D Pincus","year":"1977","unstructured":"Pincus, D.: Adding dependent choice. Ann. Math. Log. 11, 105\u2013145 (1977)","journal-title":"Ann. Math. Log."},{"key":"595_CR18","doi-asserted-by":"crossref","first-page":"391","DOI":"10.21136\/CMJ.1993.128424","volume":"43","author":"L Spi\u0161iak","year":"1993","unstructured":"Spi\u0161iak, L.: Dependences between definitions of finiteness. II. Czechoslov. Math. J. 43, 391\u2013407 (1993)","journal-title":"Czechoslov. Math. J."},{"key":"595_CR19","doi-asserted-by":"crossref","first-page":"389","DOI":"10.21136\/CMJ.1988.102234","volume":"38","author":"L Spi\u0161iak","year":"1988","unstructured":"Spi\u0161iak, L., Vojt\u00e1\u0161, P.: Dependences between definitions of finiteness. Czechoslov. Math. J. 38, 389\u2013397 (1988)","journal-title":"Czechoslov. Math. J."},{"issue":"01","key":"595_CR20","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1017\/jsl.2015.47","volume":"81","author":"E Tachtsis","year":"2016","unstructured":"Tachtsis, E.: On Ramsey\u2019s Theorem and the existence of infinite chains or infinite anti-chains in infinite posets. J. Symb. Log. 81(01), 384\u2013394 (2016)","journal-title":"J. Symb. Log."},{"key":"595_CR21","doi-asserted-by":"crossref","first-page":"45","DOI":"10.4064\/fm-6-1-45-95","volume":"6","author":"A Tarski","year":"1924","unstructured":"Tarski, A.: Sur les ensembles finis. Fund. Math. 6, 45\u201395 (1924)","journal-title":"Fund. Math."},{"key":"595_CR22","doi-asserted-by":"crossref","first-page":"187","DOI":"10.4064\/fm-84-3-187-208","volume":"84","author":"J Truss","year":"1974","unstructured":"Truss, J.: Classes of Dedekind finite cardinals. Fund. Math. 84, 187\u2013208 (1974)","journal-title":"Fund. Math."},{"key":"595_CR23","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0168-0072(94)00024-W","volume":"73","author":"JK Truss","year":"1995","unstructured":"Truss, J.K.: The structure of amorphous sets. Ann. Pure Appl. Log. 73, 191\u2013233 (1995)","journal-title":"Ann. Pure Appl. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0595-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0595-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0595-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T01:49:40Z","timestamp":1603331380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0595-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,17]]},"references-count":24,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["595"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0595-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,17]]}}}