Get started
Author

Björn Lindheim

Observed name: Lindheim, Björn
OpenAlex ID: A5160237253
A complete calculus for the ℒ-general models of the ontological argument
2026 · Lindheim, Björn · Zenodo (CERN European Organization for Nuclear Research)
Gödel's lemma L under the rigid reading, with no condition on positivity
2026 · Lindheim, Björn · Zenodo (CERN European Organization for Nuclear Research)
From Lean proofs to certified derivations in the ontological embedding
2026 · Lindheim, Björn · Zenodo (CERN European Organization for Nuclear Research)
Nominal-free proofs of the theorems Benzmüller's detector flags
2026 · Lindheim, Björn · Zenodo (CERN European Organization for Nuclear Research)
Works count: 4
Citation count:
H-index:
I10-index:
Year
Topic
Type