×

Found 289 Documents (Results 1–100)

Strong forcing axioms and the continuum problem [after Asperó’s and Schindler’s proof that \(\mathrm{MM}^{++}\) implies Woodin’s axiom \((*)\)]. (Axiomes de forcing forts et l’hypothèse du continu [suivant la démonstration d’Asperó et Schindler que \(\mathrm{MM}^{++}\) entraîne l’axiome de Woodin \((*)\)].) (English) Zbl 07827471

Séminaire Bourbaki. Volume 2021/2022. Exposés 1197–1210. Paris: Société Mathématique de France (SMF). Astérisque 446, 383-416, Exp. No. 1207 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Identity-based encryption in DDH hard groups. (English) Zbl 1515.94054

Batina, Lejla (ed.) et al., Progress in cryptology – AFRICACRYPT 2022. 13th international conference on cryptology in Africa, AFRICACRYPT 2022, Fes, Morocco, July 18–20, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13503, 81-102 (2022).
MSC:  94A60 94A62
PDFBibTeX XMLCite
Full Text: DOI HAL

Evaluation and comparison of brute-force search and constrained optimization algorithms to solve the \(N\)-Queens problem. (English) Zbl 1512.90186

Castillo, Oscar (ed.) et al., New perspectives on hybrid intelligent system design based on fuzzy logic, neural networks and metaheuristics. Cham: Springer. Stud. Comput. Intell. 1050, 121-140 (2022).
MSC:  90C27 90C59
PDFBibTeX XMLCite
Full Text: DOI

First steps towards a formalization of forcing. (English) Zbl 1434.03029

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, 119-136 (2019).
MSC:  03B35 03E35 68V20
PDFBibTeX XMLCite
Full Text: DOI arXiv

What makes the continuum \(\aleph_2\). (English) Zbl 1423.03194

Caicedo, Andrés Eduardo (ed.) et al., Foundations of mathematics. Logic at Harvard. Essays in honor of W. Hugh Woodin’s 60th birthday. Proceedings of the Logic at Harvard conference, Harvard University, Cambridge, MA, USA, March 27–29, 2015. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 690, 259-287 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software