PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (49)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'fix (transformation action)'
1. $\Delta_1$ bootstrapping by Henry
2. alternative characterizations of recursive functions by rspuzio
3. Berry's paradox by yesitis
4. congruence by almann
5. constructing automata from regular languages by CWoo
6. cubic spline interpolation by yota
7. definable by CWoo
8. direct product of partial algebras by CWoo
9. equivalent grammars by CWoo
10. every congruence is the kernel of a homomorphism by almann
11. every permutation has a cycle decomposition by rspuzio
12. example of a probabilistic proof by bbukh
13. example of quantifier by hkkass
14. examples of countable sets by CWoo
15. examples of primitive recursive predicates by CWoo
16. first isomorphism theorem by almann
17. first-order theory by CWoo
18. fix by Wkbj79
19. free and bound variables by CWoo
20. freely generated inductive set by CWoo
21. geometric representation of relation composition by Jon Awbrey
22. ground fields and rings by Algeboy
23. Hausdorff measure by paolini
24. Herbrand structure by iwnbap
25. homomorphic image of a $\Sigma$-structure is a $\Sigma$-structure by almann
26. homomorphism between partial algebras by CWoo
27. importance of primitive recursion by CWoo
28. index of set theory by rspuzio
29. intersection by CWoo
30. invariant by rmilson
31. kernel by almann
32. kernel of a homomorphism is a congruence by almann
33. Kleene's theorem by CWoo
34. logical axiom by CWoo
35. logical connective by mps
36. non-commutative dynamic modeling diagrams by bci1
37. perfect ruler by mathcam
38. permutation model by ratboy
39. permutation notation by Wkbj79
40. polyadic algebra by CWoo
41. polyadic algebra with equality by CWoo
42. Post system by CWoo
43. product of countable sets by CWoo
44. proof of complete partial orders do not add small subsets by Henry
45. proof of downward Lowenheim-Skolem theorem by GodelsTheorem
46. proof of Hausdorff paradox by GrafZahl
47. quotient structure by almann
48. realization of a formula by a truth function by CWoo
49. relation composition by Jon Awbrey
50. relation theory by Jon Awbrey
51. state-output machine by CWoo
52. structure homomorphism by almann
53. substructure by almann
54. symmetric difference by CWoo
55. topics on ideal class groups and discriminants by alozano
56. Tychonoff's theorem implies AC by CWoo
57. unique readability of well-formed formulas by CWoo
58. unlimited register machine by CWoo