The following pages link to Notre Dame Journal of Formal Logic (Q190248):
Displaying 50 items.
- From closure games to strong Kleene truth (Q286693) (← links)
- End extensions of models of weak arithmetic theories (Q286696) (← links)
- Phase transition results for three Ramsey-like theorems (Q286698) (← links)
- Guessing, mind-changing, and the second ambiguous class (Q286700) (← links)
- A lifting argument for the generalized Grigorieff forcing (Q286703) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Non-Fregean propositional logic with quantifiers (Q286706) (← links)
- Semantic completeness of first-order theories in constructive reverse mathematics (Q286708) (← links)
- Restriction by noncontraction (Q286710) (← links)
- Implicit definability in arithmetic (Q306821) (← links)
- Functional dependence in strategic games (Q306824) (← links)
- Some remarks on real numbers induced by first-order spectra (Q306827) (← links)
- Hyperreal-valued probability measures approximating a real-valued measure (Q306830) (← links)
- Finiteness classes and small violations of choice (Q306831) (← links)
- Degrees that are not degrees of categoricity (Q306834) (← links)
- SCE-cell decomposition and OCP in weakly o-minimal structures (Q306837) (← links)
- The distributivity on bi-approximation semantics (Q306839) (← links)
- Algebraicity and implicit definability in set theory (Q306841) (← links)
- Toward a model theory for transseries (Q372613) (← links)
- Vapnik-Chervonenkis density in some theories without the independence property. II (Q372618) (← links)
- Unlikely intersections in Poincaré biextensions over elliptic schemes (Q372619) (← links)
- Algebraization, transcendence, and \(D\)-group schemes (Q372620) (← links)
- Weak one-basedness (Q372621) (← links)
- Lattices in locally definable subgroups of \(\langle R^{n},+\rangle\) (Q372624) (← links)
- On pseudo-finite dimensions (Q372625) (← links)
- The Lascar group and the strong types of hyperimaginaries (Q372626) (← links)
- A note on the axioms for Zilber's pseudo-exponential fields (Q372627) (← links)
- Hyperbolic towers and independent generic sets in the theory of free groups. (Q372628) (← links)
- Elimination of hyperimaginaries and stable independence in simple CM-trivial theories (Q372631) (← links)
- Modular Ax-Lindemann-Weierstrass with derivatives (Q372632) (← links)
- Weight and measure in NIP theories (Q372634) (← links)
- Infinitely \(p\)-divisible points on abelian varieties defined over function fields of characteristic \(p>0\) (Q372636) (← links)
- Real closed exponential subfields of pseudo-exponential fields (Q372638) (← links)
- Some results and problems on complex germs with definable Mittag-Leffler stars (Q372640) (← links)
- Elementary cuts in saturated models of Peano arithmetic (Q424574) (← links)
- Fractal patterns in reasoning (Q424575) (← links)
- On the inconsistency of Mumma's Eu (Q424577) (← links)
- A simple proof and some difficult examples for Hindman's theorem (Q424579) (← links)
- On the elementary theory of restricted real and imaginary parts of holomorphic functions (Q424581) (← links)
- Thin ultrafilters (Q424582) (← links)
- Thoroughly relativistic perspectives (Q424584) (← links)
- Notes on the model theory of DeMorgan logics (Q424585) (← links)
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- Iteratively changing the heights of automorphism towers (Q435234) (← links)
- The set of restricted complex exponents for expansions of the reals (Q435236) (← links)
- A note on induction, abstraction, and Dedekind-finiteness (Q435238) (← links)
- Definable operators on Hilbert spaces (Q435239) (← links)
- Weak theories of concatenation and arithmetic (Q435240) (← links)
- A general characterization of the variable-sharing property by means of logical matrices (Q435241) (← links)
- Primitive recursion and the chain antichain principle (Q435242) (← links)
