Results 261 to 270 of about 698,564 (314)

Enduring the Unbearable-A Phenomenological Hermeneutical Study on Nurses' Lived Experiences of Stress During the COVID-19 Pandemic. [PDF]

Scand J Caring Sci
Carnesten H, von Heideken Wågert P, Wiklund Gustin L, Skoglund K, Andreae C.   +4 more
europepmc   +1 more source

Conceptual construction and scale development of leadership taking charge behavior in the Chinese cultural context. [PDF]

Front Psychol
Bai G, Li S, Xu Y, Wang G.
europepmc   +1 more source

Investigating cognitive flexibility and innovation in interdisciplinary project-based learning: the role of openness to learning and peer feedback quality in vocational education. [PDF]

Front Psychol
Xiong M, Chan NN, Wong BE, Xie X, Na M.
europepmc   +1 more source

Major transitions in sociocultural evolution. [PDF]

Evol Hum Sci
Nejad Kourki A.
europepmc   +1 more source

Classification of quantum-spin-hall topological phase in 2D photonic continuous media using electromagnetic parameters. [PDF]

Nanophotonics
He XT, Zhang SS, Chen XD, Dong JW.
europepmc   +1 more source

Abusive supervision and nurses' deviant behaviors: the moderating effect of self-efficacy. [PDF]

BMC Nurs
Yürür S, Koç O, Yurtseven HR.
europepmc   +1 more source

Constructive set theory with Markov's principle

Constructive set theory with Markov's principle
openaire  

The natural numbers in constructive set theory

Mathematical Logic Quarterly, 2008
AbstractConstructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various weak constructive set theories.
Michael Rathjen
openalex   +2 more sources

Hereditarily Finite Sets in Constructive Type Theory

, 2016
We axiomatize hereditarily finite sets in constructive type theory and show that all models of the axiomatization are isomorphic. The axiomatization takes the empty set and adjunction as primitives and comes with a strong induction principle. Based on the axiomatization, we construct the set operations of ZF and develop the basic theory of finite ...
Gert Smolka, Kathrin Stark
openalex   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Constructive set theory

Journal of Symbolic Logic, 1975
This paper is the third in a series collectively entitled Formal systems of intuitionistic analysis. The first two are [4] and [5] in the bibliography; in them I attempted to codify Brouwer's mathematical practice. In the present paper, which is independent of [4] and [5], I shall do the same for Bishop's book [1].
openaire   +2 more sources