- Home
- » Tags
- » Order theory
Top View
- A History of the Theory of Types with Special Reference to Developments After the Second Edition of Principia Mathematica
- THE DECIDABILITY of the THEORY of BOOLEAN ALGEBRAS with the QUANTIFIER "THERE EXIST INFINITELY MANY" for Any 31, 21 1=
- Testing the Pecking Order Theory of Capital Structure$
- The Fixed Point Property for Ordered Sets
- Beyond First Order Logic: from Number of Structures to Structure of Numbers Part I
- LECTURE Series
- Follow the Flow: Sets, Relations, and Categories As Special Cases of Functions with No Domain
- The Category of Sets
- Set Theory – an Overview 1 of 34 Set Theory – an Overview Gary Hardegree Department of Philosophy University of Massachusetts Amherst, MA 01003
- Induction, Coinduction, and Fixed Points in Order Theory, Set Theory, Type Theory, First-Order Logic, and Category Theory
- Trade-Off-Theory Vs. Pecking Order Theory and the Determinants of Corporate Leverage: Evidence from a Panel Data Analysis Upon French Smes (2002-2010)
- A SURVEY of ULTRAPRODUCT CONSTRUCTIONS in GENERAL TOPOLOGY 1. Introduction the Ultraproduct Construction Has a Long and Distingu
- From Geometry to Algebra
- ORDERINGS and BOOLEAN ALGEBRAS NOT ISOMORPHIC to RECURSIVE ONES by Lawrence Feiner BS, Massachusetts Institute of Technology
- First-Order Proof Theory of Arithmetic
- The Prehistory of the Subsystems of Second-Order Arithmetic Arxiv
- Order Theory
- Order Theory
- Second-Order Logic and Foundations of Mathematics∗
- An Introduction to Asymmetric Topology and Domain Theory: Why, What and How Jean Goubault-Larrecq, ENS Cachan, France
- Tests of the Pecking Order Theory and the Tradeoff Theory of Optimal
- Erdös and Set Theory
- The Reasonable Effectiveness of Model Theory in Mathematics
- Formalized Algebraic Numbers: Construction and First-Order Theory. Cyril Cohen
- Well Quasi-Order in Combinatorics: Embeddings and Homomorphisms
- Feferman's Forays Into the Foundations of Category Theory
- Conjugacy and Iteration of Standard Interval Rank in Finite Ordered Sets∗
- Is the Symmetric Group Sperner?
- Formalized Algebraic Numbers: Construction and First-Order Theory
- Foundations of Mathematics: a Discussion of Sets and Types
- OPTIMAL CAPITAL STRUCTURE Vs PECKING ORDER THEORY
- First-Order Logical Duality
- Lecture 1: Overview
- INTERPRETATIONS of EUCLIDEAN GEOMETRY We Know Since Descartes That Points of the Euclidean N-Dimensional Space Can Be Identified
- First Order Theory of Permutation Groups
- A Finitely Axiomatized Non-Classical First-Order Theory Incorporating Category Theory and Axiomatic Set Theory
- MODEL THEORY and DIFFERENTIAL ALGEBRA 1 Introduction the Origins of Model Theory and Differential Algebra, Foundations of Mathe
- The (,)-FN and the Order Theory of Bases in Boolean Algebras
- The Structure of Models of Second-Order Set Theories
- FLAG ALGEBRAS §1. Introduction. a Substantial Part of Modern Extremal
- General Topology Meets Model Theory, on P and T
- Trade-Off Versus Pecking Order Theory
- Foundations for Category Theory
- Topology and Order Tom Richmond Western Kentucky University, [email protected]
- A FOUR for the PRICE of ONE DUALITY PRINCIPLE for DISTRIBUTIVE SPACES 3 Where a ⊆ X Is Open