Misplaced Pages

The following pages link to Peter Aczel

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 46 items.

• Department of Computer Science, University of Manchester (links | edit)
• Urelement (links | edit)
• Axiom of constructibility (links | edit)
• Jon Barwise (links | edit)
• Recursive definition (links | edit)
• Non-well-founded set theory (links | edit)
• Rooted graph (links | edit)
• Large countable ordinal (links | edit)
• Constructive set theory (links | edit)
• Aczel's anti-foundation axiom (links | edit)
• Situation semantics (links | edit)
• Nonrecursive ordinal (links | edit)
• Additively indecomposable ordinal (links | edit)
• Axiom schema of predicative separation (links | edit)
• Aczél (links | edit)
• John Newsome Crossley (links | edit)
• Homotopy type theory (links | edit)
• Non-wellfounded mereology (links | edit)
• Jouko Väänänen (links | edit)
• Aczel, Peter (redirect page) (links | edit)
• Fundamental sequence (set theory) (links | edit)
• Talk:Formal system (links | edit)
• Talk:Constructive set theory (links | edit)
• Talk:Peter Aczel (transclusion) (links | edit)
• Talk:Deaths in 2023/Archive 1 (links | edit)
• User:Mathbot/List of mathematical redlinks (P) (links | edit)
• User:Fropuff/Redlinks (links | edit)
• User:Charles Matthews/Hersh (links | edit)
• User:Nukualofa (links | edit)
• User:AlexNewArtBot/LogicSearchResult/archive24 (links | edit)
• User:AlexNewArtBot/PhilosophySearchResult/archive5 (links | edit)
• User:AlexNewArtBot/SFBayAreaSearchResult/archive6 (links | edit)
• User:Salih/MathRedlinks (links | edit)
• User:Gregbard/old watchlist (links | edit)
• User:VeblenBot/List of mathematical logic articles (links | edit)
• User:Tony Sidaway/Living people/a01 (links | edit)
• User:Tony Sidaway/Living people/tranche 000 (links | edit)
• User:Tony Sidaway/Living people/temp (links | edit)
• User:Ruud Koot/Claude J/Mathematik (links | edit)
• User:Gregbard/old watchlist2 (links | edit)
• User:JMP EAX/draft merge (links | edit)
• User:Michael Shulman/draft Homotopy Type Theory and Univalent Foundations (links | edit)
• User talk:CBM/Archive 13 (links | edit)
• Misplaced Pages:WikiProject Mathematics/List of mathematicians (A) (links | edit)
• Misplaced Pages:Articles for deletion/Andrej Bauer (2nd nomination) (links | edit)
• Misplaced Pages:Articles for deletion/Log/2016 September 9 (links | edit)