Abstract
The topic is a variant of first-order logic defined in the framework of sets with atoms, which allows formulas to use orbit-finite boolean operations. The main contribution is a notion of model for this logic, which admits the compactness theorem.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Adamowicz, Z., Zbierski, P.: Logic of Mathematics: A Modern Course of Classical Logic. Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Wiley (2011)
Bojanczyk, M., Klin, B., Lasota, S.: Automata with group actions. In: LICS, pp. 355–364 (2011)
Bojańczyk, M., Place, T.: Toward model theory with data values. In: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (eds.) ICALP 2012, Part II. LNCS, vol. 7392, pp. 116–127. Springer, Heidelberg (2012)
Bojanczyk, M., Torunczyk, S.: Imperative programming in sets with atoms. In: D’Souza, D., Kavitha, T., Radhakrishnan, J. (eds.) FSTTCS. LIPIcs, vol. 18, pp. 4–15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2012)
Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Asp. Comput. 13(3-5), 341–363 (2002)
Gabbay, M.J.: Fresh logic: proof-theory and semantics for fm and nominal techniques. J. Applied Logic 5(2), 356–387 (2007)
Gabbay, M.J.: Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free. J. Symb. Log. 77(3), 828–852 (2012)
Lopez-Escobar, E.G.K.: An interpolation theorem for denumerably long formulas. Fundam. Math. 57, 253–272 (1965)
Pitts, A.M.: Nominal Sets: Names and Symmetry in Computer Science. Cambridge Tracts in Theoretical Computer Science, vol. 57. Cambridge University Press (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bojańczyk, M. (2013). Modelling Infinite Structures with Atoms. In: Libkin, L., Kohlenbach, U., de Queiroz, R. (eds) Logic, Language, Information, and Computation. WoLLIC 2013. Lecture Notes in Computer Science, vol 8071. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39992-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-39992-3_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39991-6
Online ISBN: 978-3-642-39992-3
eBook Packages: Computer ScienceComputer Science (R0)