Hypermachines (Q3011123): Difference between revisions

From MaRDI portal
← Older edit
RedirectionBot (talk | contribs)
Bots
2,880,369 edits
‎Removed claim: author (P16): Item:Q487690
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Sy-David Friedman / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2178/jsl/1305810767 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4233914677 / rank
 
Normal rank
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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3011123&oldid=35234975"
Powered by MediaWiki