Zobrazeno 1 - 10
of 206
pro vyhledávání: '"Aguilera, Juan P."'
Autor:
Roussel, Ryan, Gonzalez-Aguilera, Juan Pablo, Edelen, Auralee, Wisniewski, Eric, Ody, Alex, Liu, Wanming, Kim, Young-Kee, Power, John
Next-generation accelerator concepts which hinge on the precise shaping of beam distributions, demand equally precise diagnostic methods capable of reconstructing beam distributions within 6-dimensional position-momentum spaces. However, the characte
Externí odkaz:
http://arxiv.org/abs/2404.10853
Autor:
Kim, Seongyeol, Gonzalez-Aguilera, Juan Pablo, Piot, Philippe, Chen, Gongxiaohui, Doran, Scott, Kim, Young-Kee, Liu, Wanming, Whiteford, Charles, Wisniewski, Eric, Edelen, Auralee, Roussel, Ryan, Power, John
Beams with cross-plane coupling or extreme asymmetries between the two transverse phase spaces are often encountered in particle accelerators. Flat beams with large transverse-emittance ratios are critical for future linear colliders. Similarly, magn
Externí odkaz:
http://arxiv.org/abs/2402.18244
Autor:
Aguilera, Juan Pablo, Pakhomov, Fedor
For each $n\in\mathbb{N}$, let $[n]\phi$ mean "the sentence $\phi$ is true in all $\Sigma_{n+1}$-correct transitive sets." Assuming G\"odel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of formulas
Externí odkaz:
http://arxiv.org/abs/2402.15382
We study the question of when a given countable ordinal $\alpha$ is $\Sigma^1_n$- or $\Pi^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove, amongst other
Externí odkaz:
http://arxiv.org/abs/2311.12533
We investigate a version of linear temporal logic whose propositional fragment is G\"odel-Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy logic). We define the logic using two natural semantics: first a real-
Externí odkaz:
http://arxiv.org/abs/2306.15805
Autor:
Roussel, Ryan, Edelen, Auralee, Mayes, Christopher, Ratner, Daniel, Gonzalez-Aguilera, Juan Pablo, Kim, Seongyeol, Wisniewski, Eric, Power, John
Characterizing the phase space distribution of particle beams in accelerators is a central part of accelerator understanding and performance optimization. However, conventional reconstruction-based techniques either use simplifying assumptions or req
Externí odkaz:
http://arxiv.org/abs/2209.04505
Publikováno v:
Principles of Knowledge Representation and Reasoning, Proceedings of the 19th International Conference (August 2022) 2-11
We consider G\"odel temporal logic ($\sf GTL$), a variant of linear temporal logic based on G\"odel--Dummett propositional logic. In recent work, we have shown this logic to enjoy natural semantics both as a fuzzy logic and as a superintuitionistic l
Externí odkaz:
http://arxiv.org/abs/2205.05182
Publikováno v:
Workshop on Logic, Language, Information, and Computation (WoLLIC), proceedings of the 28th International Workshop (September 2022), pp. 18-35
We investigate a non-classical version of linear temporal logic whose propositional fragment is G\"odel--Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy logic). We define the logic using two natural semantics
Externí odkaz:
http://arxiv.org/abs/2205.00574
Autor:
Aguilera, Juan P., Pakhomov, Fedor
We develop the abstract framework for a proof-theoretic analysis of theories with scope beyond ordinal numbers, resulting in an analog of Ordinal Analysis aimed at the study of theorems of complexity $\Pi^1_2$. This is done by replacing the use of or
Externí odkaz:
http://arxiv.org/abs/2109.11652
Autor:
Roussel, Ryan, Gonzalez-Aguilera, Juan Pablo, Kim, Young-Kee, Wisniewski, Eric, Liu, Wanming, Piot, Philippe, Power, John, Hanuka, Adi, Edelen, Auralee
Particle accelerators are invaluable discovery engines in the chemical, biological and physical sciences. Characterization of the accelerated beam response to accelerator input parameters is of-ten the first step when conducting accelerator-based exp
Externí odkaz:
http://arxiv.org/abs/2106.09202