×

Found 104 Documents (Results 1–100)

On strong determinacy of countable stochastic games. (English) Zbl 1452.91028

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 74, 12 p. (2017).
PDFBibTeX XMLCite
Full Text: arXiv Link

Quasi-analyticity and determinacy of the full moment problem from finite to infinite dimensions. (English) Zbl 1508.44003

Bernido, Christopher C. (ed.) et al., Stochastic and infinite dimensional analysis. Collected papers based on the presentations at the conference, Bielefeld, Germany, June 2013. Basel: Birkhäuser/Springer. Trends Math., 161-194 (2016).
MSC:  44A60 26E10 28C05
PDFBibTeX XMLCite
Full Text: DOI arXiv

How unprovable is Rabin’s decidability theorem? (English) Zbl 1394.03016

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 788-797 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy. (English) Zbl 1460.91031

Hajiaghayi, Mohammad Taghi (ed.) et al., Topics in theoretical computer science. The first IFIP WG 1.8 international conference, TTCS 2015, Tehran, Iran, August 26–28, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9541, 147-163 (2016).
MSC:  91A18 03E15 03E60
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

What are strategies in delay games? Borel determinacy for games with lookahead. (English) Zbl 1434.03123

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 41, 519-533 (2015).
MSC:  03E60 91A44
PDFBibTeX XMLCite
Full Text: DOI arXiv

Infinite sequential games with real-valued payoffs. (English) Zbl 1401.91028

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. 62, 10 p. (2014).
MSC:  91A20 03E60 91A10
PDFBibTeX XMLCite
Full Text: DOI Link

A simple indeterminate infinite game. (English) Zbl 1344.03042

Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 205-211 (2014).
PDFBibTeX XMLCite

Homogeneous trees and projective scales. (English) Zbl 1242.03075

Kechris, Alexander S. (ed.) et al., Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76203-8/hbk). Lecture Notes in Logic 37, 270-303 (2012).
MSC:  03E60 03E15
PDFBibTeX XMLCite

The axiom of determinacy, strong partition properties and nonsingular measures. (English) Zbl 1159.03326

Kechris, Alexander S. (ed.) et al., Games, scales, and Suslin cardinals. The Cabal Seminar, Vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-89951-2/hbk). Lecture Notes in Logic 31, 333-354 (2008).
PDFBibTeX XMLCite

Suslin cardinals, \(\kappa\)-Suslin sets and the scale property in the hyperprojective hierarchy. (English) Zbl 1159.03324

Kechris, Alexander S. (ed.) et al., Games, scales, and Suslin cardinals. The Cabal Seminar, Vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-89951-2/hbk). Lecture Notes in Logic 31, 314-332 (2008).
MSC:  03E60 03E15
PDFBibTeX XMLCite

Complete determinacy and subsystems of second order arithmetic. (English) Zbl 1142.03370

Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 457-466 (2008).
MSC:  03F35 03E60 91A44
PDFBibTeX XMLCite
Full Text: DOI

Determinacy in second order arithmetic. (English) Zbl 1151.03030

Bold, Stefan (ed.) et al., Foundations of the formal sciences V. Infinite games. Papers of the 5th conference, FotFS V, Bonn, Germany, November 26–29, 2004. London: King’s College Publications (ISBN 978-1-904987-75-8/pbk). Studies in Logic (London) 11, 143-155 (2007).
MSC:  03F35 03E60 91A44
PDFBibTeX XMLCite

The SLO principle and the Wadge hierarchy. (English) Zbl 1151.03023

Bold, Stefan (ed.) et al., Foundations of the formal sciences V. Infinite games. Papers of the 5th conference, FotFS V, Bonn, Germany, November 26–29, 2004. London: King’s College Publications (ISBN 978-1-904987-75-8/pbk). Studies in Logic (London) 11, 1-38 (2007).
PDFBibTeX XMLCite

Path formulation for \(\mathbb Z_2\oplus\mathbb Z_2\)-equivariant bifurcation problems. (English) Zbl 1128.58020

Brasselet, Jean-Paul (ed.) et al., Real and complex singularities, São Carlos workshop 2004. Papers of the 8th workshop, Marseille, France, July 19–23, 2004. Basel: Birkhäuser (ISBN 3-7643-7775-5/hbk). Trends in Mathematics, 127-141 (2007).
PDFBibTeX XMLCite

Determinacy of games. (English) Zbl 1123.03045

Katok, Svetlana (ed.) et al., MASS selecta: teaching and learning advanced undergraduate mathematics. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3363-4/hbk). 289-292 (2003).
MSC:  03E60 91A44
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Software