Difference between revisions of "Template:Mathematical logic"

From blackwiki
Jump to navigation Jump to search
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 = [[Set theory]]
+
   | group5 = [[Naive set theory]]
 
   | list5 =
 
   | list5 =
 
* [[Set (mathematics)|Set]]
 
* [[Set (mathematics)|Set]]
Line 65: Line 65:
 
* [[Extensionality]]
 
* [[Extensionality]]
 
* [[Finite set]]
 
* [[Finite set]]
* [[Function (mathematics)|Function]]
+
* [[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]]
* [[Uncountable set]]
 
  
   | group6 = [[Model theory]]
+
   | 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]]
  
   | group7 = [[Proof theory]]
+
   | group8 = [[Proof theory]]
   | list7 =
+
   | list8 =
 
* [[Formal proof]]
 
* [[Formal proof]]
 
* [[Deductive system]]
 
* [[Deductive system]]
Line 94: Line 108:
 
* [[Syntax (logic)|Syntax]]
 
* [[Syntax (logic)|Syntax]]
  
   | group8 = [[Computability theory|Computability <br/>theory]]
+
   | group9 = [[Computability theory|Computability <br/>theory]]
   | list8 =
+
   | list9 =
 
* [[Recursion]]
 
* [[Recursion]]
 
* [[Recursive set]]
 
* [[Recursive set]]

Revision as of 11:30, 8 November 2014

Template documentation

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}}
    • shows the template collapsed to the title bar if there is a {{navbar}}, a {{sidebar}}, or some other table on the page with the collapsible attribute
    • shows the template in its expanded state if there are no other collapsible items on the page

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