Lorenz Halbeisen

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 10

Top Topics

Interactive Theorem Proving

Hidden Information

Hough Transform

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

J. Integer Seq.

Publications

Lorenz Halbeisen, Norbert Hungerbühler
A Worked out Galois Group for the Classroom. Am. Math. Mon. 131 (6) (2024)
Lorenz Halbeisen, Riccardo Plati, Saharon Shelah
Implications of Ramsey Choice principles in ZF $\mathsf {ZF}$. Math. Log. Q. 70 (2) (2024)
Lorenz Halbeisen, Salome Schumacher
Some implications of Ramsey Choice for families of $\varvec{n}$-element sets. Arch. Math. Log. 62 (5-6) (2023)
Jörg Brendle, Lorenz Halbeisen, Lukas Daniel Klausner, Marc Lischka, Saharon Shelah
Halfway new cardinal characteristics. Ann. Pure Appl. Log. 174 (9) (2023)
Lorenz Halbeisen, Riccardo Plati, Salome Schumacher, Saharon Shelah
Four cardinals and their relations in ZF. Ann. Pure Appl. Log. 174 (2) (2023)
Lorenz Halbeisen, Norbert Hungerbühler, Vanessa Loureiro
The Hidden Twin of Morley's Five Circles Theorem. Am. Math. Mon. 130 (10) (2023)
Lorenz Halbeisen, Eleftherios Tachtsis
On Ramsey choice and partial choice for infinite families of n-element sets. Arch. Math. Log. 59 (5-6) (2020)
Lorenz Halbeisen, Norbert Hungerbühler
Congruent Number Elliptic Curves Related to Integral Solutions of m2 = n2 + nl + n2. J. Integer Seq. 22 (3) (2019)
Lorenz Halbeisen
A weird relation between two cardinals. Arch. Math. Log. 57 (5-6) (2018)
Lorenz Halbeisen, Norbert Hungerbühler
A Simple Proof of Poncelet's Theorem (on the Occasion of Its Bicentennial). Am. Math. Mon. 122 (6) (2015)
Lorenz Halbeisen
Fans and Bundles in the Graph of Pairwise Sums and Products. Electron. J. Comb. 11 (1) (2004)
Lorenz Halbeisen
Making doughnuts of Cohen reals. Math. Log. Q. 49 (2) (2003)
Lorenz Halbeisen, Pierre Matet
A generalization of the Dual Ellentuck Theorem. Arch. Math. Log. 42 (2) (2003)
Lorenz Halbeisen
Can Kirkman's Schoolgirls Walk Abreast by Forming Arithmetic Progressions? Am. Math. Mon. 110 (3) (2003)
Lorenz Halbeisen, Pierre Matet
A Result in Dual Ramsey Theory. J. Comb. Theory, Ser. A 100 (2) (2002)
Lorenz Halbeisen, Saharon Shelah
Relations between some cardinals in the absence of the Axiom of Choice. Bull. Symb. Log. 7 (2) (2001)
Lorenz Halbeisen, Norbert Hungerbühler
On Periodic Billiard Trajectories in Obtuse Triangles. SIAM Rev. 42 (4) (2000)
Lorenz Halbeisen, Norbert Hungerbühler
Reconstruction of Weighted Graphs by their Spectrum. Eur. J. Comb. 21 (5) (2000)
Lorenz Halbeisen, Norbert Hungerbühler
Generation of isospectral graphs. J. Graph Theory 31 (3) (1999)
Lorenz Halbeisen
On Shattering, Splitting and Reaping Partitions. Math. Log. Q. 44 (1998)
Lorenz Halbeisen
Symmetries between two Ramsey properties. Arch. Math. Log. 37 (4) (1998)
Lorenz Halbeisen, Norbert Hungerbühler
Packings in Complete Graphs. Ars Comb. 48 (1998)
Lorenz Halbeisen, Haim Judah
Mathias Absoluteness and the Ramsey Property. J. Symb. Log. 61 (1) (1996)
Lorenz Halbeisen, Norbert Hungerbühler
The general counterfeit coin problem. Discret. Math. 147 (1-3) (1995)
Lorenz Halbeisen, Saharon Shelah
Consequences of Arithmetic for Set Theory. J. Symb. Log. 59 (1) (1994)