Zobrazeno 1 - 10
of 132
pro vyhledávání: '"P. Lyczak"'
Autor:
Łyczak, Marcin
We introduce syntactic modal operator $\BOX$ for \textit{being a thesis} into first-order logic. This logic is a modern realization of R. Carnap's old ideas on modality, as logical necessity (J. Symb. Logic, 1946) \cite{Ca46}. We place it within the
Externí odkaz:
http://arxiv.org/abs/2406.16133
Autor:
Łyczak, Marcin
\textit{Mereological fusion}, also known as \textit{composition} and \textit{sum}, was originally used by me as a primitive notion to axiomatize \textit{Extensional Mereology} wih \textit{atoms} in \cite{Ly22}. Here, I extend this idea to axiomatize
Externí odkaz:
http://arxiv.org/abs/2312.15381
We study the integral Brauer--Manin obstruction for affine diagonal cubic surfaces, which we employ to construct the first counterexamples to the integral Hasse principle in this setting. We then count in three natural ways how such counterexamples a
Externí odkaz:
http://arxiv.org/abs/2311.10008
Autor:
Łyczak, Marcin
Atomism is the view that everything is composed of atoms. The view within the framework of the contemporary formal approach is expressed on the ground of mereology with the use of the primitive notion of being a part as every object has at least one
Externí odkaz:
http://arxiv.org/abs/2310.15087
Given a family of varieties over the projective line, we study the density of fibres that are everywhere locally soluble in the case that components of higher multiplicity are allowed. We use log geometry to formulate a new sparsity criterion for the
Externí odkaz:
http://arxiv.org/abs/2310.01135
Publikováno v:
Involve 16 (2023) 331-342
We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface.
Comment: 11 pages
Comment: 11 pages
Externí odkaz:
http://arxiv.org/abs/2203.06881
Autor:
Lyczak, Julian, Sarapin, Roman
We study arithmetic properties of del Pezzo surfaces of degree 4 for which the Brauer group has the largest possible order using different fibrations into curves. We show that if such a surface admits a conic fibration, then it always has a rational
Externí odkaz:
http://arxiv.org/abs/2110.13687
Autor:
Gubela, Nils, Lyczak, Julian
We complete the study of points of bounded height on irreducible non-normal cubic surfaces by doing the point count on the cubic surface $W$ given by $t_0^2 t_2 = t_1^2 t_3$ over any number field. We show that the order of growth agrees with a conjec
Externí odkaz:
http://arxiv.org/abs/2011.14466
Autor:
Lyczak, Julian
We construct families of log K3 surfaces and study the arithmetic of their members. We use this to produce explicit surfaces with an order 5 Brauer-Manin obstruction to the integral Hasse principle.
Comment: 18 pages; comments welcome
Comment: 18 pages; comments welcome
Externí odkaz:
http://arxiv.org/abs/2005.14013
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.