Difference between revisions of "Template:Mathematical logic"
Jump to navigation
Jump to search
Template documentation
imported>Hyacinth |
imported>JP.Martin-Flatin (Added Map, Relation, and Infinite set to Group 5 and renamed that group "Naive set theory". Created group 6 "Set theory".) |
||
| Line 58: | Line 58: | ||
* [[Monadic predicate calculus]] | * [[Monadic predicate calculus]] | ||
| − | | group5 = [[ | + | | group5 = [[Naive set theory]] |
| list5 = | | list5 = | ||
* [[Set (mathematics)|Set]] | * [[Set (mathematics)|Set]] | ||
| Line 65: | Line 65: | ||
* [[Extensionality]] | * [[Extensionality]] | ||
* [[Finite set]] | * [[Finite set]] | ||
| − | * [[ | + | * [[Infinite set]] |
* [[Subset]] | * [[Subset]] | ||
* [[Power set]] | * [[Power set]] | ||
* [[Countable set]] | * [[Countable set]] | ||
| + | * [[Uncountable set]] | ||
* [[Recursive set]] | * [[Recursive set]] | ||
* [[Domain of a function|Domain]] | * [[Domain of a function|Domain]] | ||
* [[Range (mathematics)|Range]] | * [[Range (mathematics)|Range]] | ||
| + | * [[Map (mathematics)|Map]] | ||
| + | * [[Function (mathematics)|Function]] | ||
| + | * [[Binary operation|Relation]] | ||
* [[Ordered pair]] | * [[Ordered pair]] | ||
| − | |||
| − | | group6 = [[ | + | | group6 = [[Set theory]] |
| list6 = | | list6 = | ||
| + | * [[Foundations of mathematics]] | ||
| + | * [[Zermelo–Fraenkel set theory]] | ||
| + | * [[Axiom of choice]] | ||
| + | * [[General set theory]] | ||
| + | * [[Kripke–Platek set theory]] | ||
| + | * [[Von Neumann–Bernays–Gödel set theory]] | ||
| + | * [[Morse–Kelley set theory]] | ||
| + | * [[Tarski–Grothendieck set theory]] | ||
| + | |||
| + | | group7 = [[Model theory]] | ||
| + | | list7 = | ||
* [[Structure (mathematical logic)|Model]] | * [[Structure (mathematical logic)|Model]] | ||
* [[Interpretation (logic)|Interpretation]] | * [[Interpretation (logic)|Interpretation]] | ||
| Line 84: | Line 98: | ||
* [[Validity]] | * [[Validity]] | ||
| − | | | + | | group8 = [[Proof theory]] |
| − | | | + | | list8 = |
* [[Formal proof]] | * [[Formal proof]] | ||
* [[Deductive system]] | * [[Deductive system]] | ||
| Line 94: | Line 108: | ||
* [[Syntax (logic)|Syntax]] | * [[Syntax (logic)|Syntax]] | ||
| − | | | + | | group9 = [[Computability theory|Computability <br/>theory]] |
| − | | | + | | list9 = |
* [[Recursion]] | * [[Recursion]] | ||
* [[Recursive set]] | * [[Recursive set]] | ||
Revision as of 11:30, 8 November 2014
Initial visibility: currently defaults to autocollapse
To set this template's initial visibility, the |state= parameter may be used:
|state=collapsed:{{Mathematical logic|state=collapsed}}to show the template collapsed, i.e., hidden apart from its title bar|state=expanded:{{Mathematical logic|state=expanded}}to show the template expanded, i.e., fully visible|state=autocollapse:{{Mathematical logic|state=autocollapse}}
If the |state= parameter in the template on this page is not set, the template's initial visibility is taken from the |default= parameter in the Collapsible option template. For the template on this page, that currently evaluates to autocollapse.
See also
- {{Set theory}}
| Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |