Discussion Overview
The discussion revolves around selecting a research topic in either graph theory or non-well-founded set theory for an independent study or project. Participants express their familiarity with the subjects and explore potential areas of interest within these fields.
Discussion Character
- Exploratory
- Technical explanation
- Debate/contested
Main Points Raised
- One participant suggests focusing on non-well-founded set theory to build a foundation for non-standard analysis, while noting that some view non-standard analysis as lacking practical application.
- Another participant expresses frustration with the lack of interest in non-well-founded set theory within their department and mentions difficulty finding a suitable problem in graph theory due to their limited knowledge.
- Resources for studying non-well-founded set theory are mentioned, including a reference to Jon Barwise's work and a suggestion to look into Tom Forster's research.
- A participant seeks additional textbooks on non-well-founded set theory beyond the one by Azcel, indicating a perceived scarcity of resources.
- Specific bibliographic details for Barwise and Moss's book "Vicious Circles" are provided, along with a link to a review on Project Euclid.
- A later reply inquires about the research outcomes of a participant who expressed interest in non-well-founded set theory.
Areas of Agreement / Disagreement
Participants express differing levels of interest and familiarity with non-well-founded set theory and graph theory. There is no consensus on a preferred topic, and the discussion reflects a range of opinions and uncertainties regarding the relevance and resources available for each subject.
Contextual Notes
Participants highlight limitations in available literature on non-well-founded set theory and the challenges of finding intermediate problems in graph theory. The discussion does not resolve these issues.
Who May Find This Useful
Individuals interested in advanced topics in mathematics, particularly those exploring non-well-founded set theory or graph theory, may find this discussion relevant.