MyWiki:Requested articles/Mathematics/Logic
Jump to navigation
Jump to search
| Add your request in the most appropriate place below. |
Before adding a request please:
Also, when adding a request, please include as much information as possible (such as webpages, articles, or other reference material) so editors can find and distinguish your request from an already-created article. Roughly three references and a short description should be sufficient. |
Model theory, proof theory, and recursion theory
[edit source]- Behavioral semantics - An axiomatic semantics of concurrent programming languages, (see Lamport 1985)
- Herbrand consistency - might be enough to explain this term in the consistency article.
- Homogeneous model - currently a redirect to Model theory
- Method of indicators - Model-theoretic method used to prove the Paris–Harrington theorem without diagonalization
- Proof identity - some references:
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- MO thread
- Proof minimization - including proof compression (i.e. algorithmic proof minimization) and open challenges like pmproofs
- The proof compression article only covers a tiny proportion / a special case.
- Subrecursion theory - The study of "levels of recursion", such as primitive recursion, double recursion and μ-recursive functions (noted by, for example: Rose, H.E., "Subrecursion: Functions and hierarchies", Oxford University Press, New York, USA, 1984. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).). Possibly a foreshadowing to computational complexity theory.
- Predicative arithmetic - currently a redirect to Impredicativity
- Hyperhyperimmune set
- Hyperhypersimple set
- Regressive set
- Retraceable set
- Feferman-Levy model
- Simple theory - there are at least two textbooks:
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Set theory
[edit source]- C-measurable set
- Comprehensive set
- Canonical representative
- Extended set theory (D L Childs et al.)
- Paris model
- Quasi strategy - (Currently a redirect to an empty paragraph)
- Scott analysis (should also have redirects from Scott sentence and Scott rank)
- Unfolded Banach-Mazur game - Banach–Mazur game
- Weakly homogeneously Suslin set
- Yannakakis' algorithm
Relations
[edit source]- Bichotomous relation
- Dichotomettic relation
- Trichotomous relation (currently a redirect to Law of trichotomy)
- Contact relation (currently a redirect to binary relation)
- Regular relation
- Normalizing relation
- Consistent relation
- Definite relation
- Weakly dense relation
- Determinant relation
- Terminating relation - (currently a redirect to abstract rewriting system)
- Convergent relation
- Orthogonal relation
- Rooted relation
- Transitively connected relation
- Deterministic relation
- Cyclical relation
- Weakly connected relation
Other
[edit source]- Requests listed in this section may belong somewhere else. Please help by moving them to a suitable location.
- Computational verb logic
- Countable language
- First-degree entailment
- Nominal logic - perhaps related to Nominal terms (computer science) and Nominal techniques, see also [1]
- Nominal sets
- Order-sorted equational logic
- Propositional linear temporal logic
- Trivial truth - currently a redirect to Triviality; a previous comment stated: there is an article vacuous truth, and triviality but no article trivial truth, was thinking about making it an link to Tautology but then thought not all tautologies are trivial (obvious) truths, maybe P -> P is the only tautology that really is an trivial truth)
- Event semantics (A semantics for first-order logic wherein one declares predicates to be true in relation to some event or some action resulting from an event e.g. would mean "An event occurs wherein Alice does action . Action is 'walk the dog'. The event is quick".