{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T07:44:32Z","timestamp":1778744672439,"version":"3.51.4"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T00:00:00Z","timestamp":1221955200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1007\/s11083-008-9094-4","type":"journal-article","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T11:30:58Z","timestamp":1221910258000},"page":"281-298","source":"Crossref","is-referenced-by-count":14,"title":["Continuous Fra\u00efss\u00e9 Conjecture"],"prefix":"10.1007","volume":"25","author":[{"given":"Arnold","family":"Beckmann","sequence":"first","affiliation":[]},{"given":"Martin","family":"Goldstern","sequence":"additional","affiliation":[]},{"given":"Norbert","family":"Preining","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,9,21]]},"reference":[{"key":"9094_CR1","first-page":"23","volume-title":"Proc. G\u00f6del\u201896, Logic Foundations of Mathematics, Computer Science and Physics \u2013 Kurt G\u00f6del\u2019s Legacy. Lecture Notes in Logic 6","author":"M. Baaz","year":"1996","unstructured":"Baaz, M.: Infinite-valued G\u00f6del logics with 0-1-projections and relativizations. In: H\u00e1jek, P., (ed.) Proc. G\u00f6del\u201896, Logic Foundations of Mathematics, Computer Science and Physics \u2013 Kurt G\u00f6del\u2019s Legacy. Lecture Notes in Logic 6, pp. 23\u201333. Springer, New York (1996)"},{"issue":"1\u20132","key":"9094_CR2","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0304-3975(95)00107-7","volume":"160","author":"M. Baaz","year":"1996","unstructured":"Baaz, M., Leitsch, A., Zach, R.: Completeness of a first-order temporal logic with time-gaps. Theor. Comput. Sci. 160(1\u20132), 241\u2013270 June (1996)","journal-title":"Theor. Comput. Sci."},{"key":"9094_CR3","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1090\/S0002-9904-1940-07213-1","volume":"46","author":"B. Dushnik","year":"1940","unstructured":"Dushnik, B., Miller, E.W.: Concerning similarity transformations of linearly ordered sets. Bull. Am. Math. Soc. 46, 322\u2013326 (1940)","journal-title":"Bull. Am. Math. Soc."},{"key":"9094_CR4","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1002\/malq.19710170126","volume":"17","author":"J.M. Dunn","year":"1971","unstructured":"Dunn, J.M., Meyer, R.K.: Algebraic completeness results for Dummett\u2019s LC and its extensions. Z. Math. Log. Grundl. Math. 17, 225\u2013230 (1971)","journal-title":"Z. Math. Log. Grundl. Math."},{"key":"9094_CR5","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1017\/S0022481200125848","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett, M.: A propositional logic with denumerable matrix. J. Symb. Log. 24, 96\u2013107 (1959)","journal-title":"J. Symb. Log."},{"key":"9094_CR6","volume-title":"Combinatorial Set Theory: Partition Relations for Cardinals. Studies in Logic and the Foundations of Mathematics, vol. 106","author":"P. Erd\u0151s","year":"1984","unstructured":"Erd\u0151s, P., Hajnal, A., M\u00e1t\u00e9, A., Rado, R.: Combinatorial Set Theory: Partition Relations for Cardinals. Studies in Logic and the Foundations of Mathematics, vol. 106. North-Holland, Amsterdam (1984)"},{"key":"9094_CR7","first-page":"1330","volume":"226","author":"R. Fra\u00efss\u00e9","year":"1948","unstructured":"Fra\u00efss\u00e9, R.: Sur la comparaison des types d\u2019ordres. C. R. Acad. Sci. Paris 226, 1330\u20131331 (1948)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"9094_CR8","first-page":"34","volume":"4","author":"K. G\u00f6del","year":"1933","unstructured":"G\u00f6del, K.: Zum Intuitionistischen Aussagenkalk\u00fcl. Ergebnisse Eines Mathematischen Kolloquiums 4, 34\u201338 (1933)","journal-title":"Ergebnisse Eines Mathematischen Kolloquiums"},{"key":"9094_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Deventer (1998)"},{"issue":"3","key":"9094_CR10","doi-asserted-by":"crossref","first-page":"395","DOI":"10.2307\/2270905","volume":"34","author":"A. Horn","year":"1969","unstructured":"Horn, A.: Logic with truth values in a linearly ordered Heyting algebra. J. Symb. Log. 34(3), 395\u2013409 (1969)","journal-title":"J. Symb. Log."},{"issue":"2","key":"9094_CR11","doi-asserted-by":"crossref","first-page":"89","DOI":"10.2307\/1970754","volume":"93","author":"R. Laver","year":"1971","unstructured":"Laver, R.: On Fra\u00efss\u00e9\u2019s order type conjecture. Ann. Math. 93(2), 89\u2013111 (1971)","journal-title":"Ann. Math."},{"key":"9094_CR12","doi-asserted-by":"crossref","first-page":"451","DOI":"10.2140\/pjm.1970.35.451","volume":"35","author":"R. Mansfield","year":"1970","unstructured":"Mansfield, R.: Perfect subsets of definable sets of real numbers. Pac. J. Math. 35, 451\u2013457 (1970)","journal-title":"Pac. J. Math."},{"key":"9094_CR13","volume-title":"Descriptive Set Theory. Volume 100 of Studies in Logic and the Foundations of Mathematics","author":"Y.N. Moschovakis","year":"1980","unstructured":"Moschovakis, Y.N.: Descriptive Set Theory. Volume 100 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1980)"},{"issue":"3","key":"9094_CR14","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.2307\/2274476","volume":"55","author":"P. Minari","year":"1990","unstructured":"Minari, P., Takano, M., Ono, H.: Intermediate predicate logics determined by ordinals. J. Symb. Log. 55(3), 1099\u20131124 (1990)","journal-title":"J. Symb. Log."},{"key":"9094_CR15","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1017\/S0305004100003844","volume":"59","author":"C.St.J.A. Nash-Williams","year":"1963","unstructured":"Nash-Williams, C.St.J.A.: On well-quasi-ordering finite trees. Proc. Camb. Philos. Soc. 59, 833\u2013835 (1963)","journal-title":"Proc. Camb. Philos. Soc."},{"key":"9094_CR16","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1017\/S0305004100037889","volume":"60","author":"C.St.J.A. Nash-Williams","year":"1964","unstructured":"Nash-Williams, C.St.J.A.: On well-quasi-ordering lower sets of finite trees. Proc. Camb. Philos. Soc. 60, 369\u2013384 (1964)","journal-title":"Proc. Camb. Philos. Soc."},{"key":"9094_CR17","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1017\/S0305004100039062","volume":"61","author":"C.St.J.A. Nash-Williams","year":"1965","unstructured":"Nash-Williams, C.St.J.A.: On well-quasi-ordering infinite trees. Proc. Camb. Philos. Soc. 61, 697\u2013720 (1965)","journal-title":"Proc. Camb. Philos. Soc."},{"key":"9094_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1017\/S0305004100038603","volume":"61","author":"C. Nash-Williams","year":"1965","unstructured":"Nash-Williams, C.St.J.A.: On well-quasi-ordering transfinite sequences. Proc. Camb. Philos. Soc. 61, 33\u201339 (1965)","journal-title":"Proc. Camb. Philos. Soc."},{"key":"9094_CR19","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1017\/S030500410004281X","volume":"64","author":"C.St.J.A. Nash-Williams","year":"1968","unstructured":"Nash-Williams, C.St.J.A.: On better-quasi-ordering transfinite sequences. Proc. Camb. Philos. Soc. 64, 273\u2013290 (1968)","journal-title":"Proc. Camb. Philos. Soc."},{"key":"9094_CR20","doi-asserted-by":"crossref","unstructured":"Preining, N.: G\u00f6del logics and Cantor-Bendixon analysis. In: Baaz, M., Voronkov, A. (eds.) Proceedings of lpar \u20182002. lnai\u00a02514, pp. 327\u2013336, Tbilisi, 14\u201318 October 2002","DOI":"10.1007\/3-540-36078-6_22"},{"key":"9094_CR21","unstructured":"Preining, N.: Complete Recursive Axiomatizability of G\u00f6del Logics. PhD thesis, Vienna University of Technology, Austria (2003)"},{"key":"9094_CR22","volume-title":"Linear Orderings. Volume\u00a098 of Pure and Applied Mathematics","author":"J.G. Rosenstein","year":"1982","unstructured":"Rosenstein, J.G.: Linear Orderings. Volume\u00a098 of Pure and Applied Mathematics. Academic [Harcourt Brace Jovanovich], New York (1982)"},{"key":"9094_CR23","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2964111","volume":"27","author":"B. Scarpellini","year":"1962","unstructured":"Scarpellini, B.: Die Nichtaxiomatisierbarkeit des unendlichwertigen Pr\u00e4dikatenkalk\u00fcls von \u0141ukasiewicz. J. Symb. Log. 27, 159\u2013170 (1962)","journal-title":"J. Symb. Log."},{"key":"9094_CR24","doi-asserted-by":"crossref","first-page":"253","DOI":"10.4064\/fm-37-1-253-264","volume":"37","author":"W. Sierpi\u0144ski","year":"1950","unstructured":"Sierpi\u0144ski, W.,: Sur les types d\u2019ordre des ensembles lin\u00e9aires. Fundam. Math. 37, 253\u2013264 (1950)","journal-title":"Fundam. Math."},{"key":"9094_CR25","doi-asserted-by":"crossref","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"G. Takeuti","year":"1984","unstructured":"Takeuti, G., Titani, T.: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J. Symb. Log. 49, 851\u2013866 (1984)","journal-title":"J. Symb. Log."},{"key":"9094_CR26","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0003-4843(82)90024-9","volume":"22","author":"A. Visser","year":"1982","unstructured":"Visser, A.: On the completeness principle: a study of provability in Heyting\u2019s arithmetic. Ann. Math. Logic 22, 263\u2013295 (1982)","journal-title":"Ann. Math. Logic"}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-008-9094-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-008-9094-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-008-9094-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T05:12:12Z","timestamp":1559365932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-008-9094-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,21]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["9094"],"URL":"https:\/\/doi.org\/10.1007\/s11083-008-9094-4","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9,21]]}}}