| 1. Domain | 1.1 Scope of the Domain | Boundaries | The range of phenomena the science includes and excludes. | Studies strong axioms of infinity such as inaccessible, Mahlo, weakly compact, measurable, supercompact, huge, and stronger cardinals; includes embeddings, ultrafilters, extender sequences, and consistency strength. Excludes forcing extensions unless used to analyze relative consistency. |
| | Scale | The spatial, temporal, or organizational level at which the science operates (e.g., quantum, cellular, social, cosmic). | Operates at the transfinite and meta-mathematical scale: high ordinals, embeddings between universes, ultrapowers, extender models, and reflection principles. |
| 1.2 Ontological Commitments | Entities | The kinds of things assumed to exist within the domain (particles, organisms, agents, fields, etc.). | Large cardinals, elementary embeddings (j: V \to M), critical points, ultrafilters, extenders, ultrapower models, canonical inner models approximating large cardinals. |
| | Properties | The fundamental attributes these entities possess (mass, charge, genotype, preference, etc.). | Strength, reflection, indescribability, closure under definability, embedding critical point, height, consistency strength, combinatorial consequences (tree properties, partition relations). |
| | Categories | The basic ontological types used to classify domain elements (substances, processes, relations, structures). | Inaccessible, Mahlo, weakly compact, indescribable, measurable, supercompact, extendible, huge, superhuge, Reinhardt-like (when considering non–well-founded contexts). |
| 1.3 State-Variables | Variables | The measurable or definable properties that describe system conditions. | Critical point of embeddings, rank of cardinals, extender length, measures, normality of ultrafilters, closure properties, embedding targets, cofinality, consistency strength indicators. |
| | Parameterization | How variables encode and represent the system’s state. | System state encoded via critical points, extender sequences, ultrafilters, embedding structures, rank assignments, and definability of large-cardinal properties. |
| 1.4 Admissible Idealizations | Simplifications | Conceptual reductions used to make the domain tractable (point masses, rational agents, perfect gases). | Treat embeddings as total and elementary; assume extenders are iterable; ignore failures of well-foundedness; idealize combinatorial consequences; assume ZFC background and coherence of extender sequences. |
| | Validity Conditions | The limits and contexts in which idealizations hold or break down. | Break down in models lacking choice, in non-well-founded foundations, under inconsistent large-cardinal hypotheses, or when extender iterability fails. |
| 1.5 Domain Assumptions | Structural Assumptions | Background ontological stances such as determinism, continuity, randomness, discreteness. | Assumes ZFC; well-foundedness of (V); classical semantics; existence of transitive models supporting embeddings; coherence of the cumulative hierarchy; reflection principles. |
| | Implicit Commitments | Unstated but necessary assumptions that shape the field’s conceptual structure. | Assumes that higher large cardinals reflect and extend the structure of smaller ones; that embeddings meaningfully capture higher-order structure; that consistency strength is linearly comparable in strong cases. |
| 1.6 Internal Coherence Requirements | Consistency | The demand that domain concepts do not contradict one another. | Requires that large-cardinal axioms added do not contradict ZFC or each other; embedding structures must be coherent; extenders must produce well-founded ultrapowers. |
| | Compatibility | The requirement that entities, variables, and assumptions fit together into a unified descriptive framework. | Requires alignment of ultrafilters, extenders, embeddings, ranks, and reflection principles; hierarchies of large cardinals must integrate with fine-structure theory and broader set-theoretic universe. |
| 2. Evidence Layer | 2.1 Observable Phenomena | Observables | The aspects of the domain that can produce detectable signals accessible to measurement. | Embeddings (j : V \to M), critical points, measurable ultrafilters, extender sequences, closure properties of large cardinals, reflection phenomena, indescribability behavior, combinatorial consequences (tree properties, stationary reflection). |
| | Detection Limits | The boundaries of what can be resolved or sensed by current instruments or methods. | First-order ZFC cannot detect full strength of some large cardinal hypotheses; cannot directly observe embeddings inside (V); inability to express higher-order reflection; limits imposed by definability and compactness. |
| 2.2 Measurement Systems | Units | Standardized quantifications (meters, seconds, volts, decibels, dollars, etc.) necessary for consistent comparison. | Critical point values, ranks of large cardinals, extender lengths, Mitchell order, consistency strength levels, degrees of indescribability, closure ordinals. |
| | Instruments | Devices and tools (microscopes, spectrometers, sensors, surveys, detectors) used to produce measurements. | Ultrafilters, ultrapower constructions, extender machinery, elementary embeddings, inner model comparison, reflection operators, combinatorial principles characterizing large cardinals. |
| 2.3 Operational Definitions | Definitions | Terms defined by specific measurement procedures, ensuring empirical clarity. | Definitions of inaccessibles, Mahlos, weakly compact, measurable, supercompact, extendible, huge cardinals; formal definitions of embeddings, ultrafilters, Mitchell rank, and extender sequences. |
| | Procedures | The explicit steps required to perform a measurement in a reproducible way. | Constructing ultrapowers; identifying critical points; verifying normality of ultrafilters; computing coherence of extenders; checking large-cardinal axioms; analyzing embedding consequences. |
| 2.4 Data Acquisition | Protocols | Formal processes for gathering data under controlled or standardized conditions. | Building canonical ultrapowers; generating extender models; verifying closure properties; constructing comparison maps; analyzing combinatorial consequences at given large cardinal levels. |
| | Sampling | Rules determining which subset of the domain is measured and how representative it is. | Selecting representative cardinals, sampling extenders of various lengths, analyzing embedding targets (M), comparing ranks, examining structural phenomena at increasing large-cardinal strengths. |
| 2.5 Data Character & Format | Data Types | The form raw evidence takes (time series, spectra, images, counts, qualitative records). | Embedding diagrams, critical point tables, extender sequences, ultrapower structures, Mitchell-order charts, reflection-pattern profiles, combinatorial signatures. |
| | Resolution | The granularity or precision with which data is captured. | Resolution determined by granularity of ordinal analysis, fine structure of extenders, precision of embedding computations, and the expressibility limits of ZFC. |
| 2.6 Reliability & Calibration | Calibration | Adjustment procedures ensuring instruments produce accurate results. | Verifying well-foundedness of ultrapowers; checking iterability of extenders; validating coherence of embeddings; testing consistency of axioms; confirming correct identification of large-cardinal features. |
| | Error Characterization | Identification and quantification of noise, uncertainty, bias, and measurement error. | Misidentified large-cardinal strength, ill-founded ultrapowers, incorrect critical point calculations, faulty extenders, non-coherent embedding maps, or inconsistency arising from axiom misapplication. |
| 3. Structural Layer | 3.1 Patterns & Regularities | Laws / Relations | Stable, repeatable patterns governing how observables behave across conditions. | Elementary embeddings (j: V \to M); closure properties of measurable and stronger cardinals; reflection principles; coherence of extender sequences; monotonicity of consistency strength; alignment of large cardinals along the hierarchy. |
| | Invariants | Quantities or properties that remain constant under transformations (symmetries, conservation laws). | Critical points, cofinality patterns, Mitchell order, consistency-strength rankings, ultrapower well-foundedness, closure ordinals, structural invariants preserved under embeddings. |
| 3.2 Causal Architecture | Mechanisms | Underlying processes or structures that produce the observed regularities. | Ultrapower mechanisms generating elementary embeddings; extenders producing coherent iteration strategies; reflection mechanisms linking high cardinals to lower structure; fine-structural mechanisms in inner models approximating large cardinals. |
| | Pathways | Organized sequences of interactions forming a causal chain or network. | Ultrapower construction sequences; extender iteration trees; rank-reflection pathways; coherence iteration pathways in core models; transfinite hierarchies of large-cardinal axioms. |
| 3.3 Theoretical Vocabulary | Concepts | Core terms that encode the domain’s structure (force, gene, equilibrium, field). | Embedding, critical point, ultrapower, ultrafilter, extender, coherence, measurability, supercompactness, extendibility, huge cardinals, Mitchell rank, reflection, indescribability. |
| | Classifications | Taxonomies, categories, or typologies that organize entities and relations. | Inaccessible → Mahlo → weakly compact → indescribable → measurable → strong → superstrong → supercompact → extendible → huge → superhuge (and further beyond). |
| 3.4 Formal Representations | Equations | Mathematical constructs expressing laws, relations, or mechanisms. | Embedding equations (j(\kappa) > \kappa); ultrapower definitions; coherence identities for extenders; Mitchell-rank relations; reflection schemata; inequalities governing large-cardinal hierarchies. |
| | Models | Structured representations—mathematical, computational, or conceptual—used to predict and explain phenomena. | Ultrapower models, extender models, canonical inner models approximating large cardinals, iterated ultrapower structures, transitive models capturing partial large-cardinal strength. |
| 3.5 Idealized Structures | Simplified Models | Purposeful abstractions that capture essential dynamics while omitting irrelevant detail. | Toy ultrapower models; truncated extender models; simplified embedding charts; rank-initial segments illustrating measurable or supercompact behavior; idealized reflection models. |
| | Limit Conditions | Regimes where specific models or approximations hold (classical vs. quantum, linear vs. nonlinear). | Breakdown under inconsistency; failure of ultrapower well-foundedness; non-iterable extenders; reflection failure; incompatibility with certain inner models; impossibility of Reinhardt embeddings in ZFC. |
| 3.6 Integrative Frameworks | Unifying Theories | Higher-order structures that connect disparate laws or mechanisms under a coherent whole. | Large-cardinal hierarchy as a unifying structure; embedding theory; extender theory; fine structure + core model theory; reflection principles linking high consistency strength to lower-level combinatorics. |
| | Interdisciplinary Links | Points where the theory connects to adjacent sciences or larger explanatory systems. | Links to inner model theory, descriptive set theory (determinacy and large cardinals), recursion theory (admissibility), proof theory (ordinal analysis), category theory (large universes), and forcing (consistency strength comparisons). |
| 4. Method Layer | 4.1 Inquiry Design | Experimental Design | Structured plans for manipulating variables to test causal claims. | Adjusting assumptions about ultrafilters, extenders, or embedding domains; modifying large-cardinal axioms; constructing alternative ultrapowers; altering model parameters to test reflection and strength behavior. |
| | Observational Design | Systematic approaches for gathering non-manipulated data (surveys, field studies, natural experiments). | Observing the natural behavior of existing large cardinals in models of ZFC or its extensions: monitoring embeddings, critical points, extender coherence, and combinatorial consequences without altering axioms. |
| 4.2 Testing & Validation | Hypothesis Testing | Procedures for evaluating whether evidence supports or contradicts specific claims. | Testing whether an embedding is elementary, verifying extender coherence, checking well-foundedness of ultrapowers, confirming large-cardinal criteria (e.g., measurability, supercompactness), analyzing reflection principles. |
| | Replication | The requirement that results be independently reproducible under similar conditions. | Reproducing ultrapower constructions; recalculating critical points; repeating extender iterations; re-verifying large-cardinal behavior across different models or forcing extensions with preserved cardinals. |
| 4.3 Inference & Evaluation | Statistical Inference | Rules for drawing conclusions from noisy or incomplete data. | Logical analogues: comparing consistency strengths, evaluating frequency of reflection properties, analyzing distribution of cardinals across hierarchies, assessing structural robustness of embeddings. |
| | Model Comparison | Criteria (fit, simplicity, predictive accuracy, robustness) used to evaluate competing models. | Comparing models by strength of large cardinals present, quality of extender sequences, embedding depth, combinatorial implications, coherence under iteration, and compatibility with inner model approximations. |
| 4.4 Error Management | Error Analysis | Identification and quantification of random and systematic errors. | Detecting ill-founded ultrapowers, misidentified critical points, incorrect extender definitions, failures of iteration strategies, inconsistencies introduced by incorrect large-cardinal assumptions. |
| | Bias Control | Methods for minimizing subjective, instrumental, or procedural biases. | Avoiding selective use of extenders or embeddings that favor certain outcomes; preventing cherry-picking of models; ensuring neutrality when comparing competing hierarchies or iteration strategies. |
| 4.5 Adjudication & Revision | Peer Scrutiny | Collective evaluation of claims through critique, review, and debate. | Formal review of embedding proofs, extender constructions, iteration maps, large-cardinal arguments, and consistency-strength claims by experts in set theory and inner model theory. |
| | Theory Revision | Procedures for modifying, replacing, or discarding models based on new evidence. | Refining large-cardinal axioms; modifying extender definitions; updating iteration strategies; adjusting relationships among cardinals; revising the large-cardinal hierarchy in light of new consistency results. |
| 4.6 Integrity Conditions | Transparency | Requirements to disclose methods, data, assumptions, and limitations. | Full disclosure of embedding assumptions, ultrafilter definitions, extender choices, iteration strategies, and model-selection criteria; clarity regarding consistency strength and independence assumptions. |
| | Ethical Standards | Norms ensuring responsible conduct in experimentation, data handling, and publication. | Accurate reporting of consistency proofs, responsible handling of undecidable propositions, avoidance of overstating large-cardinal consequences, and correct attribution of foundational ideas. |