Hypermachines (Q3011123): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3058982 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fine structure and class forcing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3329455 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Eventually infinite time Turing machine degrees: infinite time decidable reals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Descriptive set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The fine structure of the constructible hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parameter-free uniformisation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Provinces of logic determined. Essays in the memory of Alfred Tarski. Part I, II, III / rank
 
Normal rank

Latest revision as of 06:05, 4 July 2024