Haven (graph theory): Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>David Eppstein
Oops! That's not a haven, it's a bramble.
 
Line 1: Line 1:
Hello and welcome. My title is Irwin and I completely dig that title. Years in the past he moved to North Dakota and his family enjoys it. In her expert lifestyle she is a payroll clerk but she's always needed her own business. To perform baseball is the pastime he will by no means quit doing.<br><br>my web site: [http://www.hotporn123.com/user/KGottscha http://www.hotporn123.com/user/KGottscha]
In [[set theory]], a discipline within mathematics, an '''admissible set''' is a [[transitive set]] <math> A\, </math> such that <math>\langle A,\in \rangle</math> is a [[model theory|model]] of [[Kripke–Platek set theory]] (Barwise 1975).
 
The smallest example of an admissible set is the set of [[hereditarily finite set]]s. Another example is the set of [[hereditarily countable set]]s.
 
==See also==
* [[Admissible ordinal]]
 
== References ==
 
* Barwise, Jon (1975). ''Admissible Sets and Structures: An Approach to Definability Theory'', Perspectives in Mathematical Logic, Volume 7, Springer-Verlag. [http://projecteuclid.org/euclid.pl/1235418470 Electronic version] on [[Project Euclid]].
 
[[Category:Set theory]]
 
 
{{settheory-stub}}

Revision as of 12:29, 25 March 2013

In set theory, a discipline within mathematics, an admissible set is a transitive set A such that A, is a model of Kripke–Platek set theory (Barwise 1975).

The smallest example of an admissible set is the set of hereditarily finite sets. Another example is the set of hereditarily countable sets.

See also

References

  • Barwise, Jon (1975). Admissible Sets and Structures: An Approach to Definability Theory, Perspectives in Mathematical Logic, Volume 7, Springer-Verlag. Electronic version on Project Euclid.


Template:Settheory-stub