Results 51 to 60 of about 37,087 (168)

Quotient topologies in constructive set theory and type theory

Annals of Pure and Applied Logic, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ishihara, Hajime, Palmgren, Erik
openaire   +2 more sources

How Much Is Too Much Assessment? Insight into Assessment-Driven Student Learning Gains in Large-Scale Undergraduate Microbiology Courses

Journal of Microbiology & Biology Education, 2013
Designing and implementing assessment tasks in large-scale undergraduate science courses is a labor-intensive process subject to increasing scrutiny from students and quality assurance authorities alike.
Jack T. H. Wang, Mark A. Schembri, Roy A. Hall   +2 more
doaj   +1 more source

Multi-fuzzy Rough Sets based on Implicators and Continuous t-norms

Fuzzy Information and Engineering, 2017
This paper extends the study of multi-fuzzy rough sets using an implicator and a continuous t-norm and thus introduces multi-fuzzy rough sets based on fuzzy logical connectives.
Gayathri Varma, Sunil Jacob John
doaj   +1 more source

THE “BAROQUE SKYLINE” IN NAPLES. STRUCTURAL STUDIES ON 16TH AND 17TH CENTURY DOMES IN TERMS OF FORM AND STABILITY

Architecture and Engineering, 2020
Introduction: Walking through the streets of the historic center of Naples and taking a glance at the sky, you may notice that its skyline is determined by the countless peculiar architectural elements, the domes precisely, that stand out from the ...
Claudia Cennamo, Concetta Cusano
doaj   +1 more source

La hipótesis generalizada del continuo (HGC) y su relación con el axioma de elección (AE)

Crítica, 2018
The so called Generalized Continuum Hypothesis (GCH) is the sentence: "If A is an infinile set whose cardinal number is K and 2K denotes the cardinal number of the set P(A) of subsets of A (the power set of A), and K + denotes the succesor cardinal of K,
José Alfredo Amor
doaj   +1 more source

Recursive models for constructive set theories

Annals of Mathematical Logic, 1982
AbstractWe define recursive models of Martin-Löf's (type or) set theories. These models are a sort of recursive realizability; in fact, we show that for implication-free formulae of HAω, satisfaction in the model coincides with mr-HEO realizability. Using an idea of Aczel, we extend the model to a recursive model of the constructive set theories of ...
openaire   +1 more source

Rudimentary and arithmetical constructive set theory

Annals of Pure and Applied Logic, 2013
Abstract The aim of this paper is to formulate and study two weak axiom systems for the conceptual framework of constructive set theory (CST). Arithmetical CST is just strong enough to represent the class of von Neumann natural numbers and its arithmetic so as to interpret Heyting Arithmetic.
openaire   +1 more source

Families of Sets in Constructive Measure Theory

, 2022
We present the first steps of a predicative reconstruction of the constructive Bishop-Cheng measure theory. Working in a semi-formal elaboration of Bishop's set theory and invoking the notion of a set-indexed family of subsets (of a given set), we arrive at notions of a pre-integration space and of a pre-measure space.
openaire   +2 more sources

A set-theoretic approach to linguistic feature structures and unification algorithms (I) [PDF]

Computer Science Journal of Moldova, 2000
The paper proposes formal inductive definitions for linguistic feature structures (FSs) taking values within a class of value types or sorts: single, disjunctive, (ordered) lists, multisets (or bags), po-multisets (multisets embedded into a partially ...
N. Curteanu, P.-G. Holban
doaj  

An elementary proof that the set of exceptions to the law of large numbers in Pierce expansions has full Hausdorff dimension

AIMS Mathematics
The digits of the Pierce expansion satisfy the law of large numbers. It is known that the Hausdorff dimension of the set of exceptions to the law of large numbers is $ 1 $.
Min Woong Ahn
doaj   +1 more source