{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:19:13Z","timestamp":1742937553064,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319302454"},{"type":"electronic","value":"9783319302461"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30246-1_5","type":"book-chapter","created":{"date-parts":[[2016,2,26]],"date-time":"2016-02-26T08:47:59Z","timestamp":1456476479000},"page":"73-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Main Steps in Defining Finitely Supported Mathematics"],"prefix":"10.1007","author":[{"given":"Andrei","family":"Alexandru","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,27]]},"reference":[{"key":"5_CR1","first-page":"79","volume":"15","author":"A Alexandru","year":"2012","unstructured":"Alexandru, A., Ciobanu, G.: Nominal event structures. Rom. J. Inf. Sci. Technol. 15, 79\u201390 (2012)","journal-title":"Rom. J. Inf. Sci. Technol."},{"key":"5_CR2","first-page":"261","volume":"16","author":"A Alexandru","year":"2013","unstructured":"Alexandru, A., Ciobanu, G.: Nominal techniques for $$\\pi I$$ -calculus. Rom. J. Inf. Sci. Technol. 16, 261\u2013286 (2013)","journal-title":"Rom. J. Inf. Sci. Technol."},{"issue":"3\u20134","key":"5_CR3","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3233\/FI-2014-1015","volume":"131","author":"A Alexandru","year":"2014","unstructured":"Alexandru, A., Ciobanu, G.: Nominal groups and their homomorphism theorems. Fundamenta Informaticae 131(3\u20134), 279\u2013298 (2014)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR4","first-page":"77","volume":"LX","author":"A Alexandru","year":"2014","unstructured":"Alexandru, A., Ciobanu, G.: On the development of the Fraenkel-Mostowski set theory. Bull. Polytech. Inst. Jassy LX, 77\u201391 (2014)","journal-title":"Bull. Polytech. Inst. Jassy"},{"issue":"3","key":"5_CR5","first-page":"265","volume":"17","author":"A Alexandru","year":"2014","unstructured":"Alexandru, A., Ciobanu, G.: A nominal approach for fusion calculus. Rom. J. Inf. Sci. Technol. 17(3), 265\u2013288 (2014)","journal-title":"Rom. J. Inf. Sci. Technol."},{"issue":"1","key":"5_CR6","first-page":"3","volume":"58\/106","author":"A Alexandru","year":"2015","unstructured":"Alexandru, A., Ciobanu, G.: Mathematics of multisets in the Fraenkel-Mostowski framework. Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie 58\/106(1), 3\u201318 (2015)","journal-title":"Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie"},{"key":"5_CR7","unstructured":"Alexandru, A., Ciobanu, G.: Defining finitely supported mathematics over sets with atoms. In: Batsakis, S., Bobalo, Y., Ermolayev, V., Kharchenko, V., Kobets, V., Kravtsov, H., Mayr, H.C., Nikitchenko, M., Peschanenko, V., Spivakovsky, A., Yakovyna, V., Zholtkevych, G. (eds.) 4th International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification, vol. 1356, pp. 382\u2013395 (2015). http:\/\/CEUR-WS.org"},{"issue":"5","key":"5_CR8","first-page":"1133","volume":"34","author":"A Alexandru","year":"2015","unstructured":"Alexandru, A., Ciobanu, G.: Generalized multisets: from ZF to FSM. Comput. Inform. 34(5), 1133\u20131150 (2015)","journal-title":"Comput. Inform."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Alexandru, A., Ciobanu, G.: Static analysis in finitely supported mathematics. In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE Computer Society Press (2015, in press)","DOI":"10.1109\/SYNASC.2015.56"},{"key":"5_CR10","unstructured":"Alexandru, A., Ciobanu, G.: Pawlak approximations in the framework of nominal sets. J. Multiple-Valued Logic Soft Comput. 26(3) (2016, in press)"},{"key":"5_CR11","unstructured":"Alexandru, A., Ciobanu, G.: Finitely supported subgroups of a nominal group. Mathematical Reports 18(2) (2016)"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"244","DOI":"10.4064\/fm-6-1-244-277","volume":"6","author":"S Banach","year":"1924","unstructured":"Banach, S., Tarski, A.: Sur la d\u00e9composition des ensembles de points en parties respectivement congruentes. Fundamenta Mathematicae 6, 244\u2013277 (1924)","journal-title":"Fundamenta Mathematicae"},{"key":"5_CR13","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Sets and Structures: An Approach to Definability Theory","author":"J Barwise","year":"1975","unstructured":"Barwise, J.: Admissible Sets and Structures: An Approach to Definability Theory. Perspectives in Mathematical Logic, vol. 7. Springer, Berlin (1975)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-33512-9_1","volume-title":"Reachability Problems","author":"M Boja\u0144czyk","year":"2012","unstructured":"Boja\u0144czyk, M., Lasota, S.: Fraenkel-Mostowski sets with non-homogeneous atoms. In: Finkel, A., Leroux, J., Potapov, I. (eds.) RP 2012. LNCS, vol. 7550, pp. 1\u20135. Springer, Heidelberg (2012)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/s00224-013-9464-1","volume":"53","author":"M Bojanczyk","year":"2013","unstructured":"Bojanczyk, M.: Nominal monoids. Theor. Comput. Syst. 53, 194\u2013222 (2013)","journal-title":"Theor. Comput. Syst."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Bojanczyk, M., Braud, L., Klin, B., Lasota, S.: Towards nominal computation. In: 39th ACM Symposium on Principles of Programming Languages, pp. 401\u2013412 (2012)","DOI":"10.1145\/2103656.2103704"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Bojanczyk, M., Klin, B., Lasota, S.: Automata with group actions. In: 26th Symposium on Logic in Computer Science, pp. 355\u2013364. IEEE Computer Society Press (2011)","DOI":"10.1109\/LICS.2011.48"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Bojanczyk, M., Klin, B., Lasota, S., Torunczyk, S.: Turing machines with atoms. In: 28th Symposium on Logic in Computer Science, pp. 183\u2013192. IEEE Computer Society Press (2013)","DOI":"10.1109\/LICS.2013.24"},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-642-31585-5_12","volume-title":"Automata, Languages, and Programming","author":"Miko\u0142aj Boja\u0144czyk","year":"2012","unstructured":"Bojanczyk, M., Lasota, S.: A machine-independent characterization of timed languages. In: 39th International Colloquium on Automata, Languages and Programming, pp. 92\u2013103 (2012)"},{"key":"5_CR20","unstructured":"Bojanczyk, M., Torunczyk, S.: Imperative programming in sets with atoms. In: D\u2019Souza, D., Kavitha, T., Radhakrishnan, J. (eds.) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 18, pp. 4\u201315. LIPIcs (2012)"},{"key":"5_CR21","volume-title":"The Independence of the Axiom of Choice","author":"PJ Cohen","year":"1963","unstructured":"Cohen, P.J.: The Independence of the Axiom of Choice. Stanford University, Mimeographed (1963)"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/BF01457986","volume":"86","author":"A Fraenkel","year":"1922","unstructured":"Fraenkel, A.: Zu den grundlagen der Cantor-Zermeloschen mengenlehre. Mathematische Annalen 86, 230\u2013237 (1922)","journal-title":"Mathematische Annalen"},{"key":"5_CR23","series-title":"Applied Logic Series","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-94-017-0253-9_10","volume-title":"Thirty Five Years of Automating Mathematics","author":"MJ Gabbay","year":"2003","unstructured":"Gabbay, M.J.: The pi-calculus in FM. In: Kamareddine, F.D. (ed.) Thirty Five Years of Automating Mathematics. Applied Logic Series, vol. 28, pp. 247\u2013269. Springer, The Netherlands (2003)"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s001650200016","volume":"13","author":"MJ Gabbay","year":"2001","unstructured":"Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects Comput. 13, 341\u2013363 (2001)","journal-title":"Formal Aspects Comput."},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0049-237X(08)71257-6","volume-title":"The Kleene Symposium","author":"R Gandy","year":"1980","unstructured":"Gandy, R.: Church\u2019s thesis and principles for mechanisms. In: Barwise, J., Keisler, H.J., Kunen, K. (eds.) The Kleene Symposium, pp. 123\u2013148. North-Holland, Amsterdam (1980)"},{"key":"5_CR26","series-title":"Annals of Mathematics Studies","volume-title":"The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory","author":"K G\u00f6del","year":"1940","unstructured":"G\u00f6del, K.: The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory. Annals of Mathematics Studies. Princeton University Press, Princeton (1940)"},{"key":"5_CR27","series-title":"Lecture Notes in Mathematics","volume-title":"Axiom of Choice","author":"H Herrlich","year":"2006","unstructured":"Herrlich, H.: Axiom of Choice. Lecture Notes in Mathematics. Springer, Heidelberg (2006)"},{"key":"5_CR28","series-title":"Mathematical Surveys and Monographs","doi-asserted-by":"crossref","DOI":"10.1090\/surv\/059","volume-title":"Consequences of the Axiom of Choice","author":"P Howard","year":"1998","unstructured":"Howard, P., Rubin, J.E.: Consequences of the Axiom of Choice. Mathematical Surveys and Monographs, vol. 59. American Mathematical Society, Providence (1998)"},{"key":"5_CR29","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"The Axiom of Choice","author":"TJ Jech","year":"1973","unstructured":"Jech, T.J.: The Axiom of Choice. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1973)"},{"key":"5_CR30","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1090\/S0002-9947-1965-0188316-1","volume":"116","author":"K Krohn","year":"1965","unstructured":"Krohn, K., Rhodes, J.: Algebraic theory of machines: prime decomposition theorem for finite semigroups and machines. Trans. Am. Math. Soc. 116, 450\u2013464 (1965)","journal-title":"Trans. Am. Math. Soc."},{"key":"5_CR31","first-page":"27","volume":"31","author":"A Lindenbaum","year":"1938","unstructured":"Lindenbaum, A., Mostowski, A.: Uber die unabhangigkeit des auswahlsaxioms und einiger seiner folgerungen. Comptes Rendus des Seances de la Societe des Sciences et des Lettres de Varsovie. 31, 27\u201332 (1938)","journal-title":"Comptes Rendus des Seances de la Societe des Sciences et des Lettres de Varsovie."},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/BFb0000486","volume-title":"Algebraic Methodology and Software Technology","author":"J Parrow","year":"1997","unstructured":"Parrow, J., Victor, B.: The update calculus. In: Johnson, M. (ed.) Algebraic Methodology and Software Technology. LNCS, vol. 1349, pp. 409\u2013423. Springer, Heidelberg (1997)"},{"key":"5_CR33","unstructured":"Petrisan, D.: Investigations into algebra and topology over nominal sets. Ph.D. thesis, University of Leicester (2011)"},{"key":"5_CR34","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1145\/1147954.1147961","volume":"53","author":"AM Pitts","year":"2006","unstructured":"Pitts, A.M.: Alpha-structural recursion and induction. J. ACM 53, 459\u2013506 (2006)","journal-title":"J. ACM"},{"key":"5_CR35","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139084673","volume-title":"Nominal Sets Names and Symmetry in Computer Science","author":"AM Pitts","year":"2013","unstructured":"Pitts, A.M.: Nominal Sets Names and Symmetry in Computer Science. Cambridge University Press, Cambridge (2013)"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: $$\\pi $$ -calculus, internal mobility, and agent-passing calculi. Rapport INRIA no.2539 (1995)","DOI":"10.1007\/3-540-60084-1_114"},{"key":"5_CR37","unstructured":"Shinwell, M.R.: The fresh approach: functional programming with names and binders. Ph.D. thesis, University of Cambridge (2005)"},{"key":"5_CR38","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1080\/01445348608837096","volume":"7","author":"A Tarski","year":"1986","unstructured":"Tarski, A.: What are logical notions? Hist. Philos. Logic 7, 143\u2013154 (1986)","journal-title":"Hist. Philos. Logic"},{"key":"5_CR39","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1007\/978-3-642-04027-6_39","volume-title":"Computer Science Logic","author":"David Turner","year":"2009","unstructured":"Turner, D.: Nominal Domain Theory for Concurrency. Technical report no.751, University of Cambridge (2009)"},{"key":"5_CR40","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10817-008-9097-2","volume":"40","author":"C Urban","year":"2008","unstructured":"Urban, C.: Nominal techniques in Isabelle\/HOL. J. Autom. Reasoning 40, 327\u2013356 (2008)","journal-title":"J. Autom. Reasoning"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30246-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,16]],"date-time":"2020-09-16T03:43:17Z","timestamp":1600227797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30246-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319302454","9783319302461"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30246-1_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"27 February 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}