Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  24 results for ""BAIRE spaces""

Your Filters

Subject : real numbers
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

TT□C : A FAMILY OF EXTENSIONAL TYPE THEORIES WITH EFFECTFUL REALIZERS OF CONTINUITY.

Subjects: BAIRE spaces; REAL numbers; SYSTEMS theory

  • Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 2, p1-27, 27p

Record details

Read More Add to Saved list
×
Academic Journal

ON REPRESENTATIONS OF BAIRE ONE FUNCTIONS AS THE SUM OF LOWER AND UPPER SEMICONTINUOUS FUNCTIONS.

Subjects: *BAIRE spaces; *MATHEMATICAL functions; *DARBOUX transformations

  • Source: Real Analysis Exchange. 2013, Vol. 38 Issue 1, p169-175. 7p.

Record details

Read Online Read More Add to Saved list
×
Academic Journal

ON DENSE EMBEDDINGS INTO MOORE SPACES WITH THE BAIRE PROPERTY.

Subjects: *BAIRE spaces; *EQUIVALENCE classes (Set theory); *HOMEOMORPHISMS

  • Source: Bulletin of the Australian Mathematical Society. 06/22/2010, Vol. 83 Issue 1, p1-10. 10p.

Record details

Read More Add to Saved list
×
Academic Journal

COMPUTABLE ANALYSIS AND NOTIONS OF CONTINUITY IN COQ.

Subjects: NATURAL numbers; REAL numbers; BAIRE spaces

  • Source: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 2, p1-43, 43p

Record details

Read More Add to Saved list
×
Academic Journal

Decidable fan theorem and uniform continuity theorem with continuous moduli.

Subjects: CONSTRUCTIVE mathematics; CONTINUOUS functions; CAUCHY sequences

  • Source: Mathematical Logic Quarterly; Feb2021, Vol. 67 Issue 1, p116-130, 15p

Record details

Read More Add to Saved list
×
Academic Journal

Parameterized partition relations on the real numbers.

Subjects: REAL numbers; SET theory; BOREL sets

  • Source: Archive for Mathematical Logic. Apr2009, Vol. 48 Issue 2, p201-226. 26p.

Record details

Read Online Read More Add to Saved list
×
Conference

ON A WEAK FORM OF THE BLUMBERG PROPERTY.

Subjects: BAIRE spaces; TOPOLOGICAL spaces; SET theory

  • Source: Categorical Structures & Their Applications - Proceedings of the North-West European Category Seminar; 2004, p41-49, 9p

Record details

Read More Add to Saved list
×
Academic Journal

Hamel-isomorphic images of the unit ball.

Subjects: ISOMORPHISM (Mathematics); UNIT ball (Mathematics); VECTOR spaces

  • Source: Mathematical Logic Quarterly; Dec2010, Vol. 56 Issue 6, p625-630, 6p

Record details

Read More Add to Saved list
×
Academic Journal

BOREL-AMENABLE REDUCIBILITIES FOR SETS OF REALS.

Subjects: BOREL sets; ANALYTIC sets; REAL numbers

  • Source: Journal of Symbolic Logic; Mar2009, Vol. 74 Issue 1, p27-49, 23p

Record details

Read More Add to Saved list
×
Academic Journal

Undecidability of the Real-Algebraic Structure of Scott's Model.

Subjects: INTUITIONISTIC mathematics; TOPOLOGICAL groups; ARITHMETIC

  • Source: Mathematical Logic Quarterly; 1998, Vol. 44 Issue 3, p344-348, 5p

Record details

Read More Add to Saved list
×
  • 1-10 of  24 results for ""BAIRE spaces""