The cake is in a #Paraconsistent, #NonClassical state.
en.wikipedia.org/wiki/Newton_...
#NewtonDaCosta #ParaconsistentLogic #NonClassicalLogic #QuasiTruth #PartialTruth #BrazilianPhilosophy #FormalLogic #PhilosophyOfScience #ModelTheory #FoundationsOfMathematics
en.wikipedia.org/wiki/Newton_...
#NewtonDaCosta #ParaconsistentLogic #NonClassicalLogic #QuasiTruth #PartialTruth #BrazilianPhilosophy #FormalLogic #PhilosophyOfScience #ModelTheory #FoundationsOfMathematics
Newton da Costa - Wikipedia
en.wikipedia.org
September 7, 2026 at 4:03 AM
descriptive-complexity is a Lean 4 library I developed to formalize complexity classes and prove hardness results with no computation model: a class is a logic, a completeness proof is a definability witness plus a first-order reduction. Karp's 21 problems are all there.
github.com/PierreSenell...
github.com/PierreSenell...
GitHub - PierreSenellart/descriptive-complexity: A Lean 4 library for descriptive complexity: FO reductions and SO-defined polynomial hierarchy, on top of Mathlib's ModelTheory
A Lean 4 library for descriptive complexity: FO reductions and SO-defined polynomial hierarchy, on top of Mathlib's ModelTheory - PierreSenellart/descriptive-complexity
github.com
July 27, 2026 at 2:40 PM
descriptive-complexity is a Lean 4 library I developed to formalize complexity classes and prove hardness results with no computation model: a class is a logic, a completeness proof is a definability witness plus a first-order reduction. Karp's 21 problems are all there.
github.com/PierreSenell...
github.com/PierreSenell...
New at #SEP: First-order Model Theory https://plato.stanford.edu/entries/modeltheory-fo/
January 25, 2024 at 6:31 PM
New at #SEP: First-order Model Theory https://plato.stanford.edu/entries/modeltheory-fo/
A Lean 4 library for descriptive complexity. ~ Pierre Senellart. github.com/PierreSenell... #LeanProver #ITP
GitHub - PierreSenellart/descriptive-complexity: A Lean 4 library for descriptive complexity: FO reductions and SO-defined polynomial hierarchy, on top of Mathlib's ModelTheory
A Lean 4 library for descriptive complexity: FO reductions and SO-defined polynomial hierarchy, on top of Mathlib's ModelTheory - PierreSenellart/descriptive-complexity
github.com
July 28, 2026 at 5:42 AM
A Lean 4 library for descriptive complexity. ~ Pierre Senellart. github.com/PierreSenell... #LeanProver #ITP
Very excited about this new preprint with Kyle Gannon and Krzysztof Krupinski!
"Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture"
arxiv.org/abs/2406.00912
#ModelTheory #math
"Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture"
arxiv.org/abs/2406.00912
#ModelTheory #math
Definable convolution and idempotent Keisler measures III. Generic...
We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and demonstrate that it is...
arxiv.org
June 5, 2024 at 8:24 PM
Very excited about this new preprint with Kyle Gannon and Krzysztof Krupinski!
"Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture"
arxiv.org/abs/2406.00912
#ModelTheory #math
"Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture"
arxiv.org/abs/2406.00912
#ModelTheory #math
The truth is in a #Paraconsistent, #NonClassical state.
en.wikipedia.org/wiki/Newton_...
#NewtonDaCosta #ParaconsistentLogic #NonClassicalLogic #QuasiTruth #PartialTruth #BrazilianPhilosophy #FormalLogic #PhilosophyOfScience #ModelTheory #FoundationsOfMathematics
bsky.app/profile/math...
en.wikipedia.org/wiki/Newton_...
#NewtonDaCosta #ParaconsistentLogic #NonClassicalLogic #QuasiTruth #PartialTruth #BrazilianPhilosophy #FormalLogic #PhilosophyOfScience #ModelTheory #FoundationsOfMathematics
bsky.app/profile/math...
September 7, 2026 at 4:06 AM
¿Dónde se traza la línea entre estructuras matemáticas “simples” y “complejas”? A la 13:00, Julia Wolf @cambridgemaths.bsky.social habla de ello en el #ICMAT. También puede seguirse en us02web.zoom.us/j/8539085639...
#Matemáticas #ICMAT #ModelTheory
#Matemáticas #ICMAT #ModelTheory
February 6, 2026 at 11:53 AM
¿Dónde se traza la línea entre estructuras matemáticas “simples” y “complejas”? A la 13:00, Julia Wolf @cambridgemaths.bsky.social habla de ello en el #ICMAT. También puede seguirse en us02web.zoom.us/j/8539085639...
#Matemáticas #ICMAT #ModelTheory
#Matemáticas #ICMAT #ModelTheory