P. G. Santos

MaRDI QIDQ2070427zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reflexivity of \(\omega\)-consistency in a general setting Logica Universalis	2026-01-13	Paper
Numeral completeness of weak theories of arithmetic Journal of Logic and Computation	2025-10-15	Paper
General notions of consistency The Review of Symbolic Logic	2025-08-25	Paper
A new perspective on completeness and finitist consistency Journal Of Logic And Computation	2024-11-12	Paper
Paradoxes, intuitionism, and proof-theoretic semantics	2024-10-01	Paper
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY The Bulletin of Symbolic Logic	2022-03-01	Paper
\(k\)-provability in \(\mathrm{PA}\) Logica Universalis	2022-01-24	Paper
Endomorphisms of semigroups of order-preserving partial transformations Semigroup Forum	2019-11-07	Paper
Efficient analysis of sound propagation in sonic crystals using an ACA-MFS approach Engineering Analysis with Boundary Elements	2018-08-09	Paper
An ACA-MFS approach for the analysis of sound propagation in sonic crystals WIT Transactions on Modelling and Simulation	2016-06-10	Paper
Wave motion between two fluid-filled boreholes in an elastic medium Engineering Analysis with Boundary Elements	2002-07-03	Paper

Research outcomes over time

This page was built for person: P. G. Santos