Results 1 to 10 of about 43,488 (132)
SEPARATING SUBVERSION FORCING AXIOMS
The Journal of Symbolic LogicAbstract We study a family of variants of Jensen’s subcomplete forcing axiom, $\mathsf {SCFA,}$ and subproper forcing axiom, $\mathsf {SubPFA}$ . Using these, we develop a general technique for proving nonimplications of $\mathsf {SCFA}$ , $\mathsf
COREY SWITZER, HIROSHI SAKAI
openaire +3 more sources
Ordinal analysis and the set existence property for intuitionistic set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Rathjen M.
europepmc +1 more source
Separating weak integrated information theory into inspired and aspirational approaches. [PDF]
Neurosci Conscious, 2023 Leung A, Tsuchiya N.
europepmc +1 more source
Logics and admissible rules of constructive set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Iemhoff R, Passmann R.
europepmc +1 more source
International Journal of Analysis and Applications, 2020 In this paper, some new types of spaces are defined and studied in micro topological spaces namely, Micro T0, Micro T1, Micro T2, Micro R0 and Micro R1 spaces. Properties and the relationships of these spaces are introduced. Finally, the relationships between these spaces and the related concepts are investigated.
openaire +1 more source
Science, method and critical thinking. [PDF]
Microb Biotechnol, 2023 Danchin A.
europepmc +1 more source
Advancing the bioassay ontology through integrated PK/PD and safety pharmacology representation. [PDF]
J Biomed SemanticsGlenny-Pescov J +7 more
europepmc +1 more source
An investigation on Pythagorean fuzzy [Formula: see text] fraction dense space using Pythagorean fuzzy frames. [PDF]
Sci RepGnanachristy NB, Revathi GK.
europepmc +1 more source
The separation and compactness on fuzzy partial metric spaces. [PDF]
Fundam ResWang H, Shen C, Jin Z.
europepmc +1 more source
The Camp of Reason: Spinoza's Ethics as Affirmative Excess. [PDF]
Nurs PhilosSmith JB.
europepmc +1 more source