Source author record

Filip D. Jevtić

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.HO math.LO math.MG

Catalog footprint

Research overview

2works

4topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Logic of the Ontological Argument

In his ontological argument Gödel says nothing about its underlying logic. The argument is modal and at least of second-order and since S5 axiom is used so it is widely accepted that the logic of the argument is the S5 second-order modal logic. However, there is a step in the proof in which Gödel applies the necessitation rule on the assumptions of the argument. This is repeated by all of his followers. This application of the necessitation rule can seriously harm the consequence relation of the logic of the ontological argument. It seems that the only way to preserve the modal logic S5 for the ontological argument is to assume some of its axioms in the necessitated form.

preprint2020arXiv

Generalized Tonnetz and discrete Abel-Jacobi map

Motivated by classical Euler's $Tonnetz$ , we introduce and study the combinatorics and topology of more general simplicial complexes $Tonn^{n,k}(L)$ of "Tonnetz type". Out main result is that for a sufficiently generic choice of parameters the generalized tonnetz $Tonn^{n,k}(L)$ is a triangulation of a $(k-1)$ -dimensional torus $T^{k-1}$ . In the proof we construct and use the properties of a "discrete Abel-Jacobi map", which takes values in the torus $T^{k-1} \cong \mathbb{R}^{k-1}/Λ$ where $Λ\cong \mathbb{A}^\ast_{k-1}$ is the permutohedral lattice.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.