Pages that link to "Biography:Alfred Tarski"
From HandWiki
The following pages link to Biography:Alfred Tarski:
Displayed 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Mereology (← links)
- Model theory (← links)
- Tarski's circle-squaring problem (← links)
- Primitive notion (← links)
- Tarski's exponential function problem (← links)
- Closure operator (← links)
- Complete partial order (← links)
- Free group (← links)
- History of mathematical notation (← links)
- Hyperoperation (← links)
- Kleene fixed-point theorem (← links)
- Linear extension (← links)
- Polish notation (← links)
- Real closed field (← links)
- Real algebraic geometry (← links)
- Tarski–Seidenberg theorem (← links)
- Boolean algebra (structure) (← links)
- Lindenbaum–Tarski algebra (← links)
- Universal algebra (← links)
- Pseudoelementary class (← links)
- List of multiple discoveries (← links)
- Boolean-valued model (← links)
- Truth table (← links)
- General set theory (← links)
- Robbins algebra (← links)
- Commutativity of conjunction (← links)
- Tarski–Grothendieck set theory (← links)
- Tarski–Kuratowski algorithm (← links)
- Hilbert system (← links)
- Propositional calculus (← links)
- Boolean algebras canonically defined (← links)
- Modus ponens (← links)
- First-order logic (← links)
- Material implication (rule of inference) (← links)
- Intermediate logic (← links)
- Categorial grammar (← links)
- Minimal axioms for Boolean algebra (← links)
- Propositional formula (← links)
- Cylindric algebra (← links)
- Polyadic algebra (← links)
- Algebraic logic (← links)
- Abstract algebraic logic (← links)
- Axiom of choice (← links)
- Łoś–Tarski preservation theorem (← links)
- Exponential field (← links)
- Ordered exponential field (← links)
- Algebra Universalis (← links)
- Satisfiability modulo theories (← links)
- Löwenheim–Skolem theorem (← links)
- Tarski monster group (← links)