Generalized geometric theories and set-generated classes (Q5740664): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
Property / cites work
 
Property / cites work: Maximal and partial points in formal spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: A course in constructive algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quotient topologies in constructive set theory and type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3803111 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topological inductive definitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: A predicative completion of a uniform space / rank
 
Normal rank
Property / cites work
 
Property / cites work: On constructing completions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Techniques of constructive analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Relation Reflection Scheme / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3754620 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Aspects of general topology in constructive set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-deterministic inductive definitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructivism in mathematics. An introduction. Volume I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some points in formal topology. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive set theory / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1017/s0960129513000236 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2083134633 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 11:17, 30 July 2024

scientific article; zbMATH DE number 6606949
Language Label Description Also known as
English
Generalized geometric theories and set-generated classes
scientific article; zbMATH DE number 6606949

    Statements

    Identifiers