Search Results - "Dinis, Bruno"

Stateful Realizers for Nonstandard Analysis by Dinis, Bruno, Miquey, Étienne

“…In this paper we propose a new approach to realizability interpretations for nonstandard arithmetic. We deal with nonstandard analysis in the context of…”
Get full text

Assemblies as semigroups by Dardano, Ulderico, Dinis, Bruno, Terzo, Giuseppina

“…In this paper we give an algebraic characterization of assemblies in terms of bands of groups. We also consider substructures and homomorphisms of assemblies…”
Get full text

On the convergence of algorithms with Tikhonov regularization terms by Dinis, Bruno, Pinto, Pedro

“…We consider the strongly convergent modified versions of the Krasnosel’skiĭ-Mann, the forward-backward and the Douglas-Rachford algorithms with Tikhonov…”
Get full text

A Theory of Marginal and Large Difference by Dinis, Bruno, Jacinto, Bruno

“…Abstract We propose a new theory based on the notions of marginal and large difference which has natural models in the context of nonstandard mathematics. We…”
Get full text

A parametrised functional interpretation of Heyting arithmetic by Dinis, Bruno, Oliva, Paulo

“…This paper presents an abstract parametrised functional interpretation of WE-HAω. It is based on families of parameters allowing for different degrees of…”
Get full text

Hardwiring truth in functional interpretations by Dinis, Bruno, Gaspar, Jaime

“…We present four different approaches to prove the soundness theorem for variants with t-truth of functional interpretations. To showcase our different methods…”
Get full text

Strolling through common meadows by Dias, João, Dinis, Bruno

“…This paper establishes a connection between rings, lattices and common meadows. Meadows are commutative and associative algebraic structures with two…”
Get full text

Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic by Dinis, Bruno, Ferreira, Fernando

“…We show how to interpret weak Kőnig's lemma in some recently defined theories of nonstandard arithmetic in all finite types. Two types of interpretations are…”
Get full text

Interpreting weak Knig's lemma in theories of nonstandard arithmetic by Dinis, Bruno, Ferreira, Fernando

“…We show how to interpret weak Knig's lemma in some recently defined theories of nonstandard arithmetic in all finite types. Two types of interpretations are…”
Get full text

Fundamental group in o-minimal structures with definable Skolem functions by Dinis, Bruno, Edmundo, Mário J., Mamino, Marcello

“…In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and prove that definably connected, locally definable manifolds are…”
Get full text

On the quotient class of non-archimedean fields by Dinis, Bruno, van den Berg, Imme

“…The quotient class of a non-archimedean field is the set of cosets with respect to all of its additive convex subgroups. The algebraic operations on the…”
Get full text

Solution-Based Deposition of Bare Au Nanostructures onto H-Terminated Si and Wet-Etching of Si Wafers for Optoelectronics by Bruno, Dinis Pinto Rosa

“…In this work, we fabricated and studied wet chemically thinned Hterminated silicon substrates decorated with plasmonic AuNPs. The goal of this research was to…”
Get full text

Axiomatics for the external numbers of nonstandard analysis by Dinis, Bruno, Van den Berg, Imme

Get full text

Flasque Meadows by Dias, João, Dinis, Bruno

“…In analogy with flasque sheaves, we introduce the notion of flasque meadow as a common meadow where the transition maps are all surjective. We study some…”
Get full text

Artinian Meadows by Dias, João, Dinis, Bruno

“…We introduce the notion of Artinian meadow as an algebraic structure constructed from an Artinian ring which is also a common meadow, i.e.\ a commutative and…”
Get full text

Towards an Enumeration of Finite Common Meadows by Dias, João, Dinis, Bruno

“…Common meadows are commutative and associative algebraic structures with two operations (addition and multiplication) with additive and multiplicative…”
Get full text

Strolling through common meadows by Dias, João, Dinis, Bruno

“…Meadows are a sort of commutative rings with a multiplicative identity element and a total multiplicative inverse operation. In this paper we study algebraic…”
Get full text

On Flexible Sequences by Dinis, Bruno, Van Tran, Nam, Berg, Imme van den

“…In the setting of nonstandard analysis, we introduce the notion of flexible sequence. The terms of flexible sequences are external numbers. These are a sort of…”
Get full text

Flexible involutive meadows by Dinis, Bruno, Bottazzi, Emanuele

“…We investigate a notion of inverse for neutrices inspired by Van den Berg and Koudjeti's decomposition of a neutrix as the product of a real number and an…”
Get full text

Stateful Realizers for Nonstandard Analysis by Dinis, Bruno, Miquey, Étienne

“…Logical Methods in Computer Science, Volume 19, Issue 2 (April 25, 2023) lmcs:10137 In this paper we propose a new approach to realizability interpretations…”
Get full text