Found 243 Documents (Results 1–100)
The strategic balance of games in logic. (English) Zbl 07920693
Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 755-770 (2023).
Fraïssé theory in operator algebras. (English) Zbl 07756065
Goldbring, Isaac (ed.), Model theory of operator algebras. Berlin: De Gruyter. De Gruyter Ser. Log. Appl. 11, 453-478 (2023).
Ranks based on strong amalgamation Fraïssé classes. (English) Zbl 07742494
MSC:
03C45
The automorphism group of the Fraïssé limit of finite Heyting algebras. (English) Zbl 07735954
J. Symb. Log. 88, No. 3, 1310-1320 (2023); addendum ibid. 88, No. 3, 1321-1322 (2023).
Random amenable \(\mathrm{C}^*\)-algebras. (English) Zbl 1529.46035
Reviewer: Massoud Amini (Tehran)
Games and Lindström theorems. (English) Zbl 07682167
The small index property of the Fraïssé limit of finite Heyting algebras. (English) Zbl 1516.20008
Reviewer: Amador Martin-Pizarro (Freiburg)
Conjugacy classes of big mapping class groups. (English) Zbl 1531.57009
Reviewer: Rita Jimenez Rolland (Oaxaca)
Games and Scott sentences for positive distances between metric structures. (English) Zbl 1518.03007
Reviewer: Alessandro Vignati (Paris)
Weak Fraïssé categories. (English) Zbl 1502.18004
Reviewer: Paul Bankston (Milwaukee)
Fraïssé and Ramsey properties of Fréchet spaces. (English) Zbl 1486.46004
Reviewer: José Bonet (Valencia)
On the 4-spectrum of first-order properties of random graphs. (English. Russian original) Zbl 1484.05191
Dokl. Math. 104, No. 2, 247-249 (2021); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 500, 31-34 (2021).
Relating structure and power: comonadic semantics for computational resources. (English) Zbl 1509.03097
Fraïssé theory and the Poulsen simplex. (English) Zbl 1484.46012
Reviewer: S. S. Kutateladze (Novosibirsk)
Linearly ordered sets with only one operator have the amalgamation property. (English) Zbl 1533.03024
Reviewer: Daniel Max Hoffmann (Warszawa)
Strongly self-absorbing \(C^{\ast }\)-algebras and Fraïssé limits. (English) Zbl 1480.46067
Reviewer: Alessandro Vignati (Paris)
Simplicity of the automorphism groups of order and tournament expansions of homogeneous structures. (English) Zbl 1535.03211
On a generalized Fraïssé limit construction and its application to the Jiang-Su algebra. (English) Zbl 1485.03089
Automorphism groups of universal diversities. (English) Zbl 1471.54015
Reviewer: K. P. Hart (Delft)
Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT. (English) Zbl 1460.68099
Amalgamation and Ramsey properties of \(L_p\) spaces. (English) Zbl 1465.46013
Reviewer: Gilles Godefroy (Paris)
Universal decomposed Banach spaces. (English) Zbl 1457.46012
Reviewer: Jesús M. F. Castillo (Badajoz)
Coherent extension of partial automorphisms, free amalgamation and automorphism groups. (English) Zbl 1477.03124
Embeddings between well-orderings: computability-theoretic reductions. (English) Zbl 1479.03008
Reviewer: Paul Shafer (Leeds)
Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games. (English) Zbl 1436.68154
Two Fraïssé-style theorems for homomorphism-homogeneous relational structures. (English) Zbl 1429.05141
On distinguishing sets of structures by first-order sentences of minimal quantifier rank. (English) Zbl 1434.03090
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 189-208 (2019).
Dynamical simplices and Fraïssé theory. (English) Zbl 1432.37014
Reviewer: Antonio Linero Bas (Murcia)
Countable models of the theories of Baldwin-Shi hypergraphs and their regular types. (English) Zbl 1468.03036
Disjoint \(n\)-amalgamation and pseudofinite countably categorical theories. (English) Zbl 1529.03200
On optimal representatives of finite coloured linear orders. (English) Zbl 1444.06001
Reviewer: Keith Kearnes (Boulder)
Big Ramsey degrees and topological dynamics. (English) Zbl 1410.37013
Reviewer: Thomas B. Ward (Leeds)
Relating structure and power: comonadic semantics for computational resources. (English) Zbl 1509.03098
Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 2, 17 p. (2018).
A Fraïssé approach to the Poulsen simplex. (English) Zbl 1448.46013
Friedman, Sy-David (ed.) et al., Sets and computations. Hackensack, NJ: World Scientific. Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 33, 11-24 (2018).
Generic variations and NTP\(_1\). (English) Zbl 1522.03113
MSC:
03C45
On 0, 1-laws and asymptotics of definable sets in geometric Fraïssé classes. (English) Zbl 1385.03038
Reviewer: Vera Koponen (Uppsala)
Betweenness relations in a categorical setting. (English) Zbl 1386.18031
Reviewer: Victor V. Pambuccian (Phoenix)
MSC:
18D35
Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs. (English) Zbl 1367.05104
Metrical universality for groups. (English) Zbl 1375.22001
Forum Math. 29, No. 4, 847-872 (2017); erratum ibid. 32, No. 6, 1649-1654 (2020).
Reviewer: Miroslav Repický (Košice)
Metrically universal abelian groups. (English) Zbl 1366.22001
Reviewer: Miroslav Repický (Košice)
Thick, syndetic, and piecewise syndetic subsets of Fraïssé structures. (English) Zbl 1376.37029
Reviewer: Alicia Santiago Santos (Oaxaca)
Universal and homogeneous structures on the Urysohn and Gurarij spaces. (English) Zbl 1391.46010
Reviewer: Gilles Godefroy (Paris)
Non-homogenizable classes of finite structures. (English) Zbl 1370.03048
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 16, 16 p. (2016).
MSC:
03C13
The lattice of definable equivalence relations in homogeneous \(n\)-dimensional permutation structures. (English) Zbl 1353.05007
MSC:
05A05
On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry. (English) Zbl 1417.03230
Fraïssé limits of \(C^*\)-algebras. (English) Zbl 1383.03046
Reviewer: Alessandro Vignati (Toronto)
Uniqueness, universality, and homogeneity of the noncommutative Gurarij space. (English) Zbl 1348.46058
Reviewer: Alessandro Vignati (Toronto)
Topological dynamics of automorphism groups, ultrafilter combinatorics, and the generic point problem. (English) Zbl 1359.37024
Laver and set theory. (English) Zbl 1521.03179
Universial structures with forbidden homomorphisms. (English) Zbl 1429.03133
Hirvonen, Åsa (ed.) et al., Logic without borders. Essays on set theory, model theory, philosophical logic and philosophy of mathematics. Ontos Mathematical Logic 5. Berlin: De Gruyter. 241-264 (2015).
A survey on structural Ramsey theory and topological dynamics with the Kechris-Pestov-Todorcevic correspondence in mind. (English) Zbl 1461.05232
Kurilić, Miloš (ed.) et al., Selected topics in combinatorial analysis. Beograd: Matematički Institut SANU. Zb. Rad. (Beogr.) 17(25), 189-207 (2015).
On relative extreme amenability. (English) Zbl 1348.54035
Reviewer: Juan Luis García Guirao (Cartagena)
Retracts of ultrahomogeneous structures in the context of Katětov functors. (English) Zbl 1347.03067
Non-universality of automorphism groups of uncountable ultrahomogeneous structures. (English) Zbl 1347.54053
Separating regular languages with first-order logic. (English) Zbl 1401.68165
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 75, 10 p. (2014).
Filter Results by …
Document Type
- Journal Articles (194)
- Collection Articles (42)
- Books (7)
all
top 5
Author
- Shelah, Saharon (14)
- Väänänen, Jouko Antero (11)
- Hyttinen, Tapani (7)
- Dolinka, Igor (5)
- Doucha, Michal (5)
- Kwiatkowska, Aleksandra (5)
- Nguyen Van Thé, Lionel (5)
- Immerman, Neil (4)
- Lupini, Martino (4)
- Mašulović, Dragan (4)
- Sokić, Miodrag (4)
- Stewart, Iain A. (4)
- Zucker, Andy (4)
- Alves Rocha, Thiago (3)
- Blanchet-Sadri, Francine (3)
- Fagin, Ronald (3)
- Garbulińska-Węgrzyn, Joanna (3)
- Hill, Cameron Donnay (3)
- Kechris, Alexander S. (3)
- Kennedy, Juliette Cara (3)
- Kubiś, Wiesław (3)
- Lipparini, Paolo (3)
- Lotfallah, Wafik Boulos (3)
- Martins, Ana Teresa (3)
- Montalbán, Antonio (3)
- Mwesigye, Feresiano (3)
- Nurmonen, Juha (3)
- Otto, Martin (3)
- Pourmahdian, Massoud (3)
- Solecki, Sławomir (3)
- Todorcevic, Stevo B. (3)
- Truss, John Kenneth (3)
- Abramsky, Samson (2)
- Banakh, Taras Onufrievich (2)
- Bartošová, Dana (2)
- Braunfeld, Samuel (2)
- Camerlo, Riccardo (2)
- Cameron, Peter Jephson (2)
- Crane, Harry (2)
- Droste, Manfred (2)
- Fouché, Willem Louw (2)
- Fournier, Hervé (2)
- Göbel, Rüdiger (2)
- Gomaa, Walid E. (2)
- Grädel, Erich (2)
- Guingona, Vincent (2)
- Gurevich, Yuri (2)
- Hella, Lauri T. (2)
- Henson, C. Ward (2)
- Huuskonen, Taneli (2)
- Irwin, Trevor L. (2)
- Jacelon, Bhishan (2)
- Keisler, Howard Jerome (2)
- Kreidler, Martin (2)
- Krynicki, Michał Marian (2)
- Lopez-Abad, Jordi (2)
- Martins Ferreira, Francicleber (2)
- Masumoto, Shuhei (2)
- Mekler, Alan H. (2)
- Melleray, Julien (2)
- Pestov, Vladimir G. (2)
- Place, Thomas (2)
- Seese, Detlef G. (2)
- Shah, Nihil (2)
- Siniora, Daoud (2)
- Spencer, Joel H. (2)
- St. John, Katherine (2)
- Szeptycki, Paul J. (2)
- Tent, Katrin (2)
- Towsner, Henry (2)
- Tuuri, Heikki (2)
- Vignati, Alessandro (2)
- Weis, Philipp (2)
- Yamamoto, Kentaro (2)
- Zeitoun, Marc (2)
- Addison, J. W. (1)
- Ajtai, Miklós (1)
- Andersson, Anders (1)
- Atserias, Albert (1)
- Badia, Guillermo (1)
- Balchev, Stanislav (1)
- Barbina, Silvia (1)
- Basso, Gianluca (1)
- Baudisch, Andreas (1)
- Beckmann, Arnold (1)
- Ben-Yaacov, Itaï (1)
- Bilge, Doǧan (1)
- Bissell-Siders, Ryan (1)
- Blumensath, Achim (1)
- Bonato, Anthony (1)
- Bosse, Uwe (1)
- Boudabbous, Youssef (1)
- Brown, Jason Ira (1)
- Bruno, Jorge L. (1)
- Bryant, David (1)
- Calderoni, Filippo (1)
- Cantier, Laurent (1)
- Caramello, Olivia (1)
- Carnielli, Walter Alexandre (1)
- Casanovas, Enrique (1)
- and 149 more Authors
all
top 5
Serial
- J. Symb. Log. (27)
- Ann. Pure Appl. Logic (15)
- Arch. Math. Logic (9)
- Math. Log. Q. (8)
- Fundam. Math. (7)
- Trans. Am. Math. Soc. (7)
- J. Algebra (6)
- Theor. Comput. Sci. (5)
- Topology Appl. (5)
- Order (5)
- Forum Math. (5)
- Notre Dame J. Formal Logic (4)
- Eur. J. Comb. (4)
- Log. Methods Comput. Sci. (4)
- Adv. Math. (3)
- Bull. Lond. Math. Soc. (3)
- J. Comb. Theory, Ser. A (3)
- Z. Math. Logik Grundlagen Math. (3)
- Inf. Comput. (3)
- Electron. J. Comb. (3)
- Log. J. IGPL (3)
- Discrete Appl. Math. (2)
- Discrete Math. (2)
- Inf. Process. Lett. (2)
- J. Log. Comput. (2)
- J. Logic Lang. Inf. (2)
- Contrib. Discrete Math. (2)
- Log. Univers. (2)
- Banach J. Math. Anal. (2)
- Commun. Algebra (1)
- Comput. Math. Appl. (1)
- Isr. J. Math. (1)
- J. Math. Anal. Appl. (1)
- Math. Proc. Camb. Philos. Soc. (1)
- Stud. Math. (1)
- Bull., Cl. Sci. Math. Nat., Sci. Math. (1)
- Algebra Logic (1)
- Algebra Univers. (1)
- Ars Comb. (1)
- Colloq. Math. (1)
- Demonstr. Math. (1)
- Diss. Math. (1)
- J. Lond. Math. Soc., II. Ser. (1)
- J. Pure Appl. Algebra (1)
- Manuscr. Math. (1)
- Math. Nachr. (1)
- Mem. Am. Math. Soc. (1)
- Pac. J. Math. (1)
- Proc. Am. Math. Soc. (1)
- Proc. Edinb. Math. Soc., II. Ser. (1)
- Proc. Lond. Math. Soc. (3) (1)
- Publ. Inst. Math., Nouv. Sér. (1)
- Real Anal. Exch. (1)
- Result. Math. (1)
- Stud. Log. (1)
- Ergodic Theory Dyn. Syst. (1)
- Combinatorica (1)
- Random Struct. Algorithms (1)
- Int. J. Algebra Comput. (1)
- Sib. Adv. Math. (1)
- Geom. Funct. Anal. (1)
- Bull. Symb. Log. (1)
- Theory Appl. Categ. (1)
- Dokl. Math. (1)
- Theory Comput. Syst. (1)
- Sci. Bull., Ser. A, Appl. Math. Phys., Politeh. Univ. Buchar. (1)
- J. Math. Log. (1)
- Lobachevskii J. Math. (1)
- J. UCS (1)
- Sci. Math. Jpn. (1)
- J. Appl. Log. (1)
- Sarajevo J. Math. (1)
- Seminarber., Humboldt-Univ. Berlin, Sekt. Math. (1)
- Lect. Notes Log. (1)
- Upps. Diss. Math. (1)
- Groups Geom. Dyn. (1)
- Rev. Symb. Log. (1)
- Adv. Oper. Theory (1)
all
top 5
Year of Publication
- 2024 (3)
- 2023 (11)
- 2022 (6)
- 2021 (10)
- 2020 (17)
- 2019 (11)
- 2018 (10)
- 2017 (8)
- 2016 (9)
- 2015 (12)
- 2014 (7)
- 2013 (9)
- 2012 (13)
- 2011 (3)
- 2010 (4)
- 2009 (6)
- 2008 (7)
- 2007 (8)
- 2006 (4)
- 2005 (3)
- 2004 (7)
- 2003 (6)
- 2002 (2)
- 2001 (4)
- 2000 (3)
- 1999 (6)
- 1998 (2)
- 1997 (9)
- 1996 (7)
- 1995 (5)
- 1994 (3)
- 1993 (8)
- 1992 (4)
- 1991 (1)
- 1990 (4)
- 1989 (3)
- 1987 (1)
- 1986 (1)
- 1985 (1)
- 1983 (2)
- 1982 (1)
- 1981 (1)
- 1979 (1)