{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:04Z","timestamp":1725455644910},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540571841"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022572","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:14:45Z","timestamp":1131862485000},"page":"231-242","source":"Crossref","is-referenced-by-count":2,"title":["On the logic of hypergraphs"],"prefix":"10.1007","author":[{"given":"A.","family":"Kolany","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","first-page":"263","volume":"16","author":"A. Abian","year":"1970","unstructured":"Abian, A.: Generalized Completeness Theorem and Solvability of Systems of Boolean Equations. Zeitschr. f\u00fcr Math. Logik. 16 (1970), 263\u2013264","journal-title":"Zeitschr. f\u00fcr Math. Logik."},{"key":"26_CR2","unstructured":"Berge, C.: Hypergraphs. North Holland Mathematical Library. 45(1989)"},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1305\/ndjfl\/1093635418","volume":"31","author":"R.H. Cowen","year":"1990","unstructured":"Cowen, R.H.: Two hypergraph theorems equivalent to BPI. Notre Dame Journal of Formal Logic. 31 (1990), 232\u2013240","journal-title":"Notre Dame Journal of Formal Logic."},{"key":"26_CR4","first-page":"113","volume":"25","author":"R.H. Cowen","year":"1992","unstructured":"Cowen, R.H.: Hypergraph satisfiability. Reports of Math. Logic. 25(1992), 113\u2013117","journal-title":"Reports of Math. Logic."},{"key":"26_CR5","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1305\/ndjfl\/1093887927","volume":"38","author":"R.H. Cowen","year":"1977","unstructured":"Cowen, R.H.: Generalizing K\u00f6nig's Infinity Lemma. Notre Dame Journal of Formal Logic. 38(1977), 243\u2013247","journal-title":"Notre Dame Journal of Formal Logic."},{"key":"26_CR6","doi-asserted-by":"crossref","first-page":"214","DOI":"10.2307\/2372148","volume":"72","author":"P.R. Halmos","year":"1949","unstructured":"Halmos, P.R., Vaughan, H.E.: The marriage problem. American Journal of Mathematics. 72(1949), 214\u2013215","journal-title":"American Journal of Mathematics"},{"key":"26_CR7","doi-asserted-by":"crossref","first-page":"17","DOI":"10.4064\/fm-121-1-17-23","volume":"121","author":"P. E. Howard","year":"1984","unstructured":"Howard, P. E.: Binary Consistent Choices on Pairs and a Generalization of K\u00f6nigs Infinity Lemma. Fund. Math. 121(1984), 17\u201319","journal-title":"Fund. Math."},{"key":"26_CR8","unstructured":"Jech, T.: The Axiom of Choice. North Holland. (1973)"},{"key":"26_CR9","first-page":"125","volume":"14","author":"A. Levy","year":"1963","unstructured":"Levy, A.: Remarks on a paper by Mycielski. Acta Math. 14(1963), 125\u2013130","journal-title":"Acta Math."},{"key":"26_CR10","doi-asserted-by":"crossref","first-page":"233","DOI":"10.4064\/fm-38-1-233-237","volume":"38","author":"J. Los","year":"1951","unstructured":"Los, J., Ryll-Nardzewski, C.: On Application of Tychonoff's Theorem in Mathematical Proofs Fund. Math. 38(1951), 233\u2013237","journal-title":"Fund. Math."},{"key":"26_CR11","volume-title":"Mathematics of Metamathematics. Monografie Matematyczne PAN. 41","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H., Sikorski, R.: Mathematics of Metamathematics. Monografie Matematyczne PAN. 41 PWN, Warszawa 1963"},{"key":"26_CR12","unstructured":"Troelstra, A.S., van Dallen, D.: Constructivism in Mathematics. Studia in Logic and Foundations of Mathematics. 121 North Holland (1988)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022572.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:49:07Z","timestamp":1607550547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022572"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540571841"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0022572","relation":{},"subject":[]}}