A nonstandard treatment with quantities
A non-uniform finitary relational semantics of system T
We study iteration and recursion operators in the denotational semantics of typed λ-calculi derived from the multiset relational model of linear logic. Although these operators are defined as fixpoints of typed functionals, we prove them finitary in the sense of Ehrhard’s finiteness spaces.
A normal form for restricted exponential functions
A note about operations like (the weakest -norm) based addition on fuzzy intervals
We investigate a relation about subadditivity of functions. Based on subadditivity of functions, we consider some conditions for continuous -norms to act as the weakest -norm -based addition. This work extends some results of Marková-Stupňanová [15], Mesiar [18].
A note of a family of quasi-antiorders on semigroup
A note of definable skolem functions
A note on -algebras.
A note on a function representation of orthomodular posets
A note on a generalization of some undecidability results in group theory.
A note on a proof of Sherpherdson.
A note on a question of Abe
Assuming large cardinals, we show that every κ-complete filter can be generically extended to a V-ultrafilter with well-founded ultrapower. We then apply this to answer a question of Abe.
A note on a result of Buss concerning bounded theories and the collection scheme.
A Note on a Theorem of Lion
In this note we bind together Wilkie's complement theorem with Lion's theorem on geometric, regular and 0-regular families of functions.
A note on almost disjoint refinement
A note on “Atomic compactness in -categorical Horn theories” by John T. Baldwin
A note on automorphisms and partitions
A note on Boolean algebras
We show that splitting of elements of an independent family of infinite regular size will produce a full size independent set.
A note on bounded arithmetic
A note on ...-categorical model-companions.
A note on categories enriched in quantaloids and modal and temporal logic