On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width
This is a modal window.
The media could not be loaded, either because the server or network failed or because the format is not supported.
Formal Metadata
| Title |
| |
| Subtitle |
| |
| Title of Series | ||
| Number of Parts | 56 | |
| Author | ||
| License | CC Attribution 3.0 Germany: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
| Identifiers | 10.5446/49326 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | |
| Genre |
00:00
Order (biology)Thermal expansionFinite setClique-widthRelational databaseBinary fileTheoryData structureInfinityOpen setParameter (computer programming)Electronic signatureTime domainInstance (computer science)Constraint (mathematics)Graph coloringData modelNichtlineares GleichungssystemField (computer science)DichotomyAlgebraSimilarity (geometry)SummierbarkeitThermal expansionTheory of relativityGalois-FeldDomain nameInstance (computer science)Variable (mathematics)Data structureIntegerInequality (mathematics)Boolean satisfiability problemNP-completeSocial classElectronic signatureLogical constantFinitismusLengthClique-widthInfinityTupleDichotomyGraph coloringResultantConstraint (mathematics)First-order logicCore dumpBound stateBinary codeNichtlineares GleichungssystemSystem callOrder (biology)Open setDiffuser (automotive)Barrelled spaceMultiplication signLoop (music)TwitterLaptopGroup actionGraph coloringCASE <Informatik>XMLUMLComputer animation
03:14
TheoryData structureDirected graphInfinityFinite setRandom graphOrder (biology)Data structureCycle (graph theory)Order (biology)Logical constantFinitismusDirected graphFormal grammarFirst-order logicLoop (music)Morley's categoricity theoremGraph (mathematics)Complex (psychology)Set (mathematics)Reduction of orderPresentation of a groupTheory of relativityLocal ringRandom graphElectronic signatureIsomorphieklasseCASE <Informatik>Revision controlSpeech synthesisGraph (mathematics)Instance (computer science)Sampling (statistics)Transport Layer SecuritySelf-organizationPhysical lawComa BerenicesElement (mathematics)OvalComputer animation
06:19
Morley's categoricity theoremAutomorphismOrbitInfinityTheoryOrder (biology)Data structureDirected graphRandom graphFinite setInstance (computer science)Variable (mathematics)Constraint (mathematics)GoogolData miningFreewareExtreme programmingBendingExpert systemTheory of relativityRight angleInstance (computer science)System callSocial classLine (geometry)Process (computing)OrbitTupleTheoremAutomorphismComputer animation
07:55
TheoryOrder (biology)TheoremData structureCore dumpDirected graphRandom graphParameter (computer programming)Military operationInfinityFinite setData structureBitOperator (mathematics)TunisNichtlineares GleichungssystemCASE <Informatik>Spectrum (functional analysis)Figurate numberProof theoryComputer animation
08:59
TheoryComputerInstance (computer science)Chemical equationMilitary operationOrder (biology)TheoremData structureCore dumpDirected graphRandom graphParameter (computer programming)InfinityFinite setOperator (mathematics)Data structureCASE <Informatik>Instance (computer science)Figurate numberFinitismusP (complexity)DichotomyComputer animation
09:52
TheoryComputerInstance (computer science)Clique-widthConstraint (mathematics)Pairwise comparisonVariable (mathematics)Axonometric projectionConstraint (mathematics)Order (biology)Projective planeData structureCASE <Informatik>ConsistencySystem callCausalityOvalBarrelled spaceSubsetFreewareMaxima and minimaClique-widthDomain nameElement (mathematics)Variable (mathematics)TupleComputer animation
11:58
TheoryComputerChemical equationRelational databaseTupleOrbitFreewareConstraint (mathematics)Projective planeGodGoogolElement (mathematics)System callCausalityCycle (graph theory)Computer wormForm (programming)Network topologyMereologyRight angleSet (mathematics)2 (number)Theory of relativityAlgorithmTupleComputer animation
14:27
TheorySubsetConstraint (mathematics)Axonometric projectionClique-widthRelational databaseTheoremInfinityElement (mathematics)TwitterCondition numberData structureProcess (computing)Multiplication signProjective planeSubsetExponentiationSystem callWhiteboardTouchscreenConstraint (mathematics)PolynomialSet (mathematics)Computer animation
16:26
TheoryComputerTheoremData structureClique-widthThree-valued logicRelational databaseFormal languageIdentity managementPolymorphism (materials science)CloningAlgebraCondition numberOperator (mathematics)Identity managementNichtlineares GleichungssystemSet (mathematics)Data structureDifferent (Kate Ryan album)BitTheoremEquivalence relationMetropolitan area networkMultiplication signPressureGoodness of fitHypermediaComputer animation
17:48
TheoryOpen setTheoremClique-widthRelational databaseThermal expansionBinary fileCore dumpData structurePartial derivativeTotal S.A.SatellitePersonal digital assistantRandom graphDirected graphTerm (mathematics)Core dumpThermal expansionFirst-order logicReflexive relationResultantElectronic signatureInstance (computer science)Theory of relativityBarrelled spaceData structureOrder (biology)Directed graphElement (mathematics)Equaliser (mathematics)Power (physics)Classical physicsPolymorphism (materials science)Random graphTournament (medieval)Computer programmingExpressionNumberGodExecution unitMetropolitan area networkNormal (geometry)Electronic program guideUsabilityDomain nameCASE <Informatik>MereologyComputer animation
21:28
TheoryComputerOpen setTheoremClique-widthData structureMilitary operationNichtlineares GleichungssystemData structureTheoremForestRoyal NavySystem callExpected valueMultiplication sign1 (number)Operator (mathematics)HypermediaComputer animation
22:15
TheoryOpen setTheoremMilitary operationRelational databaseClique-widthData structureBinary fileCore dumpThermal expansionNichtlineares GleichungssystemBarrelled spaceResultantForm (programming)Set (mathematics)Proof theoryFirst-order logicBinary codePolymorphism (materials science)Thermal expansionOperator (mathematics)Nichtlineares GleichungssystemHypermediaGraph coloringIntelligent NetworkCore dumpInstance (computer science)Fuzzy logicKey (cryptography)MedianComputer animation
23:43
TheoryOpen setClique-widthMilitary operationData structureThermal expansionFinitary relationGraph (mathematics)Thermal expansionFirst-order logicResultantGraph (mathematics)Stack (abstract data type)Data structureOperator (mathematics)Theory of relativityBinary codeHypermediaDisk read-and-write headQuicksortComputer animation
Transcript: English(auto-generated)