Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097924536> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2097924536 endingPage "264" @default.
- W2097924536 startingPage "238" @default.
- W2097924536 abstract "(Labelled) transition systems are relatively common in theoretical computer science, chiefly as vehicles for operational semantics. The first part of this paper constructs a hierarchy of canonical transition systems and associated maps, aiming to give a strongly extensional theory of transition systems, where any two points with equivalent behaviors are identified. The cornerstone of the development is a notion of convergence in arbitrary transition systems, generalizing the idea of finite (n-step) approximations to a given point. In particular, our canonical transition systems are also uniform spaces. The resulting hierarchy has very rich combinatorial (and topological) structure, and a lot of the first part of the paper is devoted to its study. We also discuss fixed points in this framework. In the second part of the paper, we show how to obtain a model of set theory with Aczel's Anti-Foundation Axiom (AFA) from canonical transition systems constructed earlier. We study further the structure of the model thus obtained, and also give a few more abstract results, concerning consistency and independence in the presence of AFA." @default.
- W2097924536 created "2016-06-24" @default.
- W2097924536 creator A5008450268 @default.
- W2097924536 creator A5045639409 @default.
- W2097924536 date "1996-12-01" @default.
- W2097924536 modified "2023-09-28" @default.
- W2097924536 title "On Transition Systems and Non-well-founded Sets" @default.
- W2097924536 cites W2604894375 @default.
- W2097924536 doi "https://doi.org/10.1111/j.1749-6632.1996.tb49173.x" @default.
- W2097924536 hasPublicationYear "1996" @default.
- W2097924536 type Work @default.
- W2097924536 sameAs 2097924536 @default.
- W2097924536 citedByCount "4" @default.
- W2097924536 countsByYear W20979245362014 @default.
- W2097924536 countsByYear W20979245362016 @default.
- W2097924536 crossrefType "journal-article" @default.
- W2097924536 hasAuthorship W2097924536A5008450268 @default.
- W2097924536 hasAuthorship W2097924536A5045639409 @default.
- W2097924536 hasBestOaLocation W20979245362 @default.
- W2097924536 hasConcept C104317684 @default.
- W2097924536 hasConcept C105795698 @default.
- W2097924536 hasConcept C11413529 @default.
- W2097924536 hasConcept C118615104 @default.
- W2097924536 hasConcept C162324750 @default.
- W2097924536 hasConcept C167729594 @default.
- W2097924536 hasConcept C177264268 @default.
- W2097924536 hasConcept C185592680 @default.
- W2097924536 hasConcept C194232998 @default.
- W2097924536 hasConcept C199360897 @default.
- W2097924536 hasConcept C2524010 @default.
- W2097924536 hasConcept C2776436953 @default.
- W2097924536 hasConcept C2777303404 @default.
- W2097924536 hasConcept C2779167558 @default.
- W2097924536 hasConcept C31170391 @default.
- W2097924536 hasConcept C33923547 @default.
- W2097924536 hasConcept C34447519 @default.
- W2097924536 hasConcept C35651441 @default.
- W2097924536 hasConcept C41008148 @default.
- W2097924536 hasConcept C50522688 @default.
- W2097924536 hasConcept C55493867 @default.
- W2097924536 hasConceptScore W2097924536C104317684 @default.
- W2097924536 hasConceptScore W2097924536C105795698 @default.
- W2097924536 hasConceptScore W2097924536C11413529 @default.
- W2097924536 hasConceptScore W2097924536C118615104 @default.
- W2097924536 hasConceptScore W2097924536C162324750 @default.
- W2097924536 hasConceptScore W2097924536C167729594 @default.
- W2097924536 hasConceptScore W2097924536C177264268 @default.
- W2097924536 hasConceptScore W2097924536C185592680 @default.
- W2097924536 hasConceptScore W2097924536C194232998 @default.
- W2097924536 hasConceptScore W2097924536C199360897 @default.
- W2097924536 hasConceptScore W2097924536C2524010 @default.
- W2097924536 hasConceptScore W2097924536C2776436953 @default.
- W2097924536 hasConceptScore W2097924536C2777303404 @default.
- W2097924536 hasConceptScore W2097924536C2779167558 @default.
- W2097924536 hasConceptScore W2097924536C31170391 @default.
- W2097924536 hasConceptScore W2097924536C33923547 @default.
- W2097924536 hasConceptScore W2097924536C34447519 @default.
- W2097924536 hasConceptScore W2097924536C35651441 @default.
- W2097924536 hasConceptScore W2097924536C41008148 @default.
- W2097924536 hasConceptScore W2097924536C50522688 @default.
- W2097924536 hasConceptScore W2097924536C55493867 @default.
- W2097924536 hasIssue "1 Papers on Gen" @default.
- W2097924536 hasLocation W20979245361 @default.
- W2097924536 hasLocation W20979245362 @default.
- W2097924536 hasLocation W20979245363 @default.
- W2097924536 hasOpenAccess W2097924536 @default.
- W2097924536 hasPrimaryLocation W20979245361 @default.
- W2097924536 hasRelatedWork W1539416359 @default.
- W2097924536 hasRelatedWork W2079159660 @default.
- W2097924536 hasRelatedWork W2134556184 @default.
- W2097924536 hasRelatedWork W2296599830 @default.
- W2097924536 hasRelatedWork W2467005568 @default.
- W2097924536 hasRelatedWork W2488983485 @default.
- W2097924536 hasRelatedWork W2570412009 @default.
- W2097924536 hasRelatedWork W3124342549 @default.
- W2097924536 hasRelatedWork W4236773076 @default.
- W2097924536 hasRelatedWork W4236932967 @default.
- W2097924536 hasVolume "806" @default.
- W2097924536 isParatext "false" @default.
- W2097924536 isRetracted "false" @default.
- W2097924536 magId "2097924536" @default.
- W2097924536 workType "article" @default.