Results 41 to 50 of about 695,402 (315)
On some peculiar aspects of the constructive theory of point-free spaces
, 2010 This paper presents several independence results concerning the topos-valid and the intuitionistic (generalized) predicative theories of locales. In particular, certain consequences of the consistency of a general form of Troelstra's uniformity principle
Blass, Gutierres, Herrlich
core +1 more source
Curves on torus layers and coding for continuous alphabet sources [PDF]
, 2012 In this paper we consider the problem of transmitting a continuous alphabet discrete-time source over an AWGN channel. The design of good curves for this purpose relies on geometrical properties of spherical codes and projections of $N$-dimensional ...
Campello, Antonio +2 more
core +1 more source
A constructive theory of point-set nearness
Theoretical Computer Science, 2003 The authors formulate an axiomatic introduction to the classical theory of nearness spaces [see e.g. \textit{S. A. Naimpally} and \textit{B. D. Warrack}, Proximity spaces (Cambridge Tracts in Mathematics and Mathematical Physics 59, Cambridge University Press, London) (1970; Zbl 0206.24601)].
Vîţă, L.S., Bridges, D.S.
openaire +1 more source
PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES [PDF]
, 2005 AbstractThis chapter introduces new kinds of models for constructive set theories based on categories of presheaves. It concentrates on categories of classes rather than sets, following the lines of algebraic set theory. It defines a general notion of what is a categorical model for CST, and shows that categories of presheaves provide examples of such ...
openaire +3 more sources
Formazione & Insegnamento, 2023 This contribution assesses the entrepreneurship competence that students cultivated during an interfaculty and innovative initiative grounded on Google Design Sprint methodology.
Daniele Morselli, Guido Orzes
doaj +1 more source
Type theories, toposes and constructive set theory: predicative aspects of AST
Annals of Pure and Applied Logic, 2002 The correlation between type theories and categorical structures (e.g., simply-typed lambda calculus and Cartesian closed categories) is very significant in categorical logic. The categorical counterpart of higher-order intuitionistic logic is topos theory, which is essentially impredicative in nature.
Moerdijk, Ieke, Palmgren, Erik
openaire +3 more sources
Molecular bases of circadian magnesium rhythms across eukaryotes
FEBS Letters, EarlyView.Circadian rhythms in intracellular [Mg2+] exist across eukaryotic kingdoms. Central roles for Mg2+ in metabolism suggest that Mg2+ rhythms could regulate daily cellular energy and metabolism. In this Perspective paper, we propose that ancestral prokaryotic transport proteins could be responsible for mediating Mg2+ rhythms and posit a feedback model ...
Helen K. Feord, Gerben van Ooijen
wiley +1 more source
Set Theory, Dynamism, and the Event: Reinjecting Time into the Foundations of Mathematics
Axioms, 2022 This article concentrates on exploring the relevance of the postmodernist concept of the event to mathematical philosophy and the foundations of mathematics.
Said Mikki
doaj +1 more source
Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories
, 2016 Godel's First Incompleteness Theorem is generalized to definable theories, which are not necessarily recursively enumerable, by using a couple of syntactic-semantic notions, one is the consistency of a theory with the set of all true $\Pi_n$-sentences or
Salehi, Saeed, Seraji, Payam
core +1 more source
Inaccessibility in constructive set theory and type theory
Annals of Pure and Applied Logic, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rathjen, Michael +2 more
openaire +1 more source